BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Michael Kinyon

Michael Kinyon appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.GRmath.RAmath.COmath.LOLogic in Computer Sciencemath.HO

Catalog footprint

What is connected

39works
6topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

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.

Published work

39 published item(s)

preprint2022arXiv

Varieties of Lazy Magmas Characterized by Forbidden Substructure Theorems

A magma (or groupoid) is a set with a binary operation $(A,f)$. Roughly speaking, a magma is said to be lazy if compositions such as $f(x,f(f(y,z),u))$ depend on at most two variables. Recently, Kaprinai, Machida and Waldhauser described the lattice of all the varieties of lazy groupoids. A forbidden structure theorem is one that charcaterizes a smaller class $A$ inside a larger class $B$ as all the elements in $B$ that avoid some substructures. For example, a lattice is distributive (smaller class $A$) if and only if it is a lattice (larger class $B$) and avoids the pentagon and the diamond. In this paper we provide a characterization of all pairs of lazy groupoid varieties $A\le B$ by forbidden substructure theorems. Some of the results are straightforward, but some other are very involved. All of these results and proofs were found using a computational tool that proves theorems of this type (for many different classes of relational algebras) and that we make available to every mathematician.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Variants of epigroups and primary conjugacy

In a semigroup $S$ with fixed $c\in S$, one can construct a new semigroup $(S,\cdot_c)$ called a \emph{variant} by defining $x\cdot_c y:=xcy$. Elements $a,b\in S$ are \emph{primarily conjugate} if there exist $x,y\in S^1$ such that $a=xy, b=yx$. This coincides with the usual conjugacy in groups, but is not transitive in general semigroups. Araújo \emph{et al.} proved that transitivity holds in a variety $\mathcal{W}$ of epigroups containing all completely regular semigroups and their variants, and asked if transitivity holds for all variants of semigroups in $\mathcal{W}$. We answer this affirmatively as part of a study of varieties and variants of epigroups.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Involutive latin solutions of the Yang-Baxter equation

Wolfgang Rump showed that there is a one-to-one correspondence between nondegenerate involutive set-theoretic solutions of the Yang-Baxter equation and binary algebras in which all left translations $L_x$ are bijections, the squaring map is a bijection, and the identity $(xy)(xz) = (yx)(yz)$ holds. We call these algebras \emph{rumples} in analogy with quandles, another class of binary algebras giving solutions of the Yang-Baxter equation. We focus on latin rumples, that is, on rumples in which all right translations are bijections as well. We prove that an affine latin rumple of order $n$ exists if and only if $n=p_1^{p_1 k_1}\cdots p_m^{p_m k_m}$ for some distinct primes $p_i$ and positive integers $k_i$. A large class of affine solutions is obtained from nonsingular near-circulant matrices $A$, $B$ satisfying $[A,B]=A^2$. We characterize affine latin rumples as those latin rumples for which the displacement group generated by $L_x L_y\inv$ is abelian and normal in the group generated by all translations. We develop the extension theory of rumples sufficiently to obtain examples of latin rumples that are not affine, not even isotopic to a group. Finally, we investigate latin rumples in which the dual identity $(zx)(yx) = (zy)(xy)$ holds as well, and we show, among other results, that the generators $L_x L_y\inv$ of their displacement group have order dividing four.

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

Conjugacy in inverse semigroups

In a group $G$, elements $a$ and $b$ are conjugate if there exists $g\in G$ such that $g^{-1} ag=b$. This conjugacy relation, which plays an important role in group theory, can be extended in a natural way to inverse semigroups: for elements $a$ and $b$ in an inverse semigroup $S$, $a$ is conjugate to $b$, which we will write as $a\sim_{\mathrm{i}} b$, if there exists $g\in S^1$ such that $g^{-1} ag=b$ and $gbg^{-1} =a$. The purpose of this paper is to study the conjugacy $\sim_{\mathrm{i}}$ in several classes of inverse semigroups: symmetric inverse semigroups, free inverse semigroups, McAllister $P$-semigroups, factorizable inverse monoids, Clifford semigroups, the bicyclic monoid and stable inverse semigroups.

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

Nonassociative right hoops

