×

zbMATH — the first resource for mathematics

On finite loops whose inner mapping groups are Abelian. (English) Zbl 1012.20068
Given a loop \((Q,\cdot)\), for any \(a\in Q\) let \(L_a\) and \(R_a\) be the left and the right translations by \(a\) and let \(M(Q):=\langle\{L_a,R_a\mid a\in Q\}\rangle\) be the multiplication group of \((Q,\cdot)\). If we denote by \(I(Q):=\{\gamma\in M(Q)\mid\gamma(e)=e\}\) (where \(e\) is the neutral element of the loop), then \(I(Q)\) is the so-called inner mapping group of the loop \((Q,\cdot)\) (if \((Q,\cdot)\) is a group \(I(Q)\) coincides with the inner automorphism group of \(Q\)). In this paper the author investigates the structure of \(I(Q)\) in particular, he addresses the problem of finding classes of finite Abelian groups possibly isomorphic to \(I(Q)\), generalizing the analogous problem for groups which has been completely solved by Baer (see the reference quoted in the note).
The author reaches the following results: For a finite loop \((Q,\cdot)\): 1. \(I(Q)\) is never isomorphic to the direct product \(C_{p^k}\times C_p\), where \(p\) is an odd prime number and \(k\geq 2\) (\(C_n\) denotes the cyclic group of order \(n\)). 2. \(I(Q)\) is never isomorphic to \((C_{p^k}\times C_p)\times D\) where \(D\) is an Abelian \(q\)-group and \(p\) and \(q\) are two prime numbers such that \(p\) is odd and \(q\) does not divide \(|Q|\), and \(k\geq 2\).
These results are obtained by resorting to general group theoretical techniques via a crucial link provided by a theorem which allows a group \(G\) to be isomorphic to the multiplication group of a loop if and only if there exists a subgroup \(H\) satisfying some particular conditions (see Theorem 2.1).

MSC:
20N05 Loops, quasigroups
20K01 Finite abelian groups
20D10 Finite solvable groups, theory of formations, Schunck classes, Fitting classes, \(\pi\)-length, ranks
20F29 Representations of groups as automorphism groups of algebraic systems
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Foguel, Pacific J. Math. 197 pp 1– (2001)
[2] Huppert, Endliche Gruppen I 134 (1967) · Zbl 0217.07201
[3] DOI: 10.2307/1990147 · Zbl 0061.02201
[4] DOI: 10.1007/BF01170643 · Zbl 0009.01101
[5] DOI: 10.1006/jabr.1996.0098 · Zbl 0853.20050
[6] Smith, Comment. Math. Univ. Carolin. 41 pp 415– (2000)
[7] Phillips, Proceedings of the Groups (Korea 1998) pp 305– (2000)
[8] Pflugfelder, Comment. Math. Univ. Carolin. 41 pp 359– (2000)
[9] Niemenmaa, Bull. Austral. Math. Soc. 49 pp 121– (1994)
[10] DOI: 10.1080/00927879608825558 · Zbl 0853.20049
[11] DOI: 10.1016/0021-8693(90)90152-E · Zbl 0706.20046
[12] DOI: 10.1006/jcss.1999.1673 · Zbl 0955.68053
[13] DOI: 10.1007/BF01198806 · Zbl 0789.20080
[14] DOI: 10.1080/00927879808826169 · Zbl 0913.20043
[15] DOI: 10.1016/0012-365X(92)90543-O · Zbl 0755.94006
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. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.