Products of all elements in a loop and a framework for non-associative analogues of the Hall-Paige conjecture.

MaRDI QIDQ1028837zbMATH OpenFDO

Authors Kyle Pula

Publication date 8 July 2009

Published in The Electronic Journal of Combinatorics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1008.0699, https://eudml.org/doc/117516, http://www.emis.de/journals/EJC/Volume_16/Abstracts/v16i1r57.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

complete mappingsfinite loopsHall-Paige conjecturemultiplication tablesproducts of elements

Mathematics Subject Classification ID

Orthogonal arrays, Latin squares, Room squares (05B15) Loops, quasigroups (20N05)

Abstract: For a finite loop $Q$, let $P(Q)$ be the set of elements that can be represented as a product containing each element of $Q$ precisely once. Motivated by the recent proof of the Hall-Paige conjecture, we prove several universal implications between the following conditions: (A) $Q$ has a complete mapping, i.e. the multiplication table of $Q$ has a transversal, (B) there is no $NormalQ$ such that $|N|$ is odd and $$ for $mgeq1$, and (C) $P(Q)$ intersects the associator subloop of $Q$. We prove $(A)implies(C)$ and $(B)iff(C)$ and show that when $Q$ is a group, these conditions reduce to familiar statements related to the Hall-Paige conjecture (which essentially says that in groups $(B)implies(A))$. We also establish properties of $P(Q)$, prove a generalization of the D'enes-Hermann theorem, and present an elementary proof of a weak form of the Hall-Paige conjecture.

Review text

Summary: For a finite loop \(Q\), let \(P(Q)\) be the set of elements that can be represented as a product containing each element of \(Q\) precisely once. Motivated by the recent proof of the Hall-Paige conjecture, we prove several universal implications between the following conditions: (A) \(Q\) has a complete mapping, i.e. the multiplication table of \(Q\) has a transversal, (B) there is no \(N\trianglelefteq Q\) such that \(|N|\) is odd and \(Q/N\cong\mathbb{Z}_{2^m}\) for \(m\geq 1\), and (C) \(P(Q)\) intersects the associator subloop of \(Q\). We prove (A) \(\Rightarrow\) (C) and (B) \(\Leftrightarrow\) (C) and show that when \(Q\) is a group, these conditions reduce to familiar statements related to the Hall-Paige conjecture (which essentially says that in groups (B) \(\Rightarrow\) (A)). We also establish properties of \(P(Q)\), prove a generalization of the Dénes-Hermann theorem, and present an elementary proof of a weak form of the Hall-Paige conjecture.

Recommendations

• scientific article; zbMATH DE number 434866
• Minimal counterexamples to a conjecture of Hall and Paige
• An asymptotic for the Hall-Paige conjecture
• Reduction of the Hall-Paige conjecture to sporadic simple groups.
• scientific article; zbMATH DE number 5014514

Cited in

(5)

• An abelian loop for non-composite numbers
• The strong admissibility of finite Moufang loops
• scientific article; zbMATH DE number 4035151 (Why is no real title available?)
• Nonassociative triples in involutory loops and in loops of small order
• Transversals, near transversals, and diagonals in iterated groups and quasigroups

This page was built for publication: Products of all elements in a loop and a framework for non-associative analogues of the Hall-Paige conjecture.

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