Reach Us
+44-1522-440391

Medical, Pharma, Engineering, Science, Technology and Business

^{1}Department of Mathematics and Computer Science, Northern Michigan University,
Marquette, MI 49855, USA

^{2}Institute of Mathematics, Academy of Sciences of Moldova, str. Academiai 5, MD 2028,
Chisinau, Moldova
E-mails: [email protected], [email protected]

**Received Date:** February 1, 2010; **Revised Date:** April 11, 2010

**Visit for more related articles at** Journal of Generalized Lie Theory and Applications

Left Cheban loops are loops that satisfy the identity x(xy · z) = yx · xz. Right Cheban loops satisfy the mirror identity (z · yx)x = zx · xy. Loops that are both left and right Cheban are called Cheban loops. Cheban loops can also be characterized as those loops that satisfy the identity x(xy · z) = (y · zx)x. These loops were introduced by A. M. Cheban. Here we initiate a study of their structural properties. Left Cheban loops are left conjugacy closed. Cheban loops are weak inverse property, power associative, conjugacy closed loops; they are centrally nilpotent of class at most two.

In [15], Osborn showed that if L is a weak inverse property loop all of whose loop isotopes also have the weak inverse property, then the nucleus of L is normal and the quotient of L by its nucleus is Moufang (definitions are given in the next section). He showed further that L must satisfy the identity . In [1], Basarab coined the term Osborn loop to describe those loops that satisfy this identity.

The variety of Osborn loops contains as subvarieties two of the most important classes of loops—the Moufang loops and the conjugacy closed loops [12]. One of the most important open problems in loop theory is to determine whether or not all loop isotopes of an arbitrary Osborn loop are themselves Osborn.

In [2], Basarab showed that the quotient of a conjugacy closed loop by its nucleus is an abelian group. Also in [1], he showed that weak inverse property Osborn loops are characterized by the identity x(yz · x) = (((1/y) · (1/x))\1) · zx. He called these loops generalized Moufang loops.

In [5], Cheban investigated the structure of two varieties of loops: those loops that satisfy the identity x(xy · z) = yx · xz and those loops that satisfy the identity x(xy · z) = (y · zx)x. We call these the left Cheban identity and the Cheban identity, respectively. Cheban showed that loops satisfying his second identity are generalized Moufang loops and that each of them has an abelian group as an image, which is not surprising in the light of Theorem 3.10 below. He also gave an example of a loop satisfying his first identity but that was not Moufang.

As we will see, Cheban’s two varieties have many other strong structural properties; they are also intimately related to conjugacy closed loops.

Our investigations were aided by the automated reasoning tool Prover9 and the finite model builder Mace4 [13]. We have translated most of these computer generated proofs into more “human friendly” form and included them in this paper. A few of the proofs, though, are quite long, and we have left them untranslated. However, each of these is posted on the first author’s website [18], and is clearly referenced in the proofs in this paper. We note that it is a common practice to publish complicated untranslated Prover9 proofs [14,19]. This is mathematically sound since the program can be made to output a simple proof object, which can be independently verified by a short lisp program.

A loop (Q, ·) is a set Q with a binary operation · such that (i) for each x ∈ Q, the left translation and the right translation are bijections, and (ii) there exists 1 ∈ Q satisfying 1 · x = x · 1 = x for all x ∈ Q. Standard references for the theory of loops are [3,4,16].

A Moufang loop is a loop that satisfies xy · zx = (x · yz)x. A flexible loop satisfies x · yx = xy · x. The left alternative property, denoted by LAP, is given by x · xy = xx · y. The RAP is the mirror identity of the LAP.

The left nucleus of a loop Q is given by N_{λ}(Q) = {a : a · xy = ax · y, ∀x, y ∈ L}. The
middle nucleus, N_{μ}(Q), and the right nucleus, Nρ(Q), are defined analogously. The nucleus,
then, is given by N(Q) = N_{λ}(Q) ∩N_{μ}(Q) ∩Nρ(Q). The commutant of Q is given by C(Q) =
{c : ∀x ∈ Q, cx = xc}. The center is the normal subloop given by Z(Q) = N(Q) ∩ C(Q).
Now, define Z_{0}(Q) = {1}, and Z_{i+1}(Q), i ≥ 0, as the preimage of Z(Q/Z_{i}(Q)) under the
canonical projection. The loop Q is (centrally) nilpotent of class n, written c (Q) = n, if
Z_{n−1}(Q) < Z_{n}(Q) = Q.

