Definability of Abelian groups by homomorphism groups and endomorphism semigroups

In the paper, the isomorphism problem for completely decomposable Abelian torsion-free groups of finite rank is treated under the assumption that the groups of homomorphisms of these groups into some Abelian group are isomorphic and, moreover, the endomorphism semigroups of the groups are isomorphic.     

Definability of separable torsion-free Abelian groups by endomorphism semigroups

In the class of separable torsion-free Abelian groups, we describe those which are defined by their endomorphism semigroups.Translated fromAlgebra i Logika, Vol. 34, No. 5, pp. 523–530, September-October, 1995.     

Characterization of completely decomposable quotient divisible abelian groups by their endomorphism semigroups

We study abelian groups in the class of completely decomposable quotient divisible abelian groups which are determined in this class by their endomorphism semigroups.     

The endomorphism monoids and automorphism groups of Cayley graphs of semigroups

In this note, we introduce the notions of color-permutable automorphisms and color-permutable vertex-transitive Cayley graphs of semigroups. As a main result, for a finite monoid S and a generating set C of S, we explicitly determine the color-permutable automorphism group of \(\mathrm {Cay}(S,C)\) [Theorem 1.1]. Also for a monoid S and a generating set C of S, we explicitly determine the color-preserving automorphism group (endomorphism monoid) of \(\mathrm {Cay}(S,C)\) [Proposition 2.3 and Corollary 2.4]. Then we use these results to characterize when \(\mathrm {Cay}(S,C)\) is color-endomorphism vertex-transitive [Theorem 3.4].     

Automorphisms of endomorphism semigroups of reflexive digraphs

A reflexive digraph is a pair (X, ρ), where X is an arbitrary set and ρ is a reflexive binary relation on X. Let End (X, ρ) be the semigroup of endomorphisms of (X, ρ). We determine the group of automorphisms of End (X, ρ) for: digraphs containing an edge not contained in a cycle, digraphs consisting of arbitrary unions of cycles such that cycles of length ≥2 are pairwise disjoint, and some circulant digraphs (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Commutative clifford semigroups with maximal endomorphism semirings

For a finite abelian group A, the ring End(A) is a maximal ring in the nearring M(A). In this paper we consider an analogous problem for finite semigroups, concentrating on commutative Clifford semigroups.     

Definability in the lattice of equational theories of semigroups

We study first-order definability in the latticeL of equational theories of semigroups. A large collection of individual theories and some interesting sets of theories are definable inL. As examples, ifT is either the equational theory of a finite semigroup or a finitely axiomatizable locally finite theory, then the set {T, T ^ϖ} is definable, whereT ^ϖ is the dual theory obtained by inverting the order of occurences of letters in the words. Moreover, the set of locally finite theories, the set of finitely axiomatizable theories, and the set of theories of finite semigroups are all definable. The research of both authors was supported by National Science Foundation Grant No. DMS-8302295     

Groups of order 24 and their endomorphism semigroups

It is proved that among the finite groups of order 24 only the binary tetrahedral group is not determined by its endomorphism semigroup in the class of all groups. __________ Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 11, No. 3, pp. 155–172, 2005.     

Definability in algebraically closed groups

Let K be an abstract class of groups such that a countable group U exists possessing the following properties: 1) an arbitrary finitely generated subgroup of U belongs to K; 2) an arbitrary finitely generated subgroup from K is imbedded in U; 3) a recursive representaion of the group U exists with a solvable word identity problem. Then for arbitrary n ≥ 1 there exists ??-equation Ψ_n(v₀...v_n?1) such that for an arbitrary algebraically closed group G and for arbitrary x₀...x_n?1 ε G Classes of finite free nilpotent groups satisfy the conditions of the theorem.     

Primary Abelian groups with isomorphic endomorphism groups

A complete answer is given to the question, does isomorphism of the endomorphism groups of primary Abelian groups imply isomorphism of the groups themselves ? It is presumed that the generalized continuum hypothesis is valid.     

Definability in the lattice of equational theories of commutative semigroups

In this paper we study first-order definability in the lattice of equational theories of commutative semigroups. In a series of papers, J. Jezek, solving problems posed by A. Tarski and R. McKenzie, has proved, in particular, that each equational theory is first-order definable in the lattice of equational theories of a given type, up to automorphism, and that such lattices have no automorphisms besides the obvious syntactically defined ones (with exceptions for special unary types). He has proved also that the most important classes of theories of a given type are so definable. In a later paper, Jezek and McKenzie have ``almost proved" the same facts for the lattice of equational theories of semigroups. There were good reasons to believe that the same can be proved for the lattice of equational theories of commutative semigroups. In this paper, however, we show that the case of commutative semigroups is different.