Related papers: Semigroup Identities, Proofs, and Artificial Intel…

In this paper, we answer affirmatively a question of H S Sim on representations in characteristic $0$, for a class of metabelian groups. Moreover, we provide examples to point out that the analogous answer is no longer valid if the solvable…

A higher rank numerical semigroup is a positive cone whose seminormalization is isomorphic to the free abelian semigroup. The corresponding nonselfadjoint semigroup algebras are known to provide examples that answer Arveson's Dilation…

We prove a cohomological property for a class of finite $p$-groups introduced earlier by M. Y. Xu, which we call semi-abelian $p$-groups. This result implies that a semi-abelian $p$-group has non-inner automorphisms of order $p$, which…

This paper is devoted to understand groups definable in Presburger arithmetic. We prove the following theorems: Theorem 1. Every group definable in a model of Presburger Arithmetic is abelian-by-finite. Theorem 2. Every bounded group…

For a class of groups $G$ over a field $\mathbb{F}$, including certain Lie groups, Algebraic groups and finite groups, we develop a general method to determine rational and real elements, thereby unifying earlier group-specific results into…

Semiclassical systems being symmetric under Lie group are studied. A state of a semiclassical system may be viewed as a set (X,f) of a classical state X and a quantum state f in the external classical background X. Therefore, the set of all…

For an arbitrary group $G$, it is shown that either the semigroup rank $G{\rm rk}S$ equals the group rank $G{\rm rk}G$, or $G{\rm rk}S = G{\rm rk}G+1$. This is the starting point for the rest of the article, where the semigroup rank for…

The set of all subsets of any inverse semigroup forms an involution semiring under set-theoretical union and element-wise multiplication and inversion. We find structural conditions on a finite inverse semigroup guaranteeing that neither…

We give a general definition of classical and quantum groups whose representation theory is "determined by partitions" and study their structure. This encompasses many examples of classical groups for which Schur-Weyl duality is described…

It is proved that every group of the form $G=AB$ with two subgroups $A$ and $B$ each of which is either abelian or has a quasicyclic subgroup of index $2$ is soluble of derived length at most $3$. In particular, if $A$ is abelian and $B$ is…

Let K be a field of positive characteristic p, let R be either a group algebra K[G] or a restricted enveloping algebra u(L), and let I be the augmentation ideal of R. We first characterize those R for which I satisfies a polynomial identity…

An algebra with identities $(a,b,c)=(a,c,b)=(b,a,c)$ is called {\it assosymmetric}, where $(x,y,z)=(xy)z-x(yz)$ is associator. We study $S_n$-module, $A_n$-module and $GL_n$-module structures of free assosymmetric algebra.

We show that free-by-free groups satisfying a homological criterion, which we call excessive homology, are incoherent. This class is large in nature, including many examples of hyperbolic and non-hyperbolic free-by-free groups. We apply…

We make a connection between the subgroup membership and identity problems for matrix groups and extended finite automata. We provide an alternative proof for the decidability of the subgroup membership problem for $ 2 \times 2 $ integer…

We show that the epimorphism problem is solvable for targets that are virtually cyclic or a product of an Abelian group and a finite group.

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…

We propound the thesis that there is a limitation to the number of possible structures which are axiomatically endowed with identities involving operations. In the case of algebras with a binary operation satisfying a formally reducible (to…

Let $p$ be a prime. A $p$-group $G$ is defined to be semi-extraspecial if for every maximal subgroup $N$ in $Z(G)$ the quotient $G/N$ is a an extraspecial group. In addition, we say that $G$ is ultraspecial if $G$ is semi-extraspecial and…

We explore a natural class of semigroups that have word problem decidable by finite state automata. Among the main results are invariance of this property under change of generators, invariance under basic algebraic constructions and…

A semigroup conjugacy is an equivalence relation that equals group conjugacy when the semigroup is a group. In this note, we answer five open problems related to semigroup conjugacy. (Problem One) We say a conjugacy ~ is partition-covering…