The class of nonassociative right hoops, or narhoops for short, is defined as a subclass of right-residuated magmas, and is shown to be a variety. These algebras generalize both right quasigroups and right hoops, and we characterize the subvarieties in which the operation $x\sqcap y=(x / y)y$ is associative and/or commutative. Narhoops with a left unit are proved to have a top element if and only if $\sqcap$ is commutative, and their congruences are determined by the equivalence class of the left unit. We also show that the four identities defining narhoops are independent.

0 citations0 reviewsNo code linkedOpen access
preprint2017arXiv

Bol loops and Bruck loops of order $pq$

Right Bol loops are loops satisfying the identity $((zx)y)x = z((xy)x)$, and right Bruck loops are right Bol loops satisfying the identity $(xy)^{-1} = x^{-1}y^{-1}$. Let $p$ and $q$ be odd primes such that $p>q$. Advancing the research program of Niederreiter and Robinson from $1981$, we classify right Bol loops of order $pq$. When $q$ does not divide $p^2-1$, the only right Bol loop of order $pq$ is the cyclic group of order $pq$. When $q$ divides $p^2-1$, there are precisely $(p-q+4)/2$ right Bol loops of order $pq$ up to isomorphism, including a unique nonassociative right Bruck loop $B_{p,q}$ of order $pq$. Let $Q$ be a nonassociative right Bol loop of order $pq$. We prove that the right nucleus of $Q$ is trivial, the left nucleus of $Q$ is normal and is equal to the unique subloop of order $p$ in $Q$, and the right multiplication group of $Q$ has order $p^2q$ or $p^3q$. When $Q=B_{p,q}$, the right multiplication group of $Q$ is isomorphic to the semidirect product of $\mathbb{Z}_p\times \mathbb{Z}_p$ with $\mathbb{Z}_q$. Finally, we offer computational results as to the number of right Bol loops of order $pq$ up to isotopy.

0 citations0 reviewsNo code linkedOpen access
preprint2017arXiv

Commutativity theorems for groups and semigroups

In this note we prove a selection of commutativity theorems for various classes of semigroups. For instance, if in a separative or completely regular semigroup $S$ we have $x^p y^p = y^p x^p$ and $x^q y^q = y^q x^q$ for all $x,y\in S$ where $p$ and $q$ are relatively prime, then $S$ is commutative. In a separative or inverse semigroup $S$, if there exist three consecutive integers $i$ such that $(xy)^i = x^i y^i$ for all $x,y\in S$, then $S$ is commutative. Finally, if $S$ is a separative or inverse semigroup satisfying $(xy)^3=x^3y^3$ for all $x,y\in S$, and if the cubing map $x\mapsto x^3$ is injective, then $S$ is commutative.

0 citations0 reviewsNo code linkedOpen access
preprint2017arXiv

Decidability and Independence of Conjugacy Problems in Finitely Presented Monoids

There have been several attempts to extend the notion of conjugacy from groups to monoids. The aim of this paper is study the decidability and independence of conjugacy problems for three of these notions (which we will denote by $\sim_p$, $\sim_o$, and $\sim_c$) in certain classes of finitely presented monoids. We will show that in the class of polycyclic monoids, $p$-conjugacy is "almost" transitive, $\sim_c$ is strictly included in $\sim_p$, and the $p$- and $c$-conjugacy problems are decidable with linear compexity. For other classes of monoids, the situation is more complicated. We show that there exists a monoid $M$ defined by a finite complete presentation such that the $c$-conjugacy problem for $M$ is undecidable, and that for finitely presented monoids, the $c$-conjugacy problem and the word problem are independent, as are the $c$-conjugacy and $p$-conjugacy problems.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Four Notions of Conjugacy for Abstract Semigroups

The action of any group on itself by conjugation and the corresponding conjugacy relation play an important role in group theory. There have been many attempts to find notions of conjugacy in semigroups that would be useful in special classes of semigroups occurring in various areas of mathematics, such as semigroups of matrices, operator and topological semigroups, free semigroups, transition monoids for automata, semigroups given by presentations with prescribed properties, monoids of graph endomorphisms, etc. In this paper we study four notions of conjugacy for semigroups, their interconnections, similarities and dissimilarities. They appeared originally in various different settings (automata, representation theory, presentations or transformation semigroups). Here we study them in maximum generality. The paper ends with a large list of open problems.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Loops with abelian inner mapping groups: An application of automated deduction

