Automorphic loops arising from module endomorphisms

From MaRDI portal
Publication:2973145




Abstract: A loop is automorphic if all its inner mappings are automorphisms. We construct a large family of automorphic loops as follows. Let R be a commutative ring, V an R-module, E=mathrmEndR(V) the ring of R-endomorphisms of V, and W a subgroup of (E,+) such that ab=ba for every a, binW and 1+a is invertible for every ainW. Then QR,V(W) defined on WimesV by (a,u)(b,v)=(a+b,u(1+b)+v(1a)) is an automorphic loop. A special case occurs when R=k<K=V is a field extension and W is a k-subspace of K such that k1capW=0, naturally embedded into mathrmEndk(K) by amapstoMa, bMa=ba. In this case we denote the automorphic loop QR,V(W) by Qk<K(W). We call the parameters tame if k is a prime field, W generates K as a field over k, and K is perfect when mathrmchar(k)=2. We describe the automorphism groups of tame automorphic loops Qk<K(W), and we solve the isomorphism problem for tame automorphic loops Qk<K(W). A special case solves a problem about automorphic loops of order p3 posed by Jedliv{c}ka, Kinyon and Vojtv{e}chovsk'y. We conclude the paper with a construction of an infinite 2-generated abelian-by-cyclic automorphic loop of prime exponent.









This page was built for publication: Automorphic loops arising from module endomorphisms

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