Printer Friendly

An holomorphic study of Smarandache automorphic and cross inverse property loops.

By studying the holomorphic structure of automorphic inverse property quasigroups and loops[AIPQ and (AIPL)] and cross inverse property quasigroups and loops[CIPQ and (CIPL)], it is established that the holomorph of a loop is a Smarandache; AIPL, CIPL, Kloop, Bruck-loop or Kikkawa-loop if and only if its Smarandache automorphism group is trivial and the loop is itself is a Smarandache; AIPL, CIPL, K-loop, Bruck-loop or Kikkawa-loop.

Keywords Smarandache loop, holomorph of loop, automorphic inverse property loop (AIPL), cross inverse property loop(CIPL), K-loop, Bruck-loop, Kikkawa-loop.

[section] 1. Introduction

1.1 Quasigroups and loops

Let L be a non-empty set. Define a binary operation (.) on L : If x * [member of] L for all x, y [member of] L, (L, *) is called a groupoid. If the system of equations

a*x=b and y*a=b

have unique solutions for x and y respectively, then (L,) is called a quasigroup. For each x [member of] L, the elements [x.sup.P] = x[J.sub.P], [x.sup.[lambda] = x[J.sub.[lambda][member of] L such that x[x.sup.P] = [e.sup.P] and [x.sup.[lambda]]x = [e.sup.[lambda]] are called the right, left inverses of x respectively. Now, if there exists a unique element e [member of] L called the identity element such that for all x [member of] L, x * e = e * x = x, (L, *) is called a loop. To every loop (L, *) with automorphism group AU M (L, *), there corresponds another loop. Let the set H = (L, *) X AU M(L, *). If we define 'o' on H such that ([alpha], x) o ([beta], y) = ([alpha][beta], x[beta], * y) for all ([alpha], x), ([beta], y)[member of] H, then H(L, *) = (H, o) is a loop as shown in Bruck [7] and is called the Holomorph of (L, *). A loop (quasigroup) is a weak inverse property loop (quasigroup)[WIPL(WIPQ)] if and only if it obeys the identity

x[(yx).sup.P] = [y.sup.P] or [(xy).sub.[lambda]]X = [y.sup.[lambda]].

A loop (quasigroup) is a cross inverse property loop (quasigroup) [CIPL(CIPQ)] if and only if it obeys the identity

xy*[x.sup.p] = y or x*y[x.sup.P] = y or [x.sup.[lambda]] * (yx) = y or [x.sup[lambda]y * x = y.

A loop (quasigroup) is an automorphic inverse property loop (quasigroup) [AIPL (AIPQ) ] if and only if it obeys the identity

[(xy).sup.P]=[x.sup.p][y.sup.p] or [(xy).sup.[lambda]]=[x.sup.[lambda]][y.sup.[lambda]]

Consider (G, *) and (H, o) being two distinct groupoids(quasigroups, loops). Let A, B and C be three distinct non-equal bijective mappings, that maps G onto H. The triple [alpha] = (A, B, C) is called an isotopism of (G, *) onto (H, o) if and only if

xA o yB = (x * y)C [for all] x, y [member of] G.

The set SYM(G, *) = SY M(G) of all bijections in a groupoid (G, *) forms a group called the permutation (symmetric) group of the groupoid (G, *). If (G, *) (H, o), then the triple [alpha] = (A, B, C) of bijections on (G, *) is called an autotopism of the groupoid(quasigroup, loop) (G, *). Such triples form a group AUT(G, *) called the autotopism group of (G, *). Furthermore, if A = B = C, then A is called an automorphism of the groupoid(quasigroup, loop) (G, *). Such bijections form a group AU M(G, *) called the automorphism group of (G, *).

The left nucleus of L denoted by [N.sub.lambda] (L, *) = {a [member of] L : ax * y = a * xy [for all] x, y [member of] L}. The right nucleus of L denoted by [N.sub.p](L, *) = {a [member of] L : y * xa = yx * a [for all] x, y [member of] L}. The middle nucleus of L denoted by [N.sub.[micro] (L, *) = {a [member of] L : ya * x = y * ax [for all] x, y [member of] L}. The nucleus of L denoted by N(L, *) = [N.sub.[lambda]](L, *)[intersection] [N.sub.p](L, *) [intersection] [N.sub.[micro]] (L, *). The centrum of L denoted by C(L, *) = {a [member of] L : ax = xa [intersection] x [member of] L}. The center of L denoted by Z(L, *) = N(L, *) [intersection] C(L, *).

As observed by Osborn [22], a loop is a WIPL and an AIPL if and only if it is a CIPL. The past efforts of Artzy [2], [3], [4] and [5], Belousov and Tzurkan [6] and recent studies of Keedwell [17], Keedwell and Shcherbacov [18], [19]and [20] are of great significance in the study of WIPLs, AIPLs, CIPQs and CIPLs, their generalizations (1.e m-inverse loops and quasigroups, (r,s,t)-inverse quasigroups) and applications to cryptography. For more on loops and their properties, readers should check [8], [10], [12], [13], [27] and [24].

Interestingly, Adeniran [1] and Robinson [25], Oyebo and Adeniran [23], Chiboka and Solarin [11], Bruck [7], Bruck and Paige [9], Robinson [26], Huthnance [14] and Adeniran [1] have respectively studied the holomorphs of Bol loops, central loops, conjugacy closed loops, inverse property loops, A-loops, extra loops, weak inverse property loops, Osborn loops and Bruck loops. Huthnance [14] showed that if (L, *) is a loop with holomorph (H, o), (L, -) is a WIPL if and only if (H, o) is a WIPL. The holomorphs of an AIPL and a CIPL are yet to be studied.

For the definitions of inverse property loop (IPL), Bol loop and A--loop readers can check earlier references on loop theory.

Here, a K--loop is an A--loop with the AIP, a Bruck loop is a Bol loop with the AIP and a Kikkawa loop is an A--loop with the IP and AIR

1.2 Smarandache quasigroups and loops

The study of Smarandache loops was initiated by W. B. Vasantha Kandasamy 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. In [16], the present author defined a Smarandache quasigroup (S--quasigroup) to be a quasigroup with at least a non-trivial associative subquasigroup called a Smarandache subsemigroup (S--subsemigroup). Examples of Smarandache quasigroups are given in Muktibodh [21]. In her book, she introduced over 75 Smarandache concepts on loops. In her first paper [28], on the study of Smarandache notions in algebraic structures, she introduced Smarandache : left(right) alternative loops, Bol loops, Moufang loops, and Bruck loops. But in [15], the present author introduced Smarandache inverse property loops (IPL), weak inverse property loops (WIPL), G--loops, conjugacy closed loops (CC--loop), central loops, extra loops, A--loops, K--loops, Bruck loops, Kikkawa loops, Burn loops and homogeneous loops.

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 K--loop(SKL) if it has at least a non-trivial subloop that is a K--loop.

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

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

If L is a S--groupoid with a S-subsemigroup H, then the set SSYM(L, *) = SSYM(L) of all bijections A in L such that A : H [right arrow] H forms a group called the Smarandache permutation(symmetric) group of the S--groupoid. In fact, SSYM(L) [less than or equal to] SY M(L).

The left Smarandache nucleus of L denoted by S[N.sub.[lambda]]A(L, *) = [N.sub.[lambda]] (L, *) [intersection] H. The right Smarandache nucleus of L denoted by S[N.sub.p](L, *) = [N.sub.p](L, *) [intersection] H. The middle Smarandache nucleus of L denoted by S[N.sub.[micro] (L, *) = [N.sub.p] (L, *) [intersection] H. The Smarandache nucleus of L denoted by SN(L, *) = N(L, *) [intersection] H. The Smarandache centrum of L denoted by SC(L, *) = C(L, *) [intersection] H. The Smarandache center of L denoted by SZ(L, *) = Z(L, -) [intersection] H.

Definition 1.1. Let (L, *) and (G, o) be two distinct groupoids that are isotopic under a triple (U, V, W). Now, if (L, *) and (G, o) are S--groupoids with S-subsemigroups L' and G' respectively such that A : L' [right arrow] G', where A [member of] {U, V, W}, then the isotopism (U, V, W): (L, *) [right arrow] (G, o) is called a Smarandache isotopism(S--isotopism).

Thus, if U = V = W, then U is called a Smarandache isomorphism, hence we write (L, *) [?] (G, o).

But if (L, *) = (G, o), then the autotopism (U, V, W) is called a Smarandache autotopism (S--autotopism) and they form a group SAUT (L, *) which will be called the Smarandache autotopism group of (L, *). Observe that SAUT(L, *) [less than or equal to] AUT(L, *). Furthermore, if U = V = W, then U is called a Smarandache automorphism of (L, *). Such Smarandache permutations form a group SAU M(L, *) called the Smarandache automorphism group(SAG) of (L, *).

Let L be a S--quasigroup with a S--subgroup G. Now, set [H.sub.S] = (G, *) x SAUM(L, *). If we define 'o' on [H.sub.S] such that ([alpha], x) o ([beta], y) ([alpha][beta], x[beta] * y) for all ([alpha], x), ([beta], y) [member of] [H.sub.s], then [H.sub.S](L, *) ([H.sub.S], o) is a quasigroup.

If in L, [s.sup.[lambda]] * s[alpha] [member of] SN(L) or s[alpha] * [s.sup.P] [member of] SN(L) [for all]s [member of] G and [alpha] [member of] SAU M(L, *), ([H.sub.S], o) is called a Smarandache Nuclear--holomorph of L, if [s.sup.[lambda]]. s[alpha] [member of] SC(L) or s[alpha] * [s.sup.P] [member of] SC(L) [for all] s [member of] G and [alpha] [member of] SAU M(L, *), ([H.sub.S], o) is called a Smarandache Centrum--holomorph of L hence a Smarandache Central--holomorph if [s.sup.[lambda]] * s[alpha] [member of] SZ(L) or s[alpha] * [s.sup.P] [member of] SZ(L) [for all] s [member of] G and [alpha] [member of] SAU M(L, *).

The aim of the present study is to investigate the holomorphic structure of Smarandache AIPLs and CIPLs(SCIPLs and SAIPLs) and use the results to draw conclusions for Smarandache K--loops(SKLs), Smarandache Bruck--loops(SBRLs) and Smarandache Kikkawaloops (SKWLs). This is done as follows.

1. The holomorphic structure of AIPQs(AIPLs) and CIPQs(CIPLs) are investigated. Necessary and sufficient conditions for the holomorph of a quasigroup(loop) to be an AIPQ(AIPL) or CIPQ(CIPL) are established. It is shown that if the holomorph of a quasigroup(loop) is a AIPQ(AIPL) or CIPQ(CIPL), then the holomorph is isomorphic to the quasigroup(loop). Hence, the holomorph of a quasigroup(loop) is an AIPQ(AIPL) or CIPQ(CIPL) if and only if its automorphism group is trivial and the quasigroup(loop) is a AIPQ(AIPL) or CIPQ(CIPL). Furthermore, it is discovered that if the holomorph of a quasigroup(loop) is a CIPQ(CIPL), then the quasigroup(loop) is a flexible unipotent CIPQ(flexible CIPL of exponent 2).

2. The holomorph of a loop is shown to be a SAIPL, SCIPL, SKL, SBRL or SKWL respectively if and only its SAG is trivial and the loop is a SAIPL, SCIPL, SKL, SBRL, SKWL respectively.

[section] 2. Main results

Theorem 2.1. Let (L,*) be a quasigroup(loop) with holomorph H(L). H(L) is an AIPQ(AIPL) if and only if

1. AUM(L) is an abelian group,

2. ([[beta].sup.-1], [alpha], I) [member of] AUT(L) [for all] [alpha], [beta] [member of] AUM(L) and

3. L is a AIPQ(AIPL).

Proof. A quasigroup(loop) is an automorphic inverse property loop(AIPL) if and only if it obeys the AIP identity.

Using either of the definitions of an AIPQ(AIPL), it can be shown that H(L) is a AIPQ(AIPL) if and only if AUM(L) is an abelian group and ([[beta].sup.-1], [J.sub.[rho]],[alpha] [J.sub.[rho]])[J.sub.[rho]] [member of] AUT(L) [for all] [alpha], [beta] [member of] AUM(L). L is isomorphic to a subquasigroup(subloop) of H(L), so L is a AIPQ(AIPL) which implies ([J.sub.[rho]], [J.sub.[rho]], [J.sub.[rho]]) [meber of] AUT(L). So, ([[beta].sup.-1], [alpha],I) [meber of] AUT(L) [for all] [alpha],[beta][meber of] AUM(L).

Corollary 2.1. Let (L, *) be a quasigroup(loop) with holomorph H(L). H(L) is a CIPQ(CIPL) if and only if

1. AUM(L) is an abelian group,

2. ([[beta].sup.-1],[alpha], I) [meber of] AUT(L) [for all] [alpha],[beta] [member of] AUM(L) and

3. Lisa CIPQ(CIPL).

Proof. A quasigroup(loop) is a CIPQ(CIPL) if and only if it is a WIPQ(WIPL) and an AIPQ(AIPL). L is a WIPQ(WIPL) if and only if H(L) is a WIPQ(WIPL).

If H(L) is a CIPQ(CIPL), then H(L) is both a WIPQ(WIPL) and a AIPQ(AIPL) which implies 1., 2., and 3. of Theorem 2.1. Hence, L is a CIPQ(CIPL). The converse follows by just doing the reverse.

Corollary 2.2. Let (L, .) be a quasigroup(loop) with holomorph H(L).

If H(L) is an AIPQ(AIPL) or CIPQ(CIPL), then H(L) [congruent to] L.

Proof. By 2. of Theorem 2.1, ([[beta].sup.-1],[alpha], I) [meber of] AUT(L) [for all] [alpha],[beta] [meber of] AUM(L) implies [chi] [[beta].sup.-1]*y [alpha] = [chi]* y which means [alpha], [beta] = I by substituting [chi] = e and y = e. Thus, AUM(L) = {I} and so H(L) [congruent to] L.

Theorem 2.2. The holomorph of a quasigroup(loop) L is a AIPQ(AIPL) or CIPQ(CIPL) if and only if AUM(L) = {I} and L is a AIPQ(AIPL) or CIPQ(CIPL).

Proof. This is established using Theorem 2.1, Corollary 2.1 and Corollary 2.2.

Theorem 2.3. Let (L, -) be a quasigroup(loop) with holomorph H(L). H(L) is a CIPQ(CIPL) if and only if AUM(L) is an abelian group and any of the following is true for all [chi], y [member of] L and [alpha], [beta], [member of] AUM(L).

1. ([chi][beta] * y) [[chi].sup.[rho]]= y [alpha].

2. [chi][beta] * y [chi][rho] = y [alpha].

3. ([chi][lamda][[alpha].sup.-1] [beta] [alpha] * y [alpha]) * [chi] = y.

4. [chi][lamda][[alpha].sup.-1] [beta][alpha] * (y [alpha] * [chi]) = y.

Proof. This is achieved by simply using the four equivalent identities that define a CIPQ(CIPL):

Corollary 2.3. Let (L, -) be a quasigroups(loop) with holomorph H(L).

If H(L) is a CIPQ(CIPL) then, the following are equivalent to each other

1. ([[beta].sup.-1][J.sub.[rho], [alpha][J.sub.[rho]], [J.sub.[rho])[member of] AUT(L) [for all] [alpha], [beta] [member of] AUM(L).

2. ([[beta].sup.-1] [J.sub.[lamda], [alpha] [J.sub.[lamda],[J.sub.[lamda])[member of] AUT(L)[for all] [alpha],[beta], [member of] AUM(L).

3. ([chi][beta]* y)[[chi].sup.][rho] = y [alpha].

4. [chi][beta]* y [[chi].sup.[rho]] = y [alpha].

5. ([[chi].sup.[lamda]][[alpha].sup.-1][beta][alpha] * y [alpha]) * x = y.

6. [[chi].sup.[lamda][alpha].sup.-1] [beta][alpha] * (y [alpha] * x) = y.

Hence, ([beta],[alpha], I), ([alpha], [beta], I), ([beta], I, [alpha]), (I, [alpha], [beta]) [member of] AUT(L) [for all] [alpha], [beta] [member of] AUM(L).

Proof. The equivalence of the six conditions follows from Theorem 2.3 and the proof of Theorem 2.1. The last part is simple.

Corollary 2.4. Let (L, *) be a quasigroup(loop) with holomorph H(L).

If H(L) is a CIPQ(CIPL) then, L is a flexible unipotent CIPQ(flexible CIPL of exponent 2).

Proof. It is observed that [J.sub.[rho] = [J.sub.[lamda] = I. Hence, the conclusion follows.

Remark. The holomorphic structure of loops such as extra loop, Bol-loop, C-loop, CCloop and A-loop have been found to be characterized by some special types of automorphisms such as

1. Nuclear automorphism(in the case of Bol-,CC- and extra loops),

2. central automorphism(in the case of central and A-loops).

By Theorem 2.1 and Corollary 2.1, the holomorphic structure of AIPLs and CIPLs is characterized by commutative automorphisms.

Theorem 2.4. The holomorph H(L) of a quasigroup(loop) L is a Smarandache AIPQ(AIPL) or CIPQ(CIPL) if and only if SAUM(L) = {I} and L is a Smarandache AIPQ(AIPL) or CIPQ(CIPL).

Proof. Let L be a quasigroup with holomorph H(L). If H(L) is a SAIPQ(SCIPQ), then there exists a S-subquasigroup HS(L) C H(L) such that Hs(L) is a AIPQ(CIPQ). Let Hs(L) G x SAUM(L) where G is the S-subquasigroup of L. From Theorem 2.2, it can be seen that Hs(L) is a AIPQ(CIPQ) if and only if SAUM(L) = {I} and G is a AIPQ(CIPQ). So the conclusion follows.

Corollary 2.5. The holomorph H(L) of a loop L is a SKL or SBRL or SKWL if and only if SAUM(L) = {I} and L is a SKL or SBRL or SKWL.

Proof. Let L be a loop with holomorph H(L). Consider the subloop [H.sub.s](L) of H(L) such that [H.sub.s](L) = G x SAUM(L) where G is the subloop of L.

1. Recall that by [Theorem 5.3, [9]], Hs(L) is an A-loop if and only if it is a Smarandache Central-holomorph of L and G is an A-loop. Combing this fact with Theorem 2.4, it can be concluded that: the holomorph H(L) of a loop L is a SKL if and only if SAUM(L) {I} and L is a SKL.

2. Recall that by [25] and [1], Hs(L) is a Bol loop if and only if it is a Smarandache Nuclearholomorph of L and G is a Bol-loop. Combing this fact with Theorem 2.4, it can be concluded that: the holomorph H(L) of a loop L is a SBRL if and only if SAUM(L) {I} and L is a SBRL.

3. Following the first reason in 1., and using Theorem 2.4, it can be concluded that: the holomorph H(L) of a loop L is a SKWL if and only if SAUM(L) = {I} and L is a SKWL.

References

[1] J. O. Adeniran, On holomorphic theory of a class of left Bol loops, A1.I.Cuza 51, 1(2005), 23-28.

[2] R. Artzy, On loops with special property, Proc. Amer. Math. Soc., 6(1955), 448-453.

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

[4] R. Artzy, On Automorphic-Inverse Properties in Loops, Proc. Amer. Math. Soc., 10(1959), No.4, 588-591.

[5] R. Artzy, Inverse-Cycles in Weak-Inverse Loops, Proc. Amer. Math. Soc., 68(1978), No.2, 132-134.

[6] V. D. Belousov, Crossed inverse quasigroups(CI-quasigroups), Izv. Vyss. Ucebn; Zaved. Matematika, 82(1969), 21-27.

[7] R. H. Bruck, Contributions to the theory of loops, Trans. Amer. Math. Soc., 55(1944), 245-354.

[8] R. H. Bruck, A survey of binary systems, Springer-Verlag, Berlin- Gottingen-Heidelberg, 1966, 185.

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

[10] O. Chein, H. O. Pflugfelder and J. D. H. Smith, Quasigroups and Loops, Theory and Applications, Heldermann Verlag, 1990, 568.

[11] V. O. Chiboka and A. R. T. Solarin, Holomorphs of conjugacy closed loops, Scientific Annals of A1.I.Cuza. Univ., 37(1991), No.3, 277-284.

[12] J. Dene and A. D. Keedwell, Latin squares and their applications, the English University press Lts., 1974, 549.

[13] E. G. Goodaire, E. Jespers and C. P. Milles, Alternative Loop Rings, NHMS(184), Elsevier, 1996, 387.

[14] E. D. Huthnance Jr., A theory of generalised Moufang loops, Ph.D. thesis, Georgia Institute of Technology, 1968.

[15] T. G. Jaiyeola , An holomorphic study of the Smarandache concept in loops, Scientia Magna Journal, 2(2006), No.l, 1-8.

[16] T. G. Jaiyeola, Parastrophic invariance of Smarandache quasigroups, Scientia Magna Journal, 2(2006), No.3, 48-53.

[17] A. D. Keedwell, Crossed-inverse quasigroups with long inverse cycles and applications to cryptography, Australas. J. Combin., 20(1999), 241-250.

[18] A. D. Keedwell and V. A. Shcherbacov, it On m-inverse loops and quasigroups with a long inverse cycle, Australas. J. Combin., 26(2002), 99-119.

[19] A. D. Keedwell and V. A. Shcherbacov, Construction and properties of (r, s, t)-inverse quasigroups I, Discrete Math. 266(2003), 275-291.

[20] A. D. Keedwell and V. A. Shcherbacov, Construction and properties of (r, s, t)-inverse quasigroups II, Discrete Math. 288(2004), 61-71.

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

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

[23] Y. T. Oyebo and O. J. Adeniran, On the holomorph of central loops, Pre-print.

[24] H. O. Pflugfelder, Quasigroups and Loops, Introduction, Sigma series in Pure Math.7, Heldermann Verlag, Berlin, 1990, 147.

[25] D. A. Robinson, Bol loops, Ph. D thesis, University of Wisconsin, Madison, Wisconsin, 1964.

[26] D. A. Robinson, Holomorphic theory of extra loops, Publ. Math. Debrecen, 18(1971), 59-64.

[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.

Temitope Gbolahan Jaiyeola

Department of Mathematics, Obafemi Awolowo University, Ile Ife, Nigeria.

Email: jaiyeolatemitope@yahoo.com/tjayeola@oauife.edu.ng
COPYRIGHT 2008 American Research Press
No portion of this article can be reproduced without the express written permission from the copyright holder.
Copyright 2008 Gale, Cengage Learning. All rights reserved.

Article Details
Printer friendly Cite/link Email Feedback
Author:Jaiyeola, Temitope Gbolahan
Publication:Scientia Magna
Article Type:Report
Geographic Code:6NIGR
Date:Jan 1, 2008
Words:3628
Previous Article:On a class of q-valent meromorphic functions with positive coefficients.
Next Article:An equation involving Euler's [phi] function.
Topics:

Terms of use | Privacy policy | Copyright © 2019 Farlex, Inc. | Feedback | For webmasters