On the universality of some Smarandache loops of Bol-Moufang type

Scientia Magna Vol. 2 (2006), No. 4, 45-58

On the universality of some Smarandache loops of Bol-Moufang type T`em´ıt´ op´e Gb´ol´ah`an Ja´ıy´eo.l´a1 Department of Mathematics Obafemi Awolowo University, Ile Ife, Nigeria jaiyeolatemitope@yahoo.com, tjayeola@oauife.edu.ng Abstract A Smarandache quasigroup(loop) is shown to be universal if all its f, g-principal isotopes are Smarandache f, g-principal isotopes. Also, weak Smarandache loops of Bol-Moufang type such as Smarandache: left(right) Bol, Moufang and extra loops are shown to be universal if all their f, g-principal isotopes are Smarandache f, g-principal isotopes. Conversely, it is shown that if these weak Smarandache loops of Bol-Moufang type are universal, then some autotopisms are true in the weak Smarandache sub-loops of the weak Smarandache loops of Bol-Moufang type relative to some Smarandache elements. Futhermore, a Smarandache left(right) inverse property loop in which all its f, g-principal isotopes are Smarandache f, gprincipal isotopes is shown to be universal if and only if it is a Smarandache left(right) Bol loop in which all its f, g-principal isotopes are Smarandache f, g-principal isotopes. Also, it is established that a Smarandache inverse property loop in which all its f, g-principal isotopes are Smarandache f, g-principal isotopes is universal if and only if it is a Smarandache Moufang loop in which all its f, g-principal isotopes are Smarandache f, g-principal isotopes. Hence, some of the autotopisms earlier mentioned are found to be true in the Smarandache sub-loops of universal Smarandache: left(right) inverse property loops and inverse property loops.

Keywords Smarandache quasigroups, Smarandache loops, universality, f, g-principal isotopes

1. Introduction W. B. Vasantha Kandasamy initiated the study of Smarandache loops (S-loop) in 2002.

In her book [27], she defined a Smarandache loop (S-loop) as a loop with at least a subloop which forms a subgroup under the binary operation of the loop called a Smarandache subloop (S-subloop). In [11], the present author defined a Smarandache quasigroup (S-quasigroup) to be a quasigroup with at least a non-trivial associative subquasigroup called a Smarandache subquasigroup (S-subquasigroup). Examples of Smarandache quasigroups are given in Muktibodh [21]. For more on quasigroups, loops and their properties, readers should check [24], [2],[4], [5], [8] and [27]. In her (W.B. Vasantha Kandasamy) first paper [28], she introduced Smarandache : left(right) alternative loops, Bol loops, Moufang loops, and Bruck loops. But in [10], the present author introduced Smarandache : inverse property loops (IPL), weak inverse property loops (WIPL), G-loops, conjugacy closed loops (CC-loop), central loops, extra 1 On

Doctorate Programme at the University of Abeokuta, Abeokuta, Nigeria.

46

T` em´ıt´ op´ e Gb´ ol´ ah` an Ja´ıy´ eo.l´ a

No. 4

loops, A-loops, K-loops, Bruck loops, Kikkawa loops, Burn loops and homogeneous loops. The isotopic invariance of types and varieties of quasigroups and loops described by one or more equivalent identities, especially those that fall in the class of Bol-Moufang type loops as first named by Fenyves [7] and [6] in the 1960s and later on in this 21st century by Phillips and Vojtˇechovsk´ y [25], [26] and [18] have been of interest to researchers in loop theory in the recent past. For example, loops such as Bol loops, Moufang loops, central loops and extra loops are the most popular loops of Bol-Moufang type whose isotopic invariance have been considered.

Their identities relative to quasigroups and loops have also been investigated by Kunen [20] and [19]. A loop is said to be universal relative to a property P if it is isotopic invariant relative to P, hence such a loop is called a universal P loop. This language is well used in [22]. The universality of most loops of Bol-Moufang types have been studied as summarised in [24]. Left(Right) Bol loops, Moufang loops, and extra loops have all been found to be isotopic invariant. But some types of central loops were shown to be universal in Ja´ıy´eo.l´a [13] and [12] under some conditions. Some other types of loops such as A-loops, weak inverse property loops and cross inverse property loops (CIPL) have been found be universal under some neccessary and sufficient conditions in [3], [23] and [1] respectively. Recently, Michael Kinyon et. al. [16], [14], [15] solved the Belousov problem concerning the universality of F-quasigroups which has been open since 1967 by showing that all the isotopes of F-quasigroups are Moufang loops.

In this work, the universality of the Smarandache concept in loops is investigated. That is, will all isotopes of an S-loop be an S-loop? The answer to this could be ‘yes’ since every isotope of a group is a group (groups are G-loops). Also, the universality of weak Smarandache loops, such as Smarandache Bol loops (SBL), Smarandache Moufang loops (SML) and Smarandache extra loops (SEL) will also be investigated despite the fact that it could be expected to be true since Bol loops, Moufang loops and extra loops are universal. The universality of a Smarandache inverse property loop (SIPL) will also be considered.

2. Preliminaries Definition 2.1. A loop is called a Smarandache left inverse property loop (SLIPL) if it has at least a non-trivial subloop with the LIP. A loop is called a Smarandache right inverse property loop (SRIPL) if it has at least a non-trivial subloop with the RIP. A loop is called a Smarandache inverse property loop (SIPL) if it has at least a non-trivial subloop with the IP. A loop is called a Smarandache right Bol-loop (SRBL) if it has at least a non-trivial subloop that is a right Bol(RB)-loop.

A loop is called a Smarandache left Bol-loop (SLBL) if it has at least a non-trivial subloop that is a left Bol(LB)-loop.

A loop is called a Smarandache central-loop (SCL) if it has at least a non-trivial subloop that is a central-loop.

A loop is called a Smarandache extra-loop (SEL) if it has at least a non-trivial subloop that is a extra-loop.

Vol. 2

On the universality of some Smarandache loops of Bol-Moufang type

47

A loop is called a Smarandache A-loop (SAL) if it has at least a non-trivial subloop that is a A-loop.

A loop is called a Smarandache Moufang-loop (SML) if it has at least a non-trivial subloop that is a Moufang-loop.

