Incidence properties of cosets in loops.

DOI10.1002/JCD.20308MaRDI QIDQ2885147zbMATH OpenOpenAlexFDO

Authors Kyle Pula, Petr Vojtěchovský, Michael K. Kinyon

Publication date 21 May 2012

Published in Journal of Combinatorial Designs (Search for Journal in Brave)

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

zbMATH Keywords

combinatorial designsMoufang loopsLagrange theoremBol loopscoset partitionscosets in loops

Mathematics Subject Classification ID

Orthogonal arrays, Latin squares, Room squares (05B15) Other designs, configurations (05B30) Loops, quasigroups (20N05)

Abstract: We study incidence properties among cosets of finite loops, with emphasis on well-structured varieties such as antiautomorphic loops and Bol loops. While cosets in groups are either disjoint or identical, we find that the incidence structure in general loops can be much richer. Every symmetric design, for example, can be realized as a canonical collection of cosets of a finite loop. We show that in the variety of antiautomorphic loops the poset formed by set inclusion among intersections of left cosets is isomorphic to that formed by right cosets. We present an algorithm that, given a finite Bol loop $S$, can in some cases determine whether $|S|$ divides $|Q|$ for all finite Bol loops $Q$ with $SleQ$, and even whether there is a selection of left cosets of $S$ that partitions $Q$. This method results in a positive confirmation of Lagrange's Theorem for Bol loops for a few new cases of subloops. Finally, we show that in a left automorphic Moufang loop $Q$ (in particular, in a commutative Moufang loop $Q$), two left cosets of $SleQ$ are either disjoint or they intersect in a set whose cardinality equals that of some subloop of $S$.

Recommendations

• Loops and the Lagrange property.
• scientific article; zbMATH DE number 2213267
• On cosets in Steiner loops
• How and why Moufang loops behave like groups.
• Incidence left loops derived from kinematic algebras.

Cites work

• scientific article; zbMATH DE number 47663 (Why is no real title available?)
• scientific article; zbMATH DE number 3273917 (Why is no real title available?)
• scientific article; zbMATH DE number 2213267 (Why is no real title available?)
• A Class of Loops Which are Isomorphic to all Loop Isotopes
• A Combinatorial Theorem with an Application to Latin Rectangles
• A simplified proof of Moufang’s theorem
• An existence theorem for latin squares
• Embedding Incomplete Latin Squares
• Lagrange's theorem for Moufang loops
• Loops whose inner mappings are automorphisms
• Moufang Loops of Small Order. I
• On Representatives of Subsets
• On loops of odd order. II
• On twisted subgroups and Bol loops of odd order.
• Searching for small simple automorphic loops.
• The classification of finite simple Moufang loops
• The structure of commutative automorphic loops.

Cited in

(5)

• scientific article; zbMATH DE number 26334 (Why is no real title available?)
• A configurational characterization of incidence loops which are incidence groups
• On cosets in Steiner loops
• Poset loops
• Sylow theory for quasigroups. II: Sectional action.

Describes a project that uses

Uses Software

• Mace4
• DESIGN

This page was built for publication: Incidence properties of cosets in loops.

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