A loop, Q, is left conjugacy closed, denoted by LCC, if its left translations are closed under
conjugation by left translations, that is, if L(x)^{−1}L(y)L(x) is itself a left translation for each
x, y ∈ Q. This can be expressed equationally as z ·yx = ((zy)/z) ·zx. Right conjugacy closed,
denoted by RCC, is the mirror identity. A loop Q is conjugacy closed, denoted by CC, if it
is both LCC and RCC. The concept of conjugacy closedness was introduced first by Soikis
[21] and later independently by Goodaire and Robinson [9]. In the intervening years, a great
deal has been discovered about their structural properties, see, e.g., [7].

An especially prominent role in the analysis of CC-loops is assumed by the weak inverse
property elements, or WIP elements; these are elements c such that for every x in the loop
we have c(xc)^{ρ} = x^{ρ}, where ρ is the unary operation that gives the right inverse of each
element y in the loop, that is yy^{ρ} = 1. A loop is power associative if subloops generated
by singletons are, in fact, groups. Power associative conjugacy closed loops have especially
strong structural properties [10]; this variety is denoted by PACC.

A triple of bijections (f, g, h) from a loop Q1 to a loop Q2 is called a (loop) isotopism if

f(x) · g(y) = h(x · y)

for every x, y in Q1. Note that f is an isomorphism if and only if (f, f, f) is an isotopism.

Finally, an identity α = β is of Bol-Moufang type if (i) the only operation in α, β is ·, (ii) the same 3 variables appear on both sides, in the same order, (iii) one of the variables appears twice on both sides, (iv) the remaining two variables appear once on both sides. For instance, the Moufang law given above, xy · zx = (x · yz)x, is an identity of Bol-Moufang type. The varieties of loops classified by a single identity of Bol-Moufang type were classified in [20]. The Cheban identities are not identities of Bol-Moufang type, since the variables do not appear in the same order on both sides of the equal sign. But they do satisfy the other conditions of the definition. The varieties of loops classified by a single identity of this generalized Bol-Moufang type are classified in [6].

**Theorem 3.1.** A loop, Q, is left Cheban if and only if it is LCC and R(x)^{2} = L(x)^{2} for all
x ∈ Q.

**Proof.** In the left Cheban identity, x(xy ·z) = yx·xz, let z = 1 obtain R(x)^{2} = L(x)^{2}. Using
this, we obtain (x · xy)/x = (yx · x)/x = yx. This in turn yields (x\y)x = (x · x(x\y))/x =
(xy)/x. Finally, this, together with the left Cheban law, gives ((xy)/x) · xz = ((x\y)x) · xz =
x(x(x\y) · z) = x · yz.

For the converse, first rearrange the LCC law to get

((xy)/x)\(x · yz) = xz. (3.1)

Next, use R(x)^{2} = L(x)^{2} to get (x · xy)/x = yx. Now set y = x\z in this to get

(xz)/x = (x\z)x. (3.2)

Combine (3.1) and (3.2) to get ((x\y)x)\(x · yz) = xz. Now use this to get (xy)\(y(yx · z)) = ((y\(yx))y)\(y(yx · z)) = yz. Finally, multiply both sides of this by xy to obtain xy · yz = (xy) · ((xy)\(y(yx · z))) = y(yx · z).

**Remark 3.2.** The variety of WIP PACC-loops can be axiomatized, in the variety of loops,
by the following two identities: (xy · x) · xz = x · (yx · x)z and zx · (x · yx) = (z(x · xy)) · x
[17]. Left Cheban loops satisfy the first of these two identities, as the reader may check.

**Theorem 3.3.** Let Q be a left Cheban loop. Then and C(Q) ≤ N(Q).
Moreover, if a ∈ N_{λ}(Q), then a^{2} ∈ Z(Q).

**Proof.** The fact that follows from [8, Proposition 2.7], since any left
Cheban loop is LCC-loop by Theorem 3.1.

Let a be a left nuclear element. Then x· ay = (x/a)a · ay = a((a · x/a)y) = (a(a · x/a))y = ((x/a·a)a)y = xa·y, that is, a is a middle nuclear element. The converse is left to the reader.

