Source author record

Michael K. Kinyon

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.GR

Catalog footprint

Research overview

7works

1topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2009arXiv

Right product quasigroups and loops

Right groups are direct products of right zero semigroups and groups and they play a significant role in the semilattice decomposition theory of semigroups. Right groups can be characterized as associative right quasigroups (magmas in which left translations are bijective). If we do not assume associativity we get right quasigroups which are not necessarily representable as direct products of right zero semigroups and quasigroups. To obtain such a representation, we need stronger assumptions which lead us to the notion of \emph{right product quasigroup}. If the quasigroup component is a (one-sided) loop, then we have a \emph{right product (left, right) loop}. We find a system of identities which axiomatizes right product quasigroups, and use this to find axiom systems for right product (left, right) loops; in fact, we can obtain each of the latter by adjoining just one appropriate axiom to the right product quasigroup axiom system. We derive other properties of right product quasigroups and loops, and conclude by showing that the axioms for right product quasigroups are independent.

preprint2008arXiv

Admissible orders of Jordan loops

A commutative loop is Jordan if it satisfies the identity $x^2 (y x) = (x^2 y) x$ . Using an amalgam construction and its generalizations, we prove that a nonassociative Jordan loop of order $n$ exists if and only if $n\geq 6$ and $n\neq 9$ . We also consider whether powers of elements in Jordan loops are well-defined, and we construct an infinite family of finite simple nonassociative Jordan loops.

preprint2007arXiv

Buchsteiner loops

Buchsteiner loops are those which satisfy the identity $x\backslash (xy \cdot z) = (y \cdot zx)/ x$ . We show that a Buchsteiner loop modulo its nucleus is an abelian group of exponent four, and construct an example where the factor achieves this exponent.

preprint2007arXiv

Primary decompositions in varieties of commutative diassociative loops

The decomposition theorem for torsion abelian groups holds analogously for torsion commutative diassociative loops. With this theorem in mind, we investigate commutative diassociative loops satisfying the additional condition (trivially satisfied in the abelian group case) that all $n$ th powers are central, for a fixed $n$ . For $n=2$ , we get precisely commutative $C$ loops. For $n=3$ , a prominent variety is that of commutative Moufang loops. Many analogies between commutative C and Moufang loops have been noted in the literature, often obtained by interchanging the role of the primes 2 and 3. We show that the correct encompassing variety for these two classes of loops is the variety of commutative RIF loops. In particular, when $Q$ is a commutative RIF loop: all squares in $Q$ are Moufang elements, all cubes are $C$ elements, Moufang elements of $Q$ form a normal subloop $M_0(Q)$ such that $Q/M_0(Q)$ is a C loop of exponent 2 (a Steiner loop), C elements of $L$ form a normal subloop $C_0(Q)$ such that $Q/C_0(Q)$ is a Moufang loop of exponent 3. Since squares (resp. cubes) are central in commutative C (resp. Moufang) loops, it follows that $Q$ modulo its center is of exponent 6. Returning to the decomposition theorem, we find that every torsion, commutative RIF loop is a direct product of a C 2-loop, a Moufang 3-loop, and an abelian group with each element of order prime to 6. We also discuss Moufang elements, and a class of quasigroups associated with commutative RIF loops.

preprint2006arXiv

F-quasigroups isotopic to groups

In math.GR/0510298, we showed that every loop isotopic to an F-quasigroup is a Moufang loop. Here we characterize, via two simple identities, the class of F-quasigroups which are isotopic to groups. We call these quasigroups FG-quasigroups. We show that FG-quasigroups are linear over groups. We then use this fact to describe their structure. This gives us, for instance, a complete description of the simple FG-quasigroups. Finally, we show an equivalence of equational classes between pointed FG-quasigroups and central generalized modules over a particular ring.

preprint2006arXiv

When is the commutant of a Bol loop a subloop?

A left Bol loop is a loop satisfying $x(y(xz)) = (x(yx))z$ . The commutant of a loop is the set of elements which commute with all elements of the loop. In a finite Bol loop of odd order or of order $2k$ , $k$ odd, the commutant is a subloop. We investigate conditions under which the commutant of a Bol loop is not a subloop. In a finite Bol loop of order relatively prime to 3, the commutant generates an abelian group of order dividing the order of the loop. This generalizes a well-known result for Moufang loops. After describing all extensions of a loop $K$ such that $K$ is in the left and middle nuclei of the resulting loop, we show how to construct classes of Bol loops with non-subloop commutant. In particular, we obtain all Bol loops of order 16 with non-subloop commutant.

preprint2002arXiv

Loops and the Lagrange property

Let $\cF$ be a family of finite loops closed under subloops and factor loops. Then every loop in $\cF$ has the strong Lagrange property if and only if every simple loop in $\cF$ has the weak Lagrange property. We exhibit several such families, and indicate how the Lagrange property enters into the problem of existence of finite simple loops.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.