×

Holomorphy of Osborn loops. (English) Zbl 1513.20082

Summary: Let \((L, \cdot )\) be any loop and let \(A(L)\) be a group of automorphisms of \((L, \cdot )\) such that \(\alpha\) and \(\phi\) are elements of \(A(L)\). It is shown that, for all \(x, y, z \in L\), the \(A(L)\)-holomorph \((H, \circ) = H(L)\) of \((L, \cdot )\) is an Osborn loop if and only if \(x \alpha(yz \cdot x \phi^{-1} ) = x \alpha (yx^\lambda \cdot x) \cdot zx \phi^{-1} \). Furthermore, it is shown that for all \(x \in L\), \(H(L)\) is an Osborn loop if and only if \((L, \cdot )\) is an Osborn loop, \((x \alpha \cdot x^\rho )x = x \alpha\), \(x(x^\lambda \cdot x \phi^{-1} ) = x \phi^{-1}\) and every pair of automorphisms in \(A(L)\) is nuclear (i.e. \(x \alpha \cdot x^\rho\), \(x^\lambda \cdot x \phi \in N(L, \cdot)\)). It is shown that if \(H(L)\) is an Osborn loop, then \(A(L, \cdot ) = \mathcal{P} (L, \cdot) \cap \Lambda (L, \cdot) \cap \Phi (L, \cdot) \cap \Psi (L, \cdot )\) and for any \(\alpha \in A(L)\), \(\alpha = L_{e\pi } = R_{e\varrho }^{ - 1}\) for some \(\pi \in \Phi (L, \cdot )\) and some \(\varrho \in \Psi (L, \cdot )\). Some commutative diagrams are deduced by considering isomorphisms among the various groups of regular bijections (whose intersection is \(A(L)\)) and the nucleus of \((L, \cdot )\).

MSC:

20N05 Loops, quasigroups

References:

[1] J. O. Adéníran, On holomorphic theory of a class of left Bol loops, Al.I.Cuza, 51(1), (2005), 23-28 · Zbl 1150.20318
[2] J. O. Adéníran and A. O. Isere, Nuclear Automorphism of a class of Osborn Loops, Journal of the Nigerian Association of Mathematical Physics, 22, (2012), 5-8
[3] J. O. Adéníran, Y. T. Oyebo, and D. Mohammed, On certain isotopic maps of central loops, Proyecciones Journal of Mathematics, 30(3), (2012), 303-318 · Zbl 1244.20058
[4] J. O. Adéníran, T. G. Jaiyéọlá, and K. A. Idowu, Holomorph of generalized Bol loops, Novi Sad Journal of Mathematics, 44 (1), (2014), 37-51 · Zbl 1474.20149
[5] A. S. Basarab, The Osborn loop, Studies in the theory of quasigroups and loops, Shtiintsa, Kishinev, 193, (1973), 12-18
[6] A. S. Basarab, Osborn’s G-loop, Quasigroups and Related Systems, 1(1), (1994), 51-56 · Zbl 0951.20506
[7] A. S. Basarab, Generalised Moufang G-loops, Quasigroups and Related Systems, 3, (1996), 1-6 · Zbl 0944.20051
[8] A. S. Basarab and A.I. Belioglo, UAI Osborn loops, Quasigroups and loops, Mat. Issled., 51, (1979), 8-16 · Zbl 0439.20051
[9] A. S. Basarab and A. I. Belioglo, Univeral automorphic inverse G-loops, Quasigroups and loops, Mat. Issled., 71, (1979), 3-7 · Zbl 0445.20050
[10] R. H. Bruck, Contributions to the theory of loops, Trans. Amer. Math. Soc., 55, (1944), 245-354 · Zbl 0061.02201
[11] R. H. Bruck and L. J. Paige, Loops whose inner mappings are automorphisms, The annuals of Mathematics, 63(2), (1956), 308-323 · Zbl 0074.01701
[12] O. Chein and D. A. Robinson, An extra law for characterizing Moufang loops, Proc. Amer. Math. Soc., 33, (1972), 29-32 · Zbl 0215.40302
[13] V. O. Chiboka, The study of properties and construction of certain finite order G-loops, Ph.D thesis, Obafemi Awolowo University, Ile-Ife, 1990
[14] V. O. Chiboka and A. R. T. Solarin, Holomorphs of conjugacy closed loops, Scientific Annals of Al.I.Cuza. Univ., 37(3), (1991), 277-284 · Zbl 0799.20066
[15] V. O. Chiboka and A. R. T. Solarin, Autotopism characterization of G-loops, Scientific Annals of Al.I.Cuza. Univ., 39(1), (1993), 19-26 · Zbl 0843.20052
[16] P. Csörgő, Extending the structural homomorphism of LCC loops, Comment. Math. Univ. Carolinae, 46(3), (2005), 385-389 · Zbl 1106.20051
[17] P. Csörgő and A. Drápal, Left conjugacy closed loops of nilpotency class 2, Results Math., 47, (2005), 242-265 · Zbl 1097.20053
[18] A. Drápal, Conjugacy closed loops and their multiplication groups, J. Alg., 272, (2004), 838-850 · Zbl 1047.20049
[19] A. Drápal, On multiplicatipon groups of left conjugacy closed loops, Comment. Math. Univ. Carolinae, 45, (2004), 223-236 · Zbl 1101.20035
[20] A. Drápal, On left conjugacy closed loops with a nucleus of index two, Abh. Math. Sem. Univ. Hamburg, 74, (2004), 205-221 · Zbl 1084.20043
[21] A. Drápal, Structural interactions of conjugacy closed loops, Trans. Amer. Math. Soc., 360, (2008), 671-689 · Zbl 1144.20043
[22] A. Drápal, On extraspecial left conjugacy closed loops, J. Alg., 302(2), (2006), 771-792 · Zbl 1109.20056
[23] E. D. Huthnance Jr., A theory of generalised Moufang loops, Ph.D. thesis, Georgia Institute of Technology, (1968)
[24] A. O. Isere, S. A. Akinleye, and J. O. Adéníran, On Osborn loops of Order 4n, Acta Universitatis Apulensis Maths. Inform. No., 37, (2014), 31-44 · Zbl 1340.20069
[25] A. O. Isere, J. O. Adéníran, and T. G. Jaiyéọlá, Generalized Osborn Loops of Order 4n, Acta Universitatis Apulensis Maths. Inform. No., 43, (2015), 19-31 · Zbl 1374.20071
[26] A. O. Isere, J. O. Adéníran, and T. G. Jaiyéọlá, Classification of Osborn loops of order 4n, Algebras, Groups and Geometries, to appear · Zbl 1451.20012
[27] A. O. Isere, J. O. Adéníran, and A. R. T. Solarin, Some examples of finite Osborn loops, Journal of Nigerian Mathematical Society, 31, (2012), 91-106 · Zbl 1294.20078
[28] T. G. Jaiyéọlá, The study of the universality of Osborn loops, Ph.D. thesis, University of Agriculture, 2008 Abeokuta. · Zbl 1274.20091
[29] T. G. Jaiyéọlá, On Three Cryptographic Identities in Left Universal Osborn Loops, Journal of Discrete Mathematical Science and Cryptography, 14(1), (2011), 33-50 (DOI:10.1080/09720529.2011.10698322) · Zbl 1216.20061
[30] T. G. Jaiyéọlá, Osborn loops and their universality, Scientific Annals of “Al.I. Cuza” University of Iasi., Tomul, 58(2), (2012), 437-452 · Zbl 1289.20097
[31] T. G. Jaiyéọlá, New identities in universal Osborn loops II, Algebras, Groups and Geometries, 30(1), (2013), 111-126 · Zbl 1295.20072
[32] T. G. Jaiyéọlá, On Two Cryptographic Identities in Universal Osborn Loops, Journal of Discrete Mathematical Sciences and Cryptography, 16(2-3), (2013), 95-116 (DOI:10.1080/09720529.2013.821371) · Zbl 1348.94060
[33] T. G. Jaiyéọlá, On some simplicial complexes of universal Osborn loops, Analele Universitatii De Vest Din Timisoara, Seria Matematica-Informatica, 52(1), (2014), 65-79 (DOI: 10.2478/awutm-2014-0005) · Zbl 1349.20072
[34] T. G. Jaiyéọlá and B. A. Popoola, Holomorph of generalized Bol loops II, Discussiones Mathematicae-General Algebra and Applications, 35(1), (2015), 59-78 (doi:10.7151/dmgaa.1234) · Zbl 1463.20099
[35] T. G. Jaiyéọlá and J. O. Adéníran, New identities in universal Osborn loops, Quasigroups and Related Systems, Moldova, 179(1), (2009), 55-76 · Zbl 1193.20074
[36] T. G. Jaiyéọlá and J. O. Adéníran, Not Every Osborn loop is universal, Acta Math. Acad. Paed. Nviregvhaziensis, 25, (2009), 189-190 · Zbl 1208.20065
[37] T. G. Jaiyéọlá and J. O. Adéníran, Loops that are isomorphic to their Osborn loop isotopes(G-Osborn loops), Octogon Mathematical Magazine, 19(2), (2011), 328-348
[38] T. G. Jaiyéọlá and J. O. Adéníran, On Another Two Cryptographic Identities In Universal Osborn Loops, Surveys in Mathematics and its Applications, 5, (2010), 17-34 · Zbl 1214.20063
[39] T. G. Jaiyéọlá, J. O. Adéníran, and A. R. T. Sòlárìn, The universality of Osborn loops, Acta Universitatis Apulensis Mathematics-Informatics, 26, (2011), 301-320 · Zbl 1274.20091
[40] T. G. Jaiyéọlá, J. O. Adéníran, and A. R. T. Sòlárìn, Some necessary conditions for the existence of a finite Osborn loop with trivial nucleus, Algebras, Groups and Geometries, 28(4), (2011), 363-380 · Zbl 1279.20081
[41] T. G. Jaiyéọlá, J. O. Adéníran, and A. A. A. Agboọlá, On the second Bryant Schneider group of universal Osborn loops, Societatea Română de Matematică Aplicată si Industrială Journal (ROMAI J.), 9(1), (2013), 37-50 · Zbl 1295.20073
[42] M. K. Kinyon, A survey of Osborn loops, Milehigh conference on loops, quasigroups and non-associative systems, University of Denver, Denver, Colorado, (2005)
[43] M. K. Kinyon and K. Kunen, The structure of extra loops, Quasigroups and Related Systems, 12, (2004), 39-60 · Zbl 1076.20065
[44] M. K. Kinyon and K. Kunen, Power-associative conjugacy closed loops, J. Alg., 304(2), (2006), 679-711 · Zbl 1109.20057
[45] M. K. Kinyon, K. Kunen, and J. D. Phillips, Diassociativity in conjugacy closed loops, Comm. Alg., 32, (2004), 767-786 · Zbl 1077.20076
[46] M.K. Kinyon, K. Kunen, and J.D. Phillips, A generalisation of Moufang and Steiner loops, Alg. Univer., 48(1), (2002), 81-101 · Zbl 1058.20057
[47] K. Kunen, G-loops and Permutation Groups, J. Alg., 220, (1999), 694-708 · Zbl 0944.20056
[48] K. Kunen, The structure of conjugacy closed loops, Trans. Amer. Math. Soc., 352, (2000), 2889-2911 · Zbl 0962.20048
[49] J. M. Osborn, A theorem on A-loops, Proc. Amer. Math. Soc., 9, (1959), 347-349 · Zbl 0097.25302
[50] J. M. Osborn, Loops with the weak inverse property, Pac. J. Math., 10, (1961), 295-304 · Zbl 0091.02101
[51] H. O. Pflugfelder, Quasigroups and loops : Introduction, Sigma series in Pure Math. 7, Heldermann Verlag, Berlin, 1990 · Zbl 0715.20043
[52] D. A. Robinson, Bol loops, Ph. D thesis, University of Wisconsin, 1964 · Zbl 0163.02001
[53] D. A. Robinson, Holomorphic theory of extra loops, Publ. Math. Debrecen, 18, (1971), 59-64 · Zbl 0251.20073
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.