Now, let b be a commutant element. We have x · yb = x · by = (x/b)b · by = b(b(x/b) · y) =
b((x/b)b · y) = b · xy = xy · b. Thus, b is a right nuclear element. For the proof that b is
also middle, and hence left, nuclear, see [18]. Finally, let a be a left nuclear element. Then,
since R(a)2 = L(a)2, we have x · aa = xa · a = a · ax = aa · x, that is, a^{2} is a commutant
element.

**Example 3.4.** Here is a left Cheban loop in which 1 is nuclear but not central. This example
is of minimal order.

0 1 2 3 4 5 6 7

1 0 3 2 5 4 7 6

2 4 0 6 1 7 3 5

3 5 1 7 0 6 2 4

4 2 6 0 7 1 5 3

5 3 7 1 6 0 4 2

6 7 4 5 2 3 0 1

7 6 5 4 3 2 1 0

**Theorem 3.5.** Let Q be a left Cheban loop. If c is a WIP element, then c2 is central.
Moreover, for every x ∈ Q, x^{2} is a WIP element, and hence, x4 is central.

**Proof.** See [18].

**Lemma 3.6.** A loop is Cheban if and only if it is both left and right Cheban.

By the left Cheban law and the right Cheban law, respectively, we have x(xy · z) = yx · xz = (y · zx)x. For the converse, see [18].

**Lemma 3.7.** Let Q be a left Cheban loop. If Q is a WIP loop or if R(x^{2}) = L(x^{2}) for all
x ∈ Q, then Q is, in fact, a Cheban loop.

**Proof.** See [18].

In preparation for the next theorem, recall that an extra loop is a loop that satisfies the identity x(y · zx) = (xy · z)x. Extra loops are conjugacy closed; in extra loops, squares are nuclear [11].

**Lemma 3.8.** Let Q be a left Cheban loop. If Q is either flexible or satisfies the RAP, then
Q is, in fact, an extra loop (and, obviously, a Cheban loop).

**Proof.** See [18].

**Lemma 3.9.** In a cancelative CC-groupoid, the following two conditions are equivalent:

(1) R(x^{2}) = L(x^{2}) for all x,
(2) R(x)^{2} = L(x)^{2} for all x.

The straightforward proof is left to the reader.

**Theorem 3.10.** A loop, Q, is Cheban if and only if it is conjugacy closed and satisfies
R(x^{2}) = L(x^{2}) for all x ∈ Q.

**Proof.** Combine Theorem 3.1, Lemma 3.6, and Lemma 3.8.

**Theorem 3.11.** Cheban loops are WIP PACC-loops. Moreover, they are centrally nilpotent
of class at most 2.

**Proof.** The fact that Cheban loops are WIP PACC-loops is straightforward and left to the
reader. By Basarab’s theorem, in CC loops the commutant is contained in the center. Also
by Theorem 3.10, squares are contained in the commutant, hence they are also contained in
the center. So the factor of a Cheban loop by its center has exponent 2 and is, hence, an
abelian group, which finishes the proof of the theorem.

**Remark 3.12.** A WIP PACC-loop of nilpotency class 2 need not be Cheban, as evidenced by
any nonabelian group of odd order and nilpotency class 2 (since in this case, R(x^{2}) = L(x^{2})
will not hold for all x).

**Remark 3.13.** If L is a left Cheban, right Cheban, or Cheban loop in which every element
is either a square or an involution, then L is an abelian group, as the reader may easily check.

