Related papers: Commuting Pairs in Quasigroups
Structures of commuting semigroups of isometries under certain additional assumptions like double commutativity or dual double commutativity are found.
The class of semisymmetric quasigroups is determined by the identity $(yx)y=x.$ We prove that the universal multiplication group of a semisymmetric quasigroup $Q$ is free over its underlying set and then specify the point-stabilizers of an…
A double magma is a nonempty set with two binary operations satisfying the interchange law. We call a double magma proper if the two operations are distinct and commutative if the operations are commutative. A double semigroup is a double…
A quasigroup identity is of Bol-Moufang type if two of its three variables occur once on each side, the third variable occurs twice on each side, the order in which the variables appear on both sides is the same, and the only binary…
We give information about some properties and spectrum of quasigroups with the following identity $x(y \cdot yx) = y$.
A numerical semigroup is a subset of the non-negative integers that is closed under addition. For a randomly generated numerical semigroup, the expected number of minimum generators can be expressed in terms of a doubly-indexed sequence of…
A natural operation on numerical semigroups is taking a quotient by a positive integer. If $\mathcal S$ is a quotient of a numerical semigroup with $k$ generators, we call $\mathcal S$ a $k$-quotient. We give a necessary condition for a…
Any Neumann quasigroup $(Q, \cdot)$ (quasigroup with Neumann identity $ x \cdot(yz \cdot yx) = z$ is called Neumann quasigroup) can be presented in the form $x\cdot y = x-y$, where $(Q, +)$ is an abelian group. Automorphism group of Neumann…
Let $Q$ be an inverse semigroup. A subsemigroup $S$ of $Q$ is a left I-order in $Q$ and $Q$ is a semigroup of left I-quotients of $S$ if every element in $Q$ can be written as $a^{-1}b$, where $a, b \in S$ and $a^{-1}$ is the inverse of $a$…
In this paper, we investigate the structural and characterizing properties of the so-called {\it 2-UQ rings}, that are rings such that the square of every unit is the sum of an idempotent and a quasi-nilpotent element that commute with each…
A quasi-automatic semigroup is a finitely generated semigroup with a rational set of representatives such that the graph of right multiplication by any generator is a rational relation. A asynchronously automatic semigroup is a…
In this paper, we describe the relationship between the quasi-component q(G) of a (perfectly) minimal pseudocompact abelian group G and the quasi-component q(\widetilde G) of its completion. Specifically, we characterize the pairs (C,A) of…
Given two elements $x,y$ of a semigroup $X$ we write $x\lesssim y$ if for every homomorphism $\chi:X\to\{0,1\}$ we have $\chi(x)\le\chi(y)$. The quasiorder $\lesssim$ is called the $binary$ $quasiorder$ on $X$. It induces the equivalence…
We give quantitative bounds for the number of quasi-integral points in orbits of semigroups of rational maps under some conditions, generalizing previous work of L. C. Hsia and J. Silverman (2011) for orbits generated by the iterations of…
For subsets $X,Y$ of a finite group $G$, let $Pr(X,Y)$ denote the probability that two random elements $x\in X$ and $y\in Y$ commute. Obviously, a finite group $G$ is nilpotent if and only if $Pr(P,Q)=1$ whenever $P$ and $Q$ are Sylow…
We investigate pairs $(G,Y)$, where $G$ is a reductive algebraic group and $Y$ a purely-odd $G$-superscheme, asking when a pair corresponds to a quasi-reductive algebraic supergroup $\mathbb{G}$, that is, $\mathbb{G}_{\text{ev}}$ is…
A pair $(a, b)$ of positive integers is a pythagorean pair if $a^2 + b^2 = \Box$ (i.e., $a^2 + b^2$ is a square). A pythagorean pair $(a, b)$ is called a double-pythapotent pair if there is another pythagorean pair $(k,l)$ such that…
The full lattices in a finite dimensional commutative ${\mathbb Q}$-algebra form a commutative semigroup. In the case of an algebraic number field the top part of a certain quotient semigroup is the class group. For a separable algebra some…
Chung and Graham define quasirandom subsets of $\mathbb{Z}_n$ to be those with any one of a large collection of equivalent random-like properties. We weaken their definition and call a subset of $\mathbb{Z}_n$ $\epsilon$-balanced if its…
We show that every quasitrivial n-ary semigroup is reducible to a binary semigroup, and we provide necessary and sufficient conditions for such a reduction to be unique. These results are then refined in the case of symmetric n-ary…