Small loops of nilpotency class 3 with commutative inner mapping groups.

DOI10.1515/JGT.2010.062MaRDI QIDQ3096074zbMATH OpenOpenAlexFDO

Authors Aleš Drápal, Petr Vojtěchovský

Publication date 7 November 2011

Published in Journal of Group Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1509.05723

zbMATH Keywords

Csörgő loopsfinite loopsinner mapping groupsloops of nilpotency class 3

Mathematics Subject Classification ID

Finite nilpotent groups, (p)-groups (20D15) Loops, quasigroups (20N05)

Abstract: Groups with commuting inner mappings are of nilpotency class at most two, but there exist loops with commuting inner mappings and of nilpotency class higher than two, called loops of Cs"orgH{o} type. In order to obtain small loops of Cs"orgH{o} type, we expand our programme from `Explicit constructions of loops with commuting inner mappings', European J. Combin. 29 (2008), 1662-1681, and analyze the following setup in groups: Let $G$ be a group, $ZleZ(G)$, and suppose that $delta:G/ZimesG/ZoZ$ satisfies $delta(x,x)=1$, $delta(x,y)=delta(y,x{)}^{-1}$, $z^{yx}delta([z,y],x)=z^{xy}delta([z,x],y)$ for every $x$, $y$, $zinG$, and $delta(xy,z)=delta(x,z)delta(y,z)$ whenever $x,y,zcap{G}^{\prime }$ is not empty. Then there is $mu:G/ZimesG/ZoZ$ with $delta(x,y)=mu(x,y)mu(y,x{)}^{-1}$ such that the multiplication $x\ast y=xymu(x,y)$ defines a loop with commuting inner mappings, and this loop is of Cs"orgH{o} type (of nilpotency class three) if and only if $g(x,y,z)=delta([x,y],z)delta([y,z],x)delta([z,x],y)$ is nontrivial. Moreover, $G$ has nilpotency class at most three, and if $g$ is nontrivial then $|G|ge128$, $|G|$ is even, and $g$ induces a trilinear alternating form. We describe all nontrivial setups $(G,Z,delta)$ with $|G|=128$. This allows us to construct for the first time a loop of Cs"orgH{o} type with an inner mapping group that is not elementary abelian.

Recommendations

• Explicit constructions of loops with commuting inner mappings.
• On commutative A-loops of order PQ
• Moufang loops with commuting inner mappings.
• scientific article; zbMATH DE number 5869687
• On finite loops with nilpotent inner mapping groups.

Cites work

• Abelian inner mappings and nilpotency class greater than two.
• Connected transversals to nilpotent groups
• Contributions to the Theory of Loops
• Explicit constructions of loops with commuting inner mappings.
• FINITE LOOPS WITH NILPOTENT INNER MAPPING GROUPS ARE CENTRALLY NILPOTENT
• On finite loops whose inner mapping groups are Abelian
• On multiplication groups of loops
• Solvable groups and loops

Cited in

(5)

• Abelian extensions and solvable loops.
• The free commutative automorphic 2-generated loop of nilpotency class 3
• Buchsteiner loops: associators and constructions.
• Nonassociative triples in involutory loops and in loops of small order
• Explicit constructions of loops with commuting inner mappings.

This page was built for publication: Small loops of nilpotency class 3 with commutative inner mapping groups.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3096074)