- Basarab AS (1967)A class of WIP loops. Mat. Issled, Russia 2: 3–24.
- Basarab AS (1991) A class of LK-loops.Mat. Issled., Bin. in-arnyeKvazigruppy, Russiapp: 3–7.
- Belousov VD (1967) Foundations of the Theory of Quasigroups and Loops. Izdat “Nauka”,Moscow, Russia.
- Bruck RH (1958) A Survey of Binary Systems. Springer-Verlag, Berlin.
- Cheban AM (1980) Loops with identities of length four and of rank three II. In “GeneralAlgebra and Discrete Geometry”, Shtiintsa, Kishinev, Moldovapp: 117–164.
- Cot ´e B, Harvill B, Huhn M,Kirchman A (2011) Classification of loops of generalized Bol-Moufang type. Quasigroups Related Systems 19: 193-206
- CsörgoP (2005) Extending the structural homomorphism of LCC loops.CommentationesMathematicaeUniversitatisCarolinae46: 385–389.
- Drappal A (2004)On multiplication groups of left conjugacy closed loops.CommentationesMathematicaeUniversitatisCarolinae45: 223–236.
- GoodaireEG, Robinson DA (1982) A class of loops which are isomorphic to all loop isotopes.Canadian Journal of Mathematics 34: 662–672.
- Kinyon MK, Kunen K (2006) Power-associative, conjugacy closed loops.J. Algebra 304: 679–711.
- Kinyon MK, Kunen K (2004)The structure of extra loops.Quasigroups Related Systems 12: 39–60.
- Kinyon MK, Kunen K, PhillipsJD On Osborn loops. Unpublished manuscript.
- McCune WW, Prover9 (2005) Automated Reasoning Software, Argonne National Laboratory
- McCune WW, Padmanabhan R (1996) Automated Deduction in Equational Logic and CubicCurves. Lecture Notes in Computer Science, Vol. 1095. Lecture Notes in Artificial Intelligence.Springer-Verlag, Berlin.
- Osborn JM (1960) Loops with the weak inverse property.Pacific Journal of Mathematics 10: 295–304.
- Pflugfelder HO (1990) Quasigroups and Loops: Introduction. Sigma Series in Pure Mathematics,Vol. 7.HeldermannVerlag, Berlin.
- Phillips JD (2006) A short basis for the variety of WIP PACC-loops.Quasigroups Related Systems,14: 73–80.
- J. D. Phillips. http://euclid.nmu.edu/˜jophilli/paper-supplements.html
- Phillips JD (2009) The Moufang laws.Journal of Algebra and Its Applications8: 477–492.
- Phillips JD, Vojt?echovsk ´y P (2005)The varieties of loops of Bol-Moufang type.Algebra universalis54: 259–271.
- So ?ikis LR (1970)The special loops (Russian). In: “Questions of the Theory of QuasigroupsandLoops”. Redakc.-Izdat. OtdelAkad.NaukMoldav. SSR, Kishinevpp: 122–131

Select your language of interest to view the total content in your interested language

- Adomian Decomposition Method
- Algebra
- Algebraic Geometry
- Analytical Geometry
- Applied Mathematics
- Axioms
- Balance Law
- Behaviometrics
- Big Data Analytics
- Binary and Non-normal Continuous Data
- Binomial Regression
- Biometrics
- Biostatistics methods
- Clinical Trail
- Combinatorics
- Complex Analysis
- Computational Model
- Convection Diffusion Equations
- Cross-Covariance and Cross-Correlation
- Deformations Theory
- Differential Equations
- Differential Transform Method
- Fourier Analysis
- Fuzzy Boundary Value
- Fuzzy Environments
- Fuzzy Quasi-Metric Space
- Genetic Linkage
- Geometry
- Hamilton Mechanics
- Harmonic Analysis
- Homological Algebra
- Homotopical Algebra
- Hypothesis Testing
- Integrated Analysis
- Integration
- Large-scale Survey Data
- Latin Squares
- Lie Algebra
- Lie Superalgebra
- Lie Theory
- Lie Triple Systems
- Loop Algebra
- Matrix
- Microarray Studies
- Mixed Initial-boundary Value
- Molecular Modelling
- Multivariate-Normal Model
- Noether's theorem
- Non rigid Image Registration
- Nonlinear Differential Equations
- Number Theory
- Numerical Solutions
- Operad Theory
- Physical Mathematics
- Quantum Group
- Quantum Mechanics
- Quantum electrodynamics
- Quasi-Group
- Quasilinear Hyperbolic Systems
- Regressions
- Relativity
- Representation theory
- Riemannian Geometry
- Robust Method
- Semi Analytical-Solution
- Sensitivity Analysis
- Smooth Complexities
- Soft biometrics
- Spatial Gaussian Markov Random Fields
- Statistical Methods
- Super Algebras
- Symmetric Spaces
- Theoretical Physics
- Theory of Mathematical Modeling
- Three Dimensional Steady State
- Topologies
- Topology
- mirror symmetry
- vector bundle

- Total views:
**11945** - [From(publication date):

November-2010 - Dec 17, 2018] - Breakdown by view type
- HTML page views :
**8150** - PDF downloads :
**3795**

Peer Reviewed Journals

International Conferences 2018-19