a normal subgroup $n$ of a group $g$ is said to be an‎ ‎$emph{omissible}$ subgroup of $g$ if it has the following property‎: ‎whenever $xleq g$ is such that $g=xn$‎, ‎then $g=x$‎. ‎in this note we construct various groups $g$‎, ‎each of which has an omissible subgroup $nneq 1$ such that $g/ncong sl_2(k)$ where $k$ is a field of positive characteristic‎.

This paper is about omitting types in logic of metric structures introduced by Ben Yaacov, Berenstein, Henson and Usvyatsov. While a complete type is omissible in some model of a countable complete theory if and only if it is not principal, this is not true for the incomplete types by a result of Ben Yaacov. We prove that there is no simple test for determining whether a type is omissible in a ...

in this paper, we extend the construction of a fuzzy subgroup generated by a fuzzy subset to $l$-setting. this construction is illustrated by an example. we also prove that for an $l$-subset of a group, the subgroup generated by its level subset is the level subset of the subgroup generated by that $l$-subset provided the given $l$-subset possesses sup-property.

The happens-before orders have been widely adopted to model thread interleaving behaviors of concurrent programs. A dedicated ordering theory solver, usually composed propagation, consistency checking, and conflict clause generation, plays a central role in program verification. We propose novel preventive reasoning approach that automatically preserves the makes checking generation omissible. ...

let $g$ be a finite group‎. ‎a subgroup‎ ‎$h$ of $g$ is called an $mathcal h $ -subgroup in‎ ‎$g$ if $n_g (h)cap h^gleq h$ for all $gin‎ ‎g$. a subgroup $h$ of $g$ is called a weakly‎ $mathcal h^ast $-subgroup in $g$ if there exists a‎ ‎subgroup $k$ of $g$ such that $g=hk$ and $hcap‎ ‎k$ is an $mathcal h$-subgroup in $g$. we‎ ‎investigate the structure of the finite group $g$ under the‎ ‎assump...

a subgroup $h$ is said to be $nc$-supplemented in a group $g$ if there exists a subgroup $kleq g$ such that $hklhd g$ and $hcap k$ is contained in $h_{g}$, the core of $h$ in $g$. we characterize the supersolubility of finite groups $g$ with that every maximal subgroup of the sylow subgroups is $nc$-supplemented in $g$.

suppose that $h$ is a subgroup of $g$‎, ‎then $h$ is said to be‎ ‎$s$-permutable in $g$‎, ‎if $h$ permutes with every sylow subgroup of‎ ‎$g$‎. ‎if $hp=ph$ hold for every sylow subgroup $p$ of $g$ with $(|p|‎, ‎|h|)=1$)‎, ‎then $h$ is called an $s$-semipermutable subgroup of $g$‎. ‎in this paper‎, ‎we say that $h$ is partially $s$-embedded in $g$ if‎ ‎$g$ has a normal subgroup $t$ such that $ht...

In this paper, we address the issue of automatically identifying null instantiated arguments in text. We refer to Fillmore’s theory of pragmatically controlled zero anaphora (Fillmore, 1986), which accounts for the phenomenon of omissible arguments using a lexically-based approach, and we propose a strategy for identifying implicit arguments in a text and finding their antecedents, given the ov...

in this paper, the concept of fuzzy convex subgroup (resp. fuzzy convex lattice-ordered subgroup) of an ordered group (resp. lattice-ordered group) is introduced and some properties, characterizations and related results are given. also, the fuzzy convex subgroup (resp. fuzzy convex lattice-ordered subgroup) generated by a fuzzy subgroup (resp. fuzzy subsemigroup) is characterized. furthermore,...