Incidence properties of cosets in loops.

DOI10.1002/JCD.20308zbMATH Open1255.20058arXiv1108.3656OpenAlexW1827087827MaRDI QIDQ2885147FDOQ2885147

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)

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$.

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

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.

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)

Cites Work

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

Cited In (3)

• Sylow Theory for Quasigroups II: Sectional Action
• Title not available (Why is that?)
• A configurational characterization of incidence loops which are incidence groups

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)