A categorical approach to loops, neardomains and nearfields.

From MaRDI portal
Publication:1932145



Abstract: In this paper we study loops, neardomains and nearfields from a categorical point of view. By choosing the right kind of morphisms, we can show that the category of neardomains is equivalent to the category of sharply 2-transitive groups. The other categories are also shown to be equivalent with categories whose objects are sets of permutations with suitable extra properties. Up to now the equivalence between neardomains and sharply 2-transitive groups was only known when both categories were equipped with the obvious isomorphisms as morphisms. We thank Hubert Kiechle for this observation.


The authors state an equivalence between the categories of sharply 2-transitive groups and neardomains. This equivalence was basically known if the morphisms are taken to be isomorphisms. New is the use of injective homomorphisms as morphisms. This reviewer is convinced that the distinction between characteristic~\(2\) or not is unnecessary in the definition of morphisms for sharply 2-transitive groups, as the desired result seems to follow from known properties of the set of involutions. As a warm up the authors construct an -- in essence well-known -- equivalence for loops and regular permutation sets.











This page was built for publication: A categorical approach to loops, neardomains and nearfields.

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