6 papers
Multiplicatively idempotent HSI algebras satisfy all equations of
Tumadhir Alsulami, Marcel Jackson, Michael Kinyon
An algebra with binary operations and constant is called an HSI algebra if it satisfies the basic commutative semiring laws for on~ a…
The Inverse Monoid of Partial Inner Automorphisms of a Semigroup
João Araújo, Wolfram Bentz, Michael Kinyon +2
We introduce the inverse monoid of inner partial automorphisms of a semigroup -- a tool that associates to every semigroup an inverse semigroup. When the semigroup is a group, this…
Rings with finitely many zero divisors
Michael Kinyon
We give an elementary proof of a result which is not as well known as it should be: a ring with a specified finite number of zero divisors is finite, with a precise bound on its or…
Elementary proofs of ring commutativity theorems
Michael Kinyon, Desmond MacHale
Jacobson's commutativity theorem says that a ring is commutative if, for each , for some . Herstein's generalization says that the condition can be weakened to…
Regular Double -Algebras: A converse to a Katriňák's Theorem, and Applications
Juan M. Cornejo, Michael Kinyon, Hanamantagouda P. Sankappanavar
In 1973, Katriňák proved that regular double -algebras can be regarded as (regular) double Heyting algebras by ingeniously constructing binary terms for the Heying implication a…
Associative Geometries. II: Involutions, the classical torsors, and their homotopes
Wolfgang Bertram, Michael Kinyon
For all classical groups (and for their analogs in infinite dimension or over general base fields or rings) we construct certain contractions, called "homotopes". The construction…