Definition 2.2. Let (G, ⊕) and (H, ⊗) be two distinct quasigroups. The triple (A, B, C) such that A, B, C : (G, ⊕) → (H, ⊗) are bijections is said to be an isotopism if and only if xA ⊗ yB = (x ⊕ y)C ∀ x, y ∈ G. Thus, H is called an isotope of G and they are said to be isotopic. If C = I, then the triple is called a principal isotopism and (H, ⊗) = (G, ⊗) is called a principal isotope of (G, ⊕). If in addition, A = Rg , B = Lf , then the triple is called an f, g-principal isotopism, thus (G, ⊗) is reffered to as the f, g-principal isotope of (G, ⊕).

A subloop(subquasigroup) (S, ⊗) of a loop(quasigroup) (G, ⊗) is called a Smarandache f, g-principal isotope of the subloop(subquasigroup) (S, ⊕) of a loop(quasigroup) (G, ⊕) if for some f, g ∈ S, xRg ⊗ yLf = (x ⊕ y) ∀ x, y ∈ S. On the other hand (G, ⊗) is called a Smarandache f, g-principal isotope of (G, ⊕) if for some f, g ∈ S, xRg ⊗ yLf = (x ⊕ y) ∀ x, y ∈ G, where (S, ⊕) is a S-subquasigroup(S-subloop) of (G, ⊕). In these cases, f and g are called Smarandache elements(S-elements).

Theorem 2.1. [2] Let (G, ⊕) and (H, ⊗) be two distinct isotopic loops(quasigroups).

There exists an f, g-principal isotope (G, ◦) of (G, ⊕) such that (H, ⊗) ∼ = (G, ◦).

Corollary 2.1.

Let P be an isomorphic invariant property in loops(quasigroups). If (G, ⊕) is a loop(quasigroup) with the property P, then (G, ⊕) is a universal loop(quasigroup) relative to the property P if and only if every f, g-principal isotope (G, ◦) of (G, ⊕) has the property P. Proof. If (G, ⊕) is a universal loop relative to the property P then every distinct loop isotope (H, ⊗) of (G, ⊕) has the property P. By Theorem 2.1, there exists a f, g-principal isotope (G, ◦) of (G, ⊕) such that (H, ⊗) ∼ = (G, ◦). Hence, since P is an isomorphic invariant property, every (G, ◦) has it.

Conversely, if every f, g-principal isotope (G, ◦) of (G, ⊕) has the property P and since

by Theorem 2.1, for each distinct isotope (H, ⊗) there exists a f, g-principal isotope (G, ◦) of (G, ⊕) such that (H, ⊗) ∼ = (G, ◦), then all (H, ⊗) has the property. Thus, (G, ⊕) is a universal loop relative to the property P. Lemma 2.1. Let (G, ⊕) be a loop(quasigroup) with a subloop(subquasigroup) (S, ⊕).

If (G, ◦) is an arbitrary f, g-principal isotope of (G, ⊕), then (S, ◦) is a subloop(subquasigroup) of (G, ◦) if (S, ◦) is a Smarandache f, g-principal isotope of (S, ⊕).

Proof. If (S, ◦) is a Smarandache f, g-principal isotope of (S, ⊕), then for some f, g ∈ S, xRg ◦ yLf = (x ⊕ y) ∀ x, y ∈ S ⇒ x ◦ y = xRg−1 ⊕ yL−1 f ∈ S ∀ x, y ∈ S

48

T` em´ıt´ op´ e Gb´ ol´ ah` an Ja´ıy´ eo.l´ a

No. 4

since f, g ∈ S. So, (S, ◦) is a subgroupoid of (G, ◦). (S, ◦) is a subquasigroup follows from the fact that (S, ⊕) is a subquasigroup. f ⊕ g is a two sided identity element in (S, ◦). Thus, (S, ◦) is a subloop of (G, ◦).

3. Main Results Universality of Smarandache Loops Theorem 3.1. A Smarandache quasigroup is universal if all its f, g-principal isotopes are Smarandache f, g-principal isotopes.

Proof. Let (G, ⊕) be a Smarandache quasigroup with a S-subquasigroup (S, ⊕). If (G, ◦) is an arbitrary f, g-principal isotope of (G, ⊕), then by Lemma 2.1, (S, ◦) is a subquasigroup of (G, ◦) if (S, ◦) is a Smarandache f, g-principal isotope of (S, ⊕). Let us choose all (S, ◦) in this manner. So, x ◦ y = xRg−1 ⊕ yL−1 f ∀ x, y ∈ S. It shall now be shown that (x ◦ y) ◦ z = x ◦ (y ◦ z) ∀ x, y, z ∈ S. But in the quasigroup (G, ⊕), xy will have preference over x ⊕ y ∀ x, y ∈ G. (x ◦ y) ◦ z

x ◦ (y ◦ z)

=

