We show how to generate all spherical latin trades by elementary moves from a base set. If the base set consists only of a single trade of size four and the moves are applied only to one of the mates, then three elementary moves are needed. If the base set consists of all bicyclic trades (indecomposable latin trades with only two rows) and the moves are applied to both mates, then one move suffices. Many statements of the paper pertain to all latin trades, not only to spherical ones.
If is a quasigroup that is free in the class of all quasigroups which are isotopic to an Abelian group, then its multiplication group is a Frobenius group. Conversely, if is a Frobenius group, a quasigroup, then has to be isotopic to an Abelian group. If is, in addition, finite, then it must be a central quasigroup (a -quasigroup).
Let and be two groups of finite order , and suppose that they share a normal subgroup such that if or . Cases when is cyclic or dihedral and when for exactly pairs have been shown to be of crucial importance when studying pairs of 2-groups with the latter property. In such cases one can describe two general constructions how to get all possible from a given . The constructions, denoted by and , respectively, depend on a coset (or two cosets and ) modulo , and on an...
A loop is said to be left conjugacy closed (LCC) if the set is closed under conjugation. Let be such a loop, let and be the left and right multiplication groups of , respectively, and let be its inner mapping group. Then there exists a homomorphism determined by , and the orbits of coincide with the cosets of , the associator subloop of . All LCC loops of prime order are abelian groups.
We investigate loops defined upon the product by the formula , where , for appropriate parameters . Each such loop is coupled to a 2-cocycle (in the group-theoretical sense) and this connection makes it possible to prove that the loop possesses a metacyclic inner mapping group. If , then the loop is an A-loop. Questions of isotopism and isomorphism are considered in detail.
This paper completely solves the isomorphism problem for Moufang loops where is a noncommutative group with cyclic subgroup of index two and , is cyclic, , and is finite of order coprime to three.
Let be a commutative groupoid such that ; ; or . Then is determined uniquely up to isomorphism and if it is finite, then for an integer .
Let be a diassociative A-loop which is centrally nilpotent of class 2 and which is not a group. Then the factor over the centre cannot be an elementary abelian 2-group.
Download Results (CSV)