On the Structure of Left and Right F-, Sm-and E-quasigroups
نویسنده
چکیده
It is proved that any left F-quasigroup is isomorphic to the direct product of a left F-quasigroup with a unique idempotent element and isotope of a special form of a left distributive quasigroup. The similar theorems are proved for right F-quasigroups, left and right SM-and E-quasigroups. Information on simple quasigroups from these quasigroup classes is given, for example, finite simple F-quasigroup is a simple group or a simple medial quasigroup. It is proved that any left F-quasigroup is isotopic to the direct product of a group and a left S-loop. Some properties of loop isotopes of F-quasigroups (including M-loops) are pointed out. A left special loop is an isotope of a left F-quasigroup if and only if this loop is isomorphic the direct product of a group and a left S-loop (this is an answer to Belousov " 1a " problem). Any left FESM-quasigroup is isotopic to the direct product of an abelian group and a left S-loop (this is an answer to Kinyon-Phillips 2.8(2) problem). New proofs of some known results on the structure of commutative Moufang loops are presented.
منابع مشابه
MAGMA-JOINED-MAGMAS: A CLASS OF NEW ALGEBRAIC STRUCTURES
By left magma-$e$-magma, I mean a set containingthe fixed element $e$, and equipped by two binary operations "$cdot$", $odot$ with the property $eodot (xcdot y)=eodot(xodot y)$, namelyleft $e$-join law. So, $(X,cdot,e,odot)$ is a left magma-$e$-magmaif and only if $(X,cdot)$, $(X,odot)$ are magmas (groupoids), $ein X$ and the left $e$-join law holds.Right (and two-sided) magma-$e$-magmas are de...
متن کاملPD-prime cordial labeling of graphs
vspace{0.2cm} Let $G$ be a graph and $f:V(G)rightarrow {1,2,3,.....left|V(G)right|}$ be a bijection. Let $p_{uv}=f(u)f(v)$ and\ $ d_{uv}= begin{cases} left[frac{f(u)}{f(v)}right] ~~if~~ f(u) geq f(v)\ \ left[frac{f(v)}{f(u)}right] ~~if~~ f(v) geq f(u)\ end{cases} $\ for all edge $uv in E(G)$. For each edge $uv$ assign the label $1$ if $gcd (p_{u...
متن کاملL$^q$ inequalities for the ${s^{th}}$ derivative of a polynomial
Let $f(z)$ be an analytic function on the unit disk ${zinmathbb{C}, |z|leq 1}$, for each $q>0$, the $|f|_{q}$ is defined as followsbegin{align*}begin{split}&left|fright|_q:=left{frac{1}{2pi}int_0^{2pi}left|f(e^{itheta})right|^qdthetaright}^{1/q}, 0
متن کاملTissue Doppler Imaging Findings and Lipid Profile Changes in Diabetes Mellitus Type I Children
Background Diabetes mellitus type I (DMTI) is one of the most common endocrine and metabolic conditions in childhood. We aimed to assess the tissue Doppler imagining changes in children with DMTI compared to healthy children. Materials and Methods This case-control study was performed on 96 DMTI and 96 healthy children. The d...
متن کاملAxioms for trimedial quasigroups
We give new equations that axiomatize the variety of trimedial quasigroups. We also improve a standard characterization by showing that right semimedial, left F-quasigroups are trimedial.
متن کامل