−1 (xRg−1 ⊕ yL−1 ⊕ f −1 y) ◦ z = (xg −1 ⊕ f −1 y)Rg−1 ⊕ zL−1 f ) ◦ z = (xg f

=

(xg −1 ⊕ f −1 y)g −1 ⊕ f −1 z = xg −1 ⊕ f −1 yg −1 ⊕ f −1 z.

−1 = x ◦ (yRg−1 ⊕ zL−1 ⊕ f −1 z) = xRg−1 ⊕ (yg −1 ⊕ f −1 z)L−1 f ) = x ◦ (yg f

= xg −1 ⊕ f −1 (yg −1 ⊕ f −1 z) = xg −1 ⊕ f −1 yg −1 ⊕ f −1 z.

Thus, (S, ◦) is a S-subquasigroup of (G, ◦), (G, ◦) is a S-quasigroup. By Theorem 2.1, for any isotope (H, ⊗) of (G, ⊕), there exists a (G, ◦) such that (H, ⊗) ∼ = (G, ◦). So we can now choose the isomorphic image of (S, ◦) which will now be a S-subquasigroup in (H, ⊗). So, (H, ⊗) is a S-quasigroup. This conclusion can also be drawn straight from Corollary 2.1.

Theorem 3.2.

A Smarandache loop is universal if all its f, g-principal isotopes are Smarandache f, g-principal isotopes. Conversely, if a Smarandache loop is universal then −1 ρ (I, Lf Rg−1 Rf ρ L−1 f , R g Rf )

is an autotopism of a S-subloop of the S-loop such that f and g are S-elements.

Proof. Every loop is a quasigroup. Hence, the first claim follows from Theorem 3.1. The proof of the converse is as follows. If a Smarandache loop (G, ⊕) is universal then every isotope (H, ⊗) is a S-loop i.e. there exists a S-subloop (S, ⊗) in (H, ⊗). Let (G, ◦) be the f, g-principal isotope of (G, ⊕), then by Corollary 2.1, (G, ◦) is a S-loop with say a S-subloop (S, ◦). So, (x ◦ y) ◦ z = x ◦ (y ◦ z) ∀ x, y, z ∈ S

Vol. 2

On the universality of some Smarandache loops of Bol-Moufang type

49

where x ◦ y = xRg−1 ⊕ yL−1 f ∀ x, y ∈ S. −1 −1 −1 −1 −1 −1 (xRg−1 ⊕ yL−1 f )Rg ⊕ zLf = xRg ⊕ (yRg ⊕ zLf )Lf .

0 Replacing xRg−1 by x0 , yL−1 f by y and taking z = e in (S, ⊕) we have: −1 −1 −1 ρ ρ (x0 ⊕ y 0 )Rg−1 Rf ρ = x0 ⊕ y 0 Lf Rg−1 Rf ρ L−1 f ⇒ (I, Lf Rg Rf Lf , Rg Rf )

is an autotopism of a S-subloop (S, ⊕) of the S-loop (G, ⊕) such that f and g are S-elements.

Universality of Smarandache Bol, Moufang and Extra Loops Theorem 3.3.

A Smarandache right(left)Bol loop is universal if all its f, g-principal isotopes are Smarandache f, g-principal isotopes. Conversely, if a Smarandache right(left)Bol loop is universal then µ ¶ −1 −1 −1 −1 −1 −1 −1 T1 = (Rg Rf−1 ρ , Lg λ Rg Rf ρ Lf , Rg Rf ρ ) T2 = (Rf ρ Lf Lg λ Rg , Lf L λ , Lf Lg λ ) g is an autotopism of an SRB(SLB)-subloop of the SRBL(SLBL) such that f and g are S-elements.

Proof. Let (G, ⊕) be a SRBL(SLBL) with a S-RB(LB)-subloop (S, ⊕). If (G, ◦) is an arbitrary f, g-principal isotope of (G, ⊕), then by Lemma 2.1, (S, ◦) is a subloop of (G, ◦) if (S, ◦) is a Smarandache f, g-principal isotope of (S, ⊕). Let us choose all (S, ◦) in this manner.

So, x ◦ y = xRg−1 ⊕ yL−1 f ∀ x, y ∈ S. It is already known from [24] that RB(LB) loops are universal, hence (S, ◦) is a RB(LB) loop thus a S-RB(LB)-subloop of (G, ◦). By Theorem 2.1, for any isotope (H, ⊗) of (G, ⊕), there exists a (G, ◦) such that (H, ⊗) ∼ = (G, ◦). So we can now choose the isomorphic image of (S, ◦) which will now be a S-RB(LB)-subloop in (H, ⊗). So, (H, ⊗) is a SRBL(SLBL). This conclusion can also be drawn straight from Corollary 2.1.

The proof of the converse is as follows. If a SRBL(SLBL) (G, ⊕) is universal then every isotope (H, ⊗) is a SRBL(SLBL) i.e there exists a S-RB(LB)-subloop (S, ⊗) in (H, ⊗). Let (G, ◦) be the f, g-principal isotope of (G, ⊕), then by Corollary 2.1, (G, ◦) is a SRBL(SLBL) with say a SRB(SLB)-subloop (S, ◦). So for a SRB-subloop (S, ◦), [(y ◦ x) ◦ z] ◦ x = y ◦ [(x ◦ z) ◦ x] ∀ x, y, z ∈ S where x ◦ y = xRg−1 ⊕ yL−1 f ∀ x, y ∈ S. Thus, −1 −1 −1 −1 −1 −1 −1 −1 −1 −1 [(yRg−1 ⊕ xL−1 f )Rg ⊕ zLf ]Rg ⊕ xLf = yRg ⊕ [(xRg ⊕ zLf )Rg ⊕ xLf ]Lf .

0 Replacing yRg−1 by y 0 , zL−1 f by z and taking x = e in (S, ⊕) we have

(y 0 Rf ρ Rg−1 ⊕ z 0 )Rg−1 Rf ρ = y 0 ⊕ z 0 Lgλ Rg−1 Rf ρ L−1 f .

50

T` em´ıt´ op´ e Gb´ ol´ ah` an Ja´ıy´ eo.l´ a

No. 4

Again, replace y 0 Rf ρ Rg−1 by y 00 so that −1 −1 0 −1 −1 −1 (y 00 ⊕ z 0 )Rg−1 Rf ρ = y 00 Rg Rf−1 ⇒ (Rg Rf−1 ρ ⊕ z Lg λ Rg Rf ρ Lf ρ , Lg λ Rg Rf ρ Lf , Rg Rf ρ )

is an autotopism of a SRB-subloop (S, ⊕) of the S-loop (G, ⊕) such that f and g are S-elements.

On the other hand, for a SLB-subloop (S, ◦), [x ◦ (y ◦ x)] ◦ z = x ◦ [y ◦ (x ◦ z)] ∀ x, y, z ∈ S, where x ◦ y = xRg−1 ⊕ yL−1 f ∀ x, y ∈ S. Thus, −1 −1 −1 −1 −1 −1 −1 −1 −1 [xRg−1 ⊕ (yRg−1 ⊕ xL−1 f )Lf ]Rg ⊕ zLf = xRg ⊕ [yRg ⊕ (xRg ⊕ zLf )Lf ]Lf .

0 Replacing yRg−1 by y 0 , zL−1 f by z and taking x = e in (S, ⊕) we have −1 −1 −1 0 0 0 y 0 Rf ρ L−1 f Lg λ Rg ⊕ z = (y ⊕ z Lg λ Lf )Lf Lg λ .

00 Again, replace z 0 Lgλ L−1 f by z so that −1 −1 −1 −1 −1 −1 0 00 −1 00 ρ y 0 Rf ρ L−1 f Lg λ Rg ⊕ z Lf Lg λ = (y ⊕ z )Lf Lg λ ⇒ (Rf Lf Lg λ Rg , Lf Lg λ , Lf Lg λ )

is an autotopism of a SLB-subloop (S, ⊕) of the S-loop (G, ⊕) such that f and g are S-elements.

Theorem 3.4.

A Smarandache Moufang loop is universal if all its f, g-principal isotopes are Smarandache f, g-principal isotopes. Conversely, if a Smarandache Moufang loop is universal then −1 −1 −1 −1 −1 ρ ρ (Rg L−1 f Lg λ Rg , Lf Rg Rf Lf , Lf Lg λ Rg Rf ), −1 −1 −1 −1 −1 ρ ρ (Rg L−1 f Lg λ Rg , Lf Rg Rf Lf , Rg Rf Lf Lg λ ), −1 −1 −1 −1 ρ (Rg L−1 f Lg λ Rg Rf Rg , Lf Lg λ , Lf Lg λ ), −1 −1 −1 −1 (Rg Rf−1 ρ , Lf Rg Rf ρ Lf Lg λ Lf , Rg Rf ρ ), −1 −1 −1 −1 −1 ρ ρ (Rg L−1 f Lg λ Rg , Lg λ Rg Rf Lg λ , Rg Rf Lf Lg λ ), −1 −1 −1 −1 −1 ρ ρ (Rf ρ L−1 f Lg λ Rf ρ , Lf Rg Rf Lf , Lf Lg λ Rg Rf ),

are autotopisms of a SM-subloop of the SML such that f and g are S-elements.

Proof. Let (G, ⊕) be a SML with a SM-subloop (S, ⊕). If (G, ◦) is an arbitrary f, gprincipal isotope of (G, ⊕), then by Lemma 2.1, (S, ◦) is a subloop of (G, ◦) if (S, ◦) is a Smarandache f, g-principal isotope of (S, ⊕). Let us choose all (S, ◦) in this manner. So, x ◦ y = xRg−1 ⊕ yL−1 f ∀ x, y ∈ S. It is already known from [24] that Moufang loops are universal, hence (S, ◦) is a Moufang loop thus a SM-subloop of (G, ◦). By Theorem 2.1, for any isotope (H, ⊗) of (G, ⊕), there exists a (G, ◦) such that (H, ⊗) ∼ = (G, ◦). So we can now choose the isomorphic image of (S, ◦) which

Vol. 2

On the universality of some Smarandache loops of Bol-Moufang type

51

will now be a SM-subloop in (H, ⊗). So, (H, ⊗) is a SML. This conclusion can also be drawn straight from Corollary 2.1.

The proof of the converse is as follows. If a SML (G, ⊕) is universal then every isotope (H, ⊗) is a SML i.e there exists a SM-subloop (S, ⊗) in (H, ⊗). Let (G, ◦) be the f, g-principal isotope of (G, ⊕), then by Corollary 2.1, (G, ◦) is a SML with say a SM-subloop (S, ◦). For a SM-subloop (S, ◦), (x ◦ y) ◦ (z ◦ x) = [x ◦ (y ◦ z)] ◦ x ∀ x, y, z ∈ S, where x ◦ y = xRg−1 ⊕ yL−1 f ∀ x, y ∈ S. Thus, −1 −1 −1 −1 −1 −1 −1 −1 −1 −1 (xRg−1 ⊕ yL−1 f )Rg ⊕ (zRg ⊕ xLf )Lf = [xRg ⊕ (yRg ⊕ zLf )Lf ]Rg ⊕ xLf .

0 Replacing yRg−1 by y 0 , zL−1 f by z and taking x = e in (S, ⊕) we have −1 −1 −1 0 −1 0 0 −1 ρ ρ y 0 Rg L−1 f Lg λ Rg ⊕ z Lf Rg Rf Lf = (y ⊕ z )Lf Lg λ Rg Rf ⇒ −1 −1 −1 −1 −1 ρ ρ (Rg L−1 f Lg λ Rg , Lf Rg Rf Lf , Lf Lg λ Rg Rf )

is an autotopism of a SM-subloop (S, ⊕) of the S-loop (G, ⊕) such that f and g are S-elements.

Again, for a SM-subloop (S, ◦), (x ◦ y) ◦ (z ◦ x) = x ◦ [(y ◦ z) ◦ x] ∀ x, y, z ∈ S, where x ◦ y = xRg−1 ⊕ yL−1 f ∀ x, y ∈ S. Thus, −1 −1 −1 −1 −1 −1 −1 −1 −1 −1 (xRg−1 ⊕ yL−1 f )Rg ⊕ (zRg ⊕ xLf )Lf = xRg ⊕ [(yRg ⊕ zLf )Rg ⊕ xLf ]Lf .

0 Replacing yRg−1 by y 0 , zL−1 f by z and taking x = e in (S, ⊕) we have −1 −1 −1 0 −1 0 0 −1 ρ ρ y 0 Rg L−1 f Lg λ Rg ⊕ z Lf Rg Rf Lf = (y ⊕ z )Rg Rf Lf Lg λ ⇒ −1 −1 −1 −1 −1 ρ ρ (Rg L−1 f Lg λ Rg , Lf Rg Rf Lf , Rg Rf Lf Lg λ )

is an autotopism of a SM-subloop (S, ⊕) of the S-loop (G, ⊕) such that f and g are S-elements.

Also, if (S, ◦) is a SM-subloop then, [(x ◦ y) ◦ x] ◦ z = x ◦ [y ◦ (x ◦ z)] ∀ x, y, z ∈ S, where x ◦ y = xRg−1 ⊕ yL−1 f ∀ x, y ∈ S. Thus, −1 −1 −1 −1 −1 −1 −1 −1 −1 −1 [(xRg−1 ⊕ yL−1 f )Rg ⊕ xLf ]Rg ⊕ zLf = xRg ⊕ [yRg ⊕ (xRg ⊕ zLf )Lf ]Lf .

52

T` em´ıt´ op´ e Gb´ ol´ ah` an Ja´ıy´ eo.l´ a

No. 4

0 Replacing yRg−1 by y 0 , zL−1 f by z and taking x = e in (S, ⊕) we have −1 −1 −1 −1 0 0 0 ρ y 0 Rg L−1 f Lg λ Rg Rf Rg ⊕ z = (y ⊕ z Lg λ Lf )Lf Lg λ .

00 Again, replace z 0 Lgλ L−1 f by z so that −1 −1 −1 00 ρ y 0 Rg L−1 f Lg λ Rg Rf Rg ⊕ z Lf Lg λ

=

(y 0 ⊕ z 00 )L−1 f Lg λ

−1 −1 −1 −1 ρ ⇒ (Rg L−1 f Lg λ Rg Rf Rg , Lf Lg λ , Lf Lg λ )

is an autotopism of a SM-subloop (S, ⊕) of the S-loop (G, ⊕) such that f and g are S-elements.

Furthermore, if (S, ◦) is a SM-subloop then, [(y ◦ x) ◦ z] ◦ x = y ◦ [x ◦ (z ◦ x)] ∀ x, y, z ∈ S, where x ◦ y = xRg−1 ⊕ yL−1 f ∀ x, y ∈ S. Thus, −1 −1 −1 −1 −1 −1 −1 −1 −1 −1 [(yRg−1 ⊕ xL−1 f )Rg ⊕ zLf ]Rg ⊕ xLf = yRg ⊕ [xRg ⊕ (zRg ⊕ xLf )Lf ]Lf .

0 Replacing yRg−1 by y 0 , zL−1 f by z and taking x = e in (S, ⊕) we have −1 (y 0 Rf ρ Rg−1 ⊕ z 0 )Rg−1 Rf ρ = y 0 ⊕ z 0 Lf Rg−1 Rf ρ L−1 f Lg λ Lf .

Again, replace y 0 Rf ρ Rg−1 by y 00 so that (y 00 ⊕ z 0 )Rg−1 Rf ρ

=

−1 −1 0 −1 y 00 Rg Rf−1 ρ ⊕ z Lf Rg Rf ρ Lf Lg λ Lf

−1 −1 −1 −1 ⇒ (Rg Rf−1 ρ , Lf Rg Rf ρ Lf Lg λ Lf , Rg Rf ρ )

is an autotopism of a SM-subloop (S, ⊕) of the S-loop (G, ⊕) such that f and g are S-elements.

Lastly, (S, ⊕) is a SM-subloop if and only if (S, ◦) is a SRB-subloop and a SLB-subloop.

So by Theorem 3.3, T1 and T2 are autotopisms in (S, ⊕), hence T1 T2 and T2 T1 are autotopisms in (S, ⊕).

Theorem 3.5. A Smarandache extra loop is universal if all its f, g-principal isotopes are Smarandache f, g-principal isotopes. Conversely, if a Smarandache extra loop is universal then −1 −1 −1 −1 −1 (Rg L−1 f Lg λ Rg , Lf Rf ρ Rg Lf , Lf Lg λ Rf ρ Rg ), −1 −1 −1 −1 (Rg Rf−1 ρ Rg Lf Lg λ Rg , Lg λ Lf , Lf Lg λ ), −1 ρ (Rf ρ Rg−1 , Lf L−1 L R−1 Rf ρ L−1 f , Rg Rf ), gλ f g −1 −1 −1 −1 −1 ρ ρ (Rg L−1 f Lg λ Rg , Lf Rg Rf Lf , Lf Lg λ Rg Rf ), −1 −1 −1 −1 −1 ρ ρ (Rg L−1 f Lg λ Rg , Lf Rg Rf Lf , Rg Rf Lf Lg λ ), −1 −1 −1 −1 ρ (Rg L−1 f Lg λ Rg Rf Rg , Lf Lg λ , Lf Lg λ ), −1 −1 −1 −1 (Rg Rf−1 ρ , Lf Rg Rf ρ Lf Lg λ Lf , Rg Rf ρ ),

Vol. 2

On the universality of some Smarandache loops of Bol-Moufang type

53

−1 −1 −1 −1 −1 ρ ρ (Rg L−1 f Lg λ Rg , Lg λ Rg Rf Lg λ , Rg Rf Lf Lg λ ), −1 −1 −1 −1 −1 ρ ρ (Rf ρ L−1 f Lg λ Rf ρ , Lf Rg Rf Lf , Lf Lg λ Rg Rf ),

are autotopisms of a SE-subloop of the SEL such that f and g are S-elements.

Proof. Let (G, ⊕) be a SEL with a SE-subloop (S, ⊕). If (G, ◦) is an arbitrary f, gprincipal isotope of (G, ⊕), then by Lemma 2.1, (S, ◦) is a subloop of (G, ◦) if (S, ◦) is a Smarandache f, g-principal isotope of (S, ⊕). Let us choose all (S, ◦) in this manner. So, x ◦ y = xRg−1 ⊕ yL−1 f ∀ x, y ∈ S. In [9] and [17] respectively, it was shown and stated that a loop is an extra loop if and only if it is a Moufang loop and a CC-loop. But since CC-loops are G-loops(they are isomorphic to all loop isotopes) then extra loops are universal, hence (S, ◦) is an extra loop thus a SE-subloop of (G, ◦). By Theorem 2.1, for any isotope (H, ⊗) of (G, ⊕), there exists a (G, ◦) such that (H, ⊗) ∼ = (G, ◦). So we can now choose the isomorphic image of (S, ◦) which will now be a SE-subloop in (H, ⊗). So, (H, ⊗) is a SEL. This conclusion can also be drawn straight from Corollary 2.1.

The proof of the converse is as follows. If a SEL (G, ⊕) is universal then every isotope (H, ⊗) is a SEL i.e there exists a SE-subloop (S, ⊗) in (H, ⊗). Let (G, ◦) be the f, g-principal isotope of (G, ⊕), then by Corollary 2.1, (G, ◦) is a SEL with say a SE-subloop (S, ◦). For a SE-subloop (S, ◦), [(x ◦ y) ◦ z] ◦ x = x ◦ [y ◦ (z ◦ x)] ∀ x, y, z ∈ S, where x ◦ y = xRg−1 ⊕ yL−1 f ∀ x, y ∈ S. Thus, −1 −1 −1 −1 −1 −1 −1 −1 −1 −1 [(xRg−1 ⊕ yL−1 f )Rg ⊕ zLf ]Rg ⊕ xLf = xRg ⊕ [yRg ⊕ (zRg ⊕ xLf )Lf ]Lf .

0 Replacing yRg−1 by y 0 , zL−1 f by z and taking x = e in (S, ⊕) we have −1 −1 −1 0 −1 0 0 −1 ρ ρ (y 0 Rg L−1 f Lg λ Rg ⊕ z )Rg Rf = (y ⊕ z Lf Rg Rf Lf )Lf Lg λ .

00 Again, replace z 0 Lf Rg−1 Rf ρ L−1 f by z so that −1 −1 −1 −1 −1 00 0 00 y 0 Rg L−1 f Lg λ Rg ⊕ z Lf Rf ρ Rg Lf = (y ⊕ z )Lf Lg λ Rf ρ Rg ⇒ −1 −1 −1 (Rg Lf−1 Lgλ Rg−1 , Lf Rf−1 ρ Rg Lf , Lf Lg λ Rf ρ Rg )

is an autotopism of a SE-subloop (S, ⊕) of the S-loop (G, ⊕) such that f and g are S-elements.

Again, for a SE-subloop (S, ◦), (x ◦ y) ◦ (x ◦ z) = x ◦ [(y ◦ x) ◦ z] ∀ x, y, z ∈ S, where x ◦ y = xRg−1 ⊕ yL−1 f ∀ x, y ∈ S.

54

T` em´ıt´ op´ e Gb´ ol´ ah` an Ja´ıy´ eo.l´ a

No. 4

Thus, −1 −1 −1 −1 −1 −1 −1 −1 −1 −1 (xRg−1 ⊕ yL−1 f )Rg ⊕ (xRg ⊕ zLf )Lf = xRg ⊕ [(yRg ⊕ xLf )Rg ⊕ zLf ]Lf .

0 Replacing yRg−1 by y 0 , zL−1 f by z and taking x = e in (S, ⊕) we have −1 −1 −1 0 0 −1 0 ρ y 0 Rg L−1 f Lg λ Rg ⊕ z Lg λ Lf = (y Rf Rg ⊕ z )Lf Lg λ .

Again, replace y 0 Rf ρ Rg−1 by y 00 so that −1 −1 y 00 Rg Rf−1 ⊕ z 0 Lgλ L−1 ρ Rg Lf Lg λ Rg f

=

(y 00 ⊕ z 0 )L−1 f Lg λ

−1 −1 −1 −1 ⇒ (Rg Rf−1 ρ Rg Lf Lg λ Rg , Lg λ Lf , Lf Lg λ ),

is an autotopism of a SE-subloop (S, ⊕) of the S-loop (G, ⊕) such that f and g are S-elements.

Also, if (S, ◦) is a SE-subloop then, (y ◦ x) ◦ (z ◦ x) = [y ◦ (x ◦ z)] ◦ x ∀ x, y, z ∈ S where x ◦ y = xRg−1 ⊕ yL−1 f ∀ x, y ∈ S. Thus, −1 −1 −1 −1 −1 −1 −1 −1 −1 −1 (yRg−1 ⊕ xL−1 f )Rg ⊕ (zRg ⊕ xLf )Lf = [(yRg ⊕ (xRg ⊕ zLf )Lf ]Rg ⊕ xLf .

0 Replacing yRg−1 by y 0 , zL−1 f by z and taking x = e in (S, ⊕) we have −1 −1 0 0 ρ y 0 Rf ρ Rg−1 ⊕ z 0 Lf Rg−1 Rf ρ L−1 f = (y ⊕ z Lg λ Lf )Rg Rf .

00 Again, replace z 0 Lgλ L−1 f by z so that

L R−1 Rf ρ L−1 y 0 Rf ρ Rg−1 ⊕ z 00 Lf L−1 f gλ f g

=

(y 0 ⊕ z 0 )Rg−1 Rf ρ

−1 ρ L R−1 Rf ρ L−1 ⇒ (Rf ρ Rg−1 , Lf L−1 f , R g Rf ) gλ f g

is an autotopism of a SE-subloop (S, ⊕) of the S-loop (G, ⊕) such that f and g are S-elements.

Lastly, (S, ⊕) is a SE-subloop if and only if (S, ◦) is a SM-subloop and a SCC-subloop. So

by Theorem 3.4, the six remaining triples are autotopisms in (S, ⊕).

Universality of Smarandache Inverse Property Loops Theorem 3.6.

A Smarandache left(right) inverse property loop in which all its f, gprincipal isotopes are Smarandache f, g-principal isotopes is universal if and only if it is a Smarandache left(right) Bol loop in which all its f, g-principal isotopes are Smarandache f, gprincipal isotopes.

Proof. Let (G, ⊕) be a SLIPL with a SLIP-subloop (S, ⊕). If (G, ◦) is an arbitrary f, g-principal isotope of (G, ⊕), then by Lemma 2.1, (S, ◦) is a subloop of (G, ◦) if (S, ◦) is a Smarandache f, g-principal isotope of (S, ⊕). Let us choose all (S, ◦) in this manner. So, x ◦ y = xRg−1 ⊕ yL−1 f ∀ x, y ∈ S.

Vol. 2

On the universality of some Smarandache loops of Bol-Moufang type

55

(G, ⊕) is a universal SLIPL if and only if every isotope (H, ⊗) is a SLIPL. (H, ⊗) is a SLIPL if and only if it has at least a SLIP-subloop (S, ⊗). By Theorem 2.1, for any isotope (H, ⊗) of (G, ⊕), there exists a (G, ◦) such that (H, ⊗) ∼ = (G, ◦). So we can now choose the isomorphic image of (S, ◦) to be (S, ⊗) which is already a SLIP-subloop in (H, ⊗). So, (S, ◦) is also a SLIP-subloop in (G, ◦). As shown in [24], (S, ⊕) and its f, g-isotope(Smarandache f, g-isotope) (S, ◦) are SLIP-subloops if and only if (S, ⊕) is a left Bol subloop(i.e a SLB-subloop). So, (G, ⊕) is SLBL. Conversely, if (G, ⊕) is SLBL, then there exists a SLB-subloop (S, ⊕) in (G, ⊕). If (G, ◦) is an arbitrary f, g-principal isotope of (G, ⊕), then by Lemma 2.1, (S, ◦) is a subloop of (G, ◦) if (S, ◦) is a Smarandache f, g-principal isotope of (S, ⊕). Let us choose all (S, ◦) in this manner.

So, x ◦ y = xRg−1 ⊕ yL−1 f ∀ x, y ∈ S.

By Theorem 2.1, for any isotope (H, ⊗) of (G, ⊕), there exists a (G, ◦) such that (H, ⊗) ∼ = (G, ◦).

So we can now choose the isomorphic image of (S, ◦) to be (S, ⊗) which is a SLB-subloop in (H, ⊗) using the same reasoning in Theorem 3.3. So, (S, ◦) is a SLB-subloop in (G, ◦). Left Bol loops have the left inverse property(LIP), hence, (S, ⊕) and (S, ◦) are SLIP-subloops in (G, ⊕) and (G, ◦) respectively. Thence, (G, ⊕) and (G, ◦) are SLBLs. Therefore, (G, ⊕) is a universal SLIPL. The proof for a Smarandache right inverse property loop is similar and is as follows. Let (G, ⊕) be a SRIPL with a SRIP-subloop (S, ⊕). If (G, ◦) is an arbitrary f, g-principal isotope of (G, ⊕), then by Lemma 2.1, (S, ◦) is a subloop of (G, ◦) if (S, ◦) is a Smarandache f, g-principal isotope of (S, ⊕). Let us choose all (S, ◦) in this manner. So, x ◦ y = xRg−1 ⊕ yL−1 f ∀ x, y ∈ S. (G, ⊕) is a universal SRIPL if and only if every isotope (H, ⊗) is a SRIPL. (H, ⊗) is a SRIPL if and only if it has at least a SRIP-subloop (S, ⊗). By Theorem 2.1, for any isotope (H, ⊗) of (G, ⊕), there exists a (G, ◦) such that (H, ⊗) ∼ = (G, ◦). So we can now choose the isomorphic image of (S, ◦) to be (S, ⊗) which is already a SRIP-subloop in (H, ⊗). So, (S, ◦) is also a SRIP-subloop in (G, ◦). As shown in [24], (S, ⊕) and its f, g-isotope(Smarandache f, g-isotope) (S, ◦) are SRIP-subloops if and only if (S, ⊕) is a right Bol subloop(i.e a SRB-subloop). So, (G, ⊕) is SRBL. Conversely, if (G, ⊕) is SRBL, then there exists a SRB-subloop (S, ⊕) in (G, ⊕). If (G, ◦) is an arbitrary f, g-principal isotope of (G, ⊕), then by Lemma 2.1, (S, ◦) is a subloop of (G, ◦) if (S, ◦) is a Smarandache f, g-principal isotope of (S, ⊕). Let us choose all (S, ◦) in this manner.

So, x ◦ y = xRg−1 ⊕ yL−1 f ∀ x, y ∈ S.

By Theorem 2.1, for any isotope (H, ⊗) of (G, ⊕), there exists a (G, ◦) such that (H, ⊗) ∼ = (G, ◦).

So we can now choose the isomorphic image of (S, ◦) to be (S, ⊗) which is a SRB-subloop in (H, ⊗) using the same reasoning in Theorem 3.3. So, (S, ◦) is a SRB-subloop in (G, ◦). Right Bol loops have the right inverse property(RIP), hence, (S, ⊕) and (S, ◦) are SRIP-subloops in (G, ⊕) and (G, ◦) respectively. Thence, (G, ⊕) and (G, ◦) are SRBLs. Therefore, (G, ⊕) is a universal SRIPL.

56

T` em´ıt´ op´ e Gb´ ol´ ah` an Ja´ıy´ eo.l´ a

No. 4

Theorem 3.7.

A Smarandache inverse property loop in which all its f, g-principal isotopes are Smarandache f, g-principal isotopes is universal if and only if it is a Smarandache Moufang loop in which all its f, g-principal isotopes are Smarandache f, g-principal isotopes.

Proof. Let (G, ⊕) be a SIPL with a SIP-subloop (S, ⊕). If (G, ◦) is an arbitrary f, gprincipal isotope of (G, ⊕), then by Lemma 2.1, (S, ◦) is a subloop of (G, ◦) if (S, ◦) is a Smarandache f, g-principal isotope of (S, ⊕). Let us choose all (S, ◦) in this manner. So, x ◦ y = xRg−1 ⊕ yL−1 f ∀ x, y ∈ S. (G, ⊕) is a universal SIPL if and only if every isotope (H, ⊗) is a SIPL. (H, ⊗) is a SIPL if and only if it has at least a SIP-subloop (S, ⊗). By Theorem 2.1, for any isotope (H, ⊗) of (G, ⊕), there exists a (G, ◦) such that (H, ⊗) ∼ = (G, ◦). So we can now choose the isomorphic image of (S, ◦) to be (S, ⊗) which is already a SIP-subloop in (H, ⊗). So, (S, ◦) is also a SIP-subloop in (G, ◦). As shown in [24], (S, ⊕) and its f, g-isotope(Smarandache f, g-isotope) (S, ◦) are SIP-subloops if and only if (S, ⊕) is a Moufang subloop(i.e a SM-subloop). So, (G, ⊕) is SML. Conversely, if (G, ⊕) is SML, then there exists a SM-subloop (S, ⊕) in (G, ⊕). If (G, ◦) is an arbitrary f, g-principal isotope of (G, ⊕), then by Lemma 2.1, (S, ◦) is a subloop of (G, ◦) if (S, ◦) is a Smarandache f, g-principal isotope of (S, ⊕). Let us choose all (S, ◦) in this manner.

So, x ◦ y = xRg−1 ⊕ yL−1 f ∀ x, y ∈ S.

By Theorem 2.1, for any isotope (H, ⊗) of (G, ⊕), there exists a (G, ◦) such that (H, ⊗) ∼ = (G, ◦).

So we can now choose the isomorphic image of (S, ◦) to be (S, ⊗) which is a SM-subloop in (H, ⊗) using the same reasoning in Theorem 3.3. So, (S, ◦) is a SM-subloop in (G, ◦). Moufang loops have the inverse property(IP), hence, (S, ⊕) and (S, ◦) are SIP-subloops in (G, ⊕) and (G, ◦) respectively. Thence, (G, ⊕) and (G, ◦) are SMLs. Therefore, (G, ⊕) is a universal SIPL. Corollary 3.1. If a Smarandache left(right) inverse property loop is universal then µ ¶ −1 −1 −1 −1 −1 −1 −1 −1 ρ ρ ρ (Rg Rf ρ , Lgλ Rg Rf Lf , Rg Rf ) (Rf Lf Lgλ Rg , Lf Lgλ , Lf Lgλ ) is an autotopism of a SLIP(SRIP)-subloop of the SLIPL(SRIPL) such that f and g are Selements.

Proof. This follows by Theorem 3.6 and Theorem 3.1.

Corollary 3.2. If a Smarandache inverse property loop is universal then −1 −1 −1 −1 −1 ρ ρ (Rg L−1 f Lg λ Rg , Lf Rg Rf Lf , Lf Lg λ Rg Rf ), −1 −1 −1 −1 −1 ρ ρ (Rg L−1 f Lg λ Rg , Lf Rg Rf Lf , Rg Rf Lf Lg λ ), −1 −1 −1 −1 ρ (Rg L−1 f Lg λ Rg Rf Rg , Lf Lg λ , Lf Lg λ ), −1 −1 −1 −1 (Rg Rf−1 ρ , Lf Rg Rf ρ Lf Lg λ Lf , Rg Rf ρ ), −1 −1 −1 −1 −1 ρ ρ (Rg L−1 f Lg λ Rg , Lg λ Rg Rf Lg λ , Rg Rf Lf Lg λ ), −1 −1 −1 −1 −1 ρ ρ (Rf ρ L−1 f Lg λ Rf ρ , Lf Rg Rf Lf , Lf Lg λ Rg Rf ),

are autotopisms of a SIP-subloop of the SIPL such that f and g are S-elements.

Proof. This follows from Theorem 3.7 and Theorem 3.4.

Vol. 2

On the universality of some Smarandache loops of Bol-Moufang type

57

References [1] R. Artzy, Crossed inverse and related loops, Trans. Amer. Math. Soc., 91(1959), No. 3, 480-492.

[2] R. H. Bruck, A survey of binary systems, Springer-Verlag, Berlin-G¨ottingen-Heidelberg, 1966, 185.

[3] R. H. Bruck and L. J. Paige, Loops whose inner mappings are automorphisms, The annuals of Mathematics, 63(1956), No. 2, 308-323.

[4] O. Chein, H. O. Pflugfelder and J. D. H. Smith, It quasigroups and loops : Theory and applications, Heldermann Verlag, 1990, 568.

[5] J. D´ene and A. D. Keedwell, Latin squares and their applications, The Academic press Lts, 1974, 549.

[6] F. Fenyves, Extra loops I, Publ. Math. Debrecen, 15 (1968), 235-238.

[7] F. Fenyves, Extra loops II, Publ. Math. Debrecen, 16(1969), 187-192.

[8] E. G. Goodaire, E. Jespers and C. P. Milies, Alternative loop rings, NHMS(184), Elsevier, 1996, 387.

[9] E. G. Goodaire and D. A. Robinson, Some special conjugacy closed loops, Canad. Math.

Bull. 33(1990), 73-78.

[10] T. G. Ja´ıy´eo.l´a, An holomorphic study of the Smarandache concept in loops, Scientia Magna, 2(2006), No. 1, 1-8.

[11] T. G. Ja´ıy´eo.l´ a, Parastrophic invariance of Smarandache quasigroups, Scientia Magna, 2(2006), No. 3, 48-53.

[12] T. G. Ja´ıy´eo.l´a, An isotopic study of properties of central loops, M.Sc. Dissertation, University of Agriculture, Abeokuta, 2005.

[13] T. G. Ja´ıy´eo.l´ a and J. O. Ad´en´ıran, On isotopic characterization of central loops, communicated for publication.

[14] T. Kepka, M. K. Kinyon and J. D. Phillips, F-quasigroups and generalised modules, communicated for publication.

[15] T. Kepka, M. K. Kinyon and J. D. Phillips, F-quasigroups isotopic to groups, communicated for publication.

[16] T. Kepka, M. K. Kinyon and J. D. Phillips, The structure of F-quasigroups, communicated for publication.

[17] M. K. Kinyon, K. Kunen, The structure of extra loops, Quasigroups and Related Systems, 12(2004), 39-60.

[18] M. K. Kinyon, J. D. Phillips and P. Vojtˇechovsk´ y, Loops of Bol-Moufang type with a subgroup of index two, Bull. Acad. Stinte. Rebub. Mold. Mat. 2(2004), No. 45, 1-17.

[19] K. Kunen, Quasigroups, loops and associative laws, J. Alg. 185(1996), 194-204.

[20] K. Kunen, Moufang quasigroups, J. Alg. 183(1996), 231-234.

[21] A. S. Muktibodh, Smarandache quasigroups, Scientia Magna Journal, 2(2006), No. 1, 13-19.

[22] P. T. Nagy and K. Strambach, Loops as invariant sections in groups, and their geometry, Canad. J. Math. 46(1994), No. 5, 1027-1056.

58

T` em´ıt´ op´ e Gb´ ol´ ah` an Ja´ıy´ eo.l´ a

No. 4

[23] J. M. Osborn, Loops with the weak inverse property, Pac. J. Math. 10(1961), 295-304.

[24] H. O. Pflugfelder, Quasigroups and loops : Introduction, Sigma series in Pure Math.

7, Heldermann Verlag, Berlin, 1990, 147.

[25] J. D. Phillips and P. Vojtˇechovsk´ y, The varieties of loops of Bol-Moufang type, Algebra Universalis, 53(2005), No. 3, 115-137.

[26] J. D. Phillips and P. Vojtˇechovsk´ y, The varieties of quasigroups of Bol-Moufang type: An equational approach, J. Alg. 293(2005), 17-33.

[27] W. B. Vasantha Kandasamy, Smarandache loops, Department of Mathematics, Indian Institute of Technology, Madras, India, 2002, 128.

[28] W. B. Vasantha Kandasamy, Smarandache Loops, Smarandache notions journal, 13 (2002), 252-258.