We describe a large-scale project in applied automated deduction concerned with the following problem of considerable interest in loop theory: If $Q$ is a loop with commuting inner mappings, does it follow that $Q$ modulo its center is a group and $Q$ modulo its nucleus is an abelian group? This problem has been answered affirmatively in several varieties of loops. The solution usually involves sophisticated techniques of automated deduction, and the resulting derivations are very long, often with no higher-level human proofs available.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Loops with exponent three in all isotopes

It was shown by van Rees \cite{vR} that a latin square of order $n$ has at most $n^2(n-1)/18$ latin subsquares of order $3$. He conjectured that this bound is only achieved if $n$ is a power of $3$. We show that it can only be achieved if $n\equiv3\bmod6$. We also state several conditions that are equivalent to achieving the van Rees bound. One of these is that the Cayley table of a loop achieves the van Rees bound if and only if every loop isotope has exponent $3$. We call such loops \emph{van Rees loops} and show that they form an equationally defined variety. We also show that (1) In a van Rees loop, any subloop of index 3 is normal, (2) There are exactly 6 nonassociative van Rees loops of order $27$ with a non-trivial nucleus and at least 1 with all nuclei trivial, (3) Every commutative van Rees loop has the weak inverse property and (4) For each van Rees loop there is an associated family of Steiner quasigroups.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Distributivity in skew lattices

Distributive skew lattices satisfying $x\wedge (y\vee z)\wedge x = (x\wedge y\wedge x) \vee (x\wedge z\wedge x)$ and its dual are studied, along with the larger class of linearly distributive skew lattices, whose totally preordered subalgebras are distributive. Linear distributivity is characterized in terms of the behavior of the natural partial order between comparable $\DD$-classes. This leads to a second characterization in terms of strictly categorical skew lattices. Criteria are given for both types of skew lattices to be distributive.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Inverse semigroups with idempotent-fixing automorphisms

A celebrated result of J. Thompson says that if a finite group $G$ has a fixed-point-free automorphism of prime order, then $G$ is nilpotent. The main purpose of this note is to extend this result to finite inverse semigroups. An earlier related result of B. H. Neumann says that a uniquely 2-divisible group with a fixed-point-free automorphism of order 2 is abelian. We similarly extend this result to uniquely 2-divisible inverse semigroups.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

A 2-base for inverse semigroups

An open problem in the theory of inverse semigroups was whether the variety of such semigroups, when viewed as algebras with a binary operation and a unary operation, is 2-based, that is, has a base for its identities consisting of 2 independent axioms. In this note, we announce the affirmative solution to this problem: the identities \[ \quad x(x'x) = x \qquad \quad x (x' (y (y' ((z u)' w')'))) = y (y' (x (x' ((w z) u)))) \] form a base for inverse semigroups where ${}'$ turns out to be the natural inverse operation. We recount here the history of the problem including our previous efforts to find a 2-base using automated deduction and the method that finally worked. We describe our efforts to simplify the proof using \textsc{Prover9}, present the simplified proof itself and conclude with some open problems.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Pseudoautomorphisms of Bruck loops and their generalizations

We show that in a weak commutative inverse property loop, such as a Bruck loop, if $α$ is a right [left] pseudoautomorphism with companion $c$, then $c$ [$c^2$] must lie in the left nucleus. In particular, for any such loop with trivial left nucleus, every right pseudoautomorphism is an automorphism and if the squaring map is a permutation, then every left pseudoautomorphism is an automorphism as well. We also show that every pseudoautomorphism of a commutative inverse property loop is an automorphism, generalizing a well-known result of Bruck.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

The structure of automorphic loops

Automorphic loops are loops in which all inner mappings are automorphisms. This variety of loops includes, for instance, groups and commutative Moufang loops. We study uniquely 2-divisible automorphic loops, particularly automorphic loops of odd order, from the point of view of the associated Bruck loops (motivated by Glauberman's work on uniquely 2-divisible Moufang loops) and the associated Lie rings (motivated by a construction of Wright). We prove that every automorphic loop $Q$ of odd order is solvable, contains an element of order $p$ for every prime $p$ dividing $|Q|$, and $|S|$ divides $|Q|$ for every subloop $S$ of $Q$. There are no finite simple nonassociative commutative automorphic loops, and there are no finite simple nonassociative automorphic loops of order less than 2500. We show that if $Q$ is a finite simple nonassociative automorphic loop then the socle of the multiplication group of $Q$ is not regular. The existence of a finite simple nonassociative automorphic loop remains open. Let $p$ be an odd prime. Automorphic loops of order $p$ or $p^2$ are groups, but there exist nonassociative automorphic loops of order $p^3$, some with trivial nucleus (center) and of exponent $p$. We construct nonassociative "dihedral" automorphic loops of order $2n$ for every $n>2$, and show that there are precisely $p-2$ nonassociative automorphic loops of order $2p$, all of them dihedral.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Incidence properties of cosets in loops

We study incidence properties among cosets of finite loops, with emphasis on well-structured varieties such as antiautomorphic loops and Bol loops. While cosets in groups are either disjoint or identical, we find that the incidence structure in general loops can be much richer. Every symmetric design, for example, can be realized as a canonical collection of cosets of a finite loop. We show that in the variety of antiautomorphic loops the poset formed by set inclusion among intersections of left cosets is isomorphic to that formed by right cosets. We present an algorithm that, given a finite Bol loop $S$, can in some cases determine whether $|S|$ divides $|Q|$ for all finite Bol loops $Q$ with $S \le Q$, and even whether there is a selection of left cosets of $S$ that partitions $Q$. This method results in a positive confirmation of Lagrange's Theorem for Bol loops for a few new cases of subloops. Finally, we show that in a left automorphic Moufang loop $Q$ (in particular, in a commutative Moufang loop $Q$), two left cosets of $S\le Q$ are either disjoint or they intersect in a set whose cardinality equals that of some subloop of $S$.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Independent axiom systems for nearlattices

A nearlattice is a join semilattice such that every principal filter is a lattice with respect to the induced order. Hickman and later Chajda et al independently showed that nearlattices can be treated as varieties of algebras with a ternary operation satisfying certain axioms. Our main result is that the variety of nearlattices is 2-based, and we exhibit an explicit axiom system of two independent identities. We also show that the original axiom systems of Hickman and of Chajda et al are, respectively, dependent.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Nilpotency in automorphic loops of prime power order

A loop is automorphic if its inner mappings are automorphisms. Using so-called associated operations, we show that every commutative automorphic loop of odd prime power order is centrally nilpotent. Starting with anisotropic planes in the vector space of $2\times 2$ matrices over the field of prime order $p$, we construct a family of automorphic loops of order $p^3$ with trivial center.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

On a problem of M. Kambites regarding abundant semigroups

A semigroup is \emph{regular} if it contains at least one idempotent in each $\mathcal{R}$-class and in each $\mathcal{L}$-class. A regular semigroup is \emph{inverse} if satisfies either of the following equivalent conditions: (i) there is a unique idempotent in each $\mathcal{R}$-class and in each $\mathcal{L}$-class, or (ii) the idempotents commute. Analogously, a semigroup is \emph{abundant} if it contains at least one idempotent in each $\mathcal{R}^*$-class and in each $\mathcal{L}^*$-class. An abundant semigroup is \emph{adequate} if its idempotents commute. In adequate semigroups, there is a unique idempotent in each $\mathcal{R}^*$ and $\mathcal{L}^*$-class. M. Kambites raised the question of the converse: in a finite abundant semigroup such that there is a unique idempotent in each $\mathcal{R}^*$ and $\mathcal{L}^*$-class, must the idempotents commute? In this note we use ideal extensions to provide a negative answer to this question.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

An elegant 3-basis for inverse semigroups

It is well known that in every inverse semigroup the binary operation and the unary operation of inversion satisfy the following three identities: [\quad x=(xx')x \qquad \quad (xx')(y'y)=(y'y)(xx') \qquad \quad (xy)z=x(yz"). ] The goal of this note is to prove the converse, that is, we prove that an algebra of type $<2,1>$ satisfying these three identities is an inverse semigroup and the unary operation coincides with the usual inversion on such semigroups.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Associative Geometries. I: Torsors, linear relations and Grassmannians

We define and investigate a geometric object, called an associative geometry, corresponding to an associative algebra (and, more generally, to an associative pair). Associative geometries combine aspects of Lie groups and of generalized projective geometries, where the former correspond to the Lie product of an associative algebra and the latter to its Jordan product. A further development of the theory encompassing involutive associative algebras will be given in subsequent work.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Associative Geometries. I: Torsors, linear relations and Grassmannians

We define and investigate a geometric object, called an associative geometry, corresponding to an associative algebra (and, more generally, to an associative pair). Associative geometries combine aspects of Lie groups and of generalized projective geometries, where the former correspond to the Lie product of an associative algebra and the latter to its Jordan product. A further development of the theory encompassing involutive associative algebras will be given in subsequent work.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Associative Geometries. II: Involutions, the classical torsors, and their homotopes

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 is geometric, using as ingredient involutions of associative geometries. We prove that, under suitable assumptions, the groups and their homotopes have a canonical semigroup completion.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Associative Geometries. II: Involutions, the classical torsors, and their homotopes

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 is geometric, using as ingredient involutions of associative geometries. We prove that, under suitable assumptions, the groups and their homotopes have a canonical semigroup completion.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Axioms for unary semigroups via division operations

When a semigroup has a unary operation, it is possible to define two binary operations, namely, left and right division. In addition it is well known that groups can be defined in terms of those two divisions. The aim of this paper is to extend those results to other classes of unary semigroups. In the first part of the paper we provide characterizations for several classes of unary semigroups, including (a special class of) E-inversive, regular, completely regular, inverse, Clifford, etc., in terms of left and right division. In the second part we solve a problem that was posed elsewhere. The paper closes with a list of open problems.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Constructions of commutative automorphic loops

A loop whose inner mappings are automorphisms is an \emph{automorphic loop} (or \emph{A-loop}). We characterize commutative (A-)loops with middle nucleus of index 2 and solve the isomorphism problem. Using this characterization and certain central extensions based on trilinear forms, we construct several classes of commutative A-loops of order a power of 2. We initiate the classification of commutative A-loops of small orders and also of order $p^3$, where $p$ is a prime.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Minimal paths in the commuting graphs of semigroups

Let $S$ be a finite non-commutative semigroup. The commuting graph of $S$, denoted $\cg(S)$, is the graph whose vertices are the non-central elements of $S$ and whose edges are the sets $\{a,b\}$ of vertices such that $a\ne b$ and $ab=ba$. Denote by $T(X)$ the semigroup of full transformations on a finite set $X$. Let $J$ be any ideal of $T(X)$ such that $J$ is different from the ideal of constant transformations on $X$. We prove that if $|X|\geq4$, then, with a few exceptions, the diameter of $\cg(J)$ is 5. On the other hand, we prove that for every positive integer $n$, there exists a semigroup $S$ such that the diameter of $\cg(S)$ is $n$. We also study the left paths in $\cg(S)$, that is, paths $a_1-a_2-...-a_m$ such that $a_1\ne a_m$ and $a_1a_i=a_ma_i$ for all $i\in \{1,\ldot, m\}$. We prove that for every positive integer $n\geq2$, except $n=3$, there exists a semigroup whose shortest left path has length $n$. As a corollary, we use the previous results to solve a purely algebraic old problem posed by B.M. Schein.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

The Structure of Commutative Automorphic Loops

An \emph{automorphic loop} (or \emph{A-loop}) is a loop whose inner mappings are automorphisms. Every element of a commutative A-loop generates a group, and $(xy)^{-1} = x^{-1}y^{-1}$ holds. Let $Q$ be a finite commutative A-loop and $p$ a prime. The loop $Q$ has order a power of $p$ if and only if every element of $Q$ has order a power of $p$. The loop $Q$ decomposes as a direct product of a loop of odd order and a loop of order a power of 2. If $Q$ is of odd order, it is solvable. If $A$ is a subloop of $Q$ then $|A|$ divides $|Q|$. If $p$ divides $|Q|$ then $Q$ contains an element of order $p$. If there is a finite simple nonassociative commutative A-loop, it is of exponent 2.

0 citations0 reviewsNo code linkedOpen access