Researcher profile

Michael K. Kinyon

Michael K. Kinyon contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

math.GR

Trust snapshot

Quick read

Trust 19 - UnverifiedVerification L1Unclaimed author

5works

0followers

1topics

4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

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.

Michael K. Kinyon

Quick read

Decide how to stay connected

How to connect with this researcher

Open a focused conversation when the fit is right

See the researcher in context

Building this graph slice

5 published item(s)

Right product quasigroups and loops

Admissible orders of Jordan loops

Buchsteiner loops

Primary decompositions in varieties of commutative diassociative loops

F-quasigroups isotopic to groups