When is an Abelian group isomorphic to its endomorphism group?

Let $$\Lambda$$ be a class of Abelian groups. A group $$A\in\Lambda$$ is said to be determined by its endomorphism semigroup $$E^\star(A)$$ in the class $$\Lambda$$ if every isomorphism $$E^\star(A)\cong E^\star(B)$$ , where $$B\in\Lambda$$ , implies the isomorphism $$A\cong B$$ . The paper describes those Abelian groups in the class $$\mathscr Q\mathscr D_{\mathrm{cd}}$$ of completely decomposable quotient divisible Abelian groups which are determined by their endomorphism semigroups in the class $$\mathscr Q\mathscr D_{\mathrm{cd}}$$ .

In the theory of abelian groups, the study of relations between an abelian group and its endomorphism group is an important problem. The question arises on conditions under which an abelian group and its endomorphism group are isomorphic ([1], Problem 31). The answer to this question has been obtained in the classes of completely decomposable abelian groups [2], vector groups [3], in the classes of periodic abelian groups, divisible abelian groups, nonreduced abelian groups, reduced algebraically compact abelian groups [4]. A group A is called an E+-group if it is isomorphic to its endomorphism group End(A). Clearly, if an abelian group A is an E+-group, then its endomorphism group End(A) is also an E+-group. In this paper, we show that the converse statement holds not always. A group A is called an End-group if the following implication takes place:

The fundamental theorem of abelian groups states that any finitely generated abelian group is a direct sum of cyclic groups. This theorem plays a fundamental role in the structure theory of abelian groups. It has fascinated many algebraists to look at this theorem from different points of view:- (a) To find suitable generalizations of this theorem for modules over certain classes of rings, e.g. Dedekind domain, hereditary noetherian prime rings, valuation rings etc. (b) To create suitable versions of this theorem in some module categories and use such versions to develop the structure theory of such module categories. For example, torsion abelian group-like modules, modules with finitely generated submodules direct sums of multiplication modules. (c) To find those rings for which certain versions of the fundamental theorem of abelian groups hold. For example rings over which all finitely generated modules are direct sums of cyclic modules. (d) To examine the structure of certain classes of abelian groups and to try to find modules with similar structures. (e) To find roles of answers to some of above types of questions in the general theory of modules.

The above question is considered, in the categories ShL of sheaves on a local lattice L and MEns of sets acted upon by a monoid M, for either all divisible abelian groups or all torsionfree divisible abelian groups, the aim being to characterize those L and M for which these types of abelian groups are Injective. Typical results: All divisible abelian groups are injective (i) in ShL iff L is Boolean, (ii) in MEns, M left or right cancellative, iff M is trivial, and (iii) in MEns, M commutative iff M is finite and idempotent.

We prove that the category M of abelian groups with a Polish cover introduced in collaboration with Bergfalk and Panagiotopoulos is the left heart of (the derived category of) the quasi-abelian category A of abelian Polish groups in the sense of Beilinson–Bernstein–Deligne and Schneiders. Thus, M is an abelian category containing A as a full subcategory such that the inclusion functor A→M is exact and finitely continuous. Furthermore, M is uniquely characterized up to equivalence by the following universal property: for every abelian category B, a functor A→B is exact and finitely continuous if and only if it extends to an exact and finitely continuous functor M→B. In particular, this provides a description of the left heart of A as a concrete category.We provide similar descriptions of the left heart of a number of categories of algebraic structures endowed with a topology, including: non-Archimedean abelian Polish groups; locally compact abelian Polish groups; totally disconnected locally compact abelian Polish groups; Polish R-modules, for a given Polish group or Polish ring R; and separable Banach spaces and separable Fréchet spaces over a separable complete non-Archimedean valued field.

Two operators or two subgroups of a group will be called I-conjugate whenever they are conjugate under the group of isomorphisms of this group. It is well known that all the cyclic subgroups of highest order contained in any abelian group are I-conjugate. A necessary and sufficient condition that all the cyclic subgroups of any other order contained in an abelian group G of order pmm, p being a prime number, are I-conjugate is that all the invariants of G are equal to each other. When this condition is satisfied we shall prove, in particular, that the number of the subgroups of order pa, a c m , contained in G is equal to the number of its subgroups of index pa. It is known that the ?-subgroup of G is composed of the pth power of every operator of G. The concept of +-subgroup in connection with abelian groups can readily be extended by considering the characteristic subgroup of G composed of the path power of every operator of G. This subgroup may be called the Oa-subgroup of G. It is composed of all the operators of G which are found in each one of its subgroups of index pa, and all the operators of highest order in a 4.-subgroup of G are I-conjugate. In particular, the 0&-subgroup generated by operators of order p is the fundamental characteristic subgroup of G. t In fact, when p > 2 the 0a-subgroup which is generated by operators of order pr is contained in every characteristic subgroup of G which involves operators of order pr. The quotient group of G corresponding to a 4a-subgroup may be called a 0,fi-quotient group. This quotient group is simply isomorphic with the subgroup of G generated bv all its operators whose orders divide p> Hence the following: THEOREM. The number of the subgroups of index pa contained in any abelian

It is proved that all cohomology groups of a group G acting on an abelian group of a certain type vanish if the action of some subnormal abelian subgroup of G is fixed-point-free.This result is then applied to obtain results about group extensions and about the complete reducibility of linear groups.Introduction.The purpose of this paper is to prove the Proposition below and its corollary, Theorem 1, and to derive from the latter some consequences about group extensions and about the complete reducibility of linear groups.These results are contained in Corollaries 2-4.Statement (a) of § 1 and part (b) of the Lemma, §2, are related to the surrounding material, but are not used in the subsequent proofs.I am indebted to several colleagues for useful suggestions in connection with this paper.I am also grateful to the referee for his valuable comments, especially for pointing out that the original version of Theorem 1 could be strengthened to its present form.In what follows, a Vx-module for a group G will mean a finite direct sum 2 V¡, where V¡ is a finite-dimensional vector space over a field k¡, and V¡ is a /c,G-module.Fory > 2, a VJ-module is a G-module A for which there is a short exact sequence 0 -> A' -> A -» A" -» 0, where A' is a K'-module and A" is a F-7-1-module.A is a W-module if it is a F^-module for somtj.It can be shown that every iV-module is a direct sum of a torsion group of finite exponent and a torsion free divisible group (i.e., a vector space over Q).Conversely, one can show that every such abelian group is a W-mod\i\c (for trivial group action).Moreover, if such a group A = T © F is given as a Gmodule, then A is automatically a W-module for G if the torsion part T is finite and Fis finite dimensional over Q.This follows by induction on \T\, the order of T, from the exact sequence 0 -> Sp -* A -> A/Sp = T/Sp © F '-* 0, wherep is any prime dividing |7j and Sp = [x G A: px = 0).(If T = 0, the statement is clear.)Proposition.Let G be a group, N a subnormal abelian subgroup of G, k a

A class of Abelian groups with hereditary rings of endomorphisms

For some classes of Abelian groups, an answer to the following question is presented: when is the union of homomorphic images of a group a subgroup of another group? In connection with this, the concept of a homomorphically stable group is introduced, and homomorphic stability of groups from different classes of Abelian groups is studied.

If H is a subgroup of an abelian group G and φ ∈ End(G), H is called φ-inert (and φ is H-inertial) if φ(H) ∩ H has finite index in the image φ(H). The notion of φ-inert subgroup arose and was investigated in a relevant way in the study of the so called intrinsic entropy of an endomorphism φ, while inertial endo-morphisms (these are endomorphisms that are H-inertial for every subgroup H) were intensively studied by Rinauro and the first named author.A subgroup H of an abelian group G is said to be fully inert if it is φ-inert for every φ ∈ End(G). This property, inspired by the “dual” notion of inertial endomorphism, has been deeply investigated for many different types of groups G. It has been proved that in some cases all fully inert subgroups of an abelian group G are commensurable with a fully invariant subgroup of G (e.g., when G is free or a direct sum of cyclic p-groups). One can strengthen the notion of fully inert subgroup by defining H to be uniformly fully inert if there exists a positive integer n such that |(H + φH)/H| ≤ n for every φ ∈ End(G). The aim of this paper is to study the uniformly fully inert subgroups of abelian groups. A natural question arising in this investigation is whether such a subgroup is commensurable with a fully invariant subgroup. This paper provides a positive answer to this question for groups belonging to several classes of abelian groups.

The purpose of this survey is to provide an introduction to the interesting role which set-theoretic methods have begun to play in the problem of determining the structure and classification of certain classes of abelian groups, in particular, the class of ω1-separable groups, i.e., groups such that every countable subset is contained in a Σ -cyclic summand.

Maximally localized Gabor orthonormal bases on locally compact Abelian groups

We study Pontryagin reflexivity in the class of precompact topological Abelian groups. We find reflexive groups among precompact not pseudocompact and among pseudocompact not compact groups. Making use of Martin's axiom we give an example of a reflexive countably compact not compact Abelian group. We also prove that every pseudocompact Abelian group is a quotient of a reflexive pseudocompact group with respect to a closed reflexive pseudocompact subgroup.

We present a calculus for first-order theorem proving in the presence of the axioms of totally ordered divisible abelian groups. The calculus extends previous superposition or chaining calculi for divisible torsion-free abelian groups and dense total orderings without endpoints. As its predecessors, it is refutationally complete and requires neither explicit inferences with the theory axioms nor variable overlaps. It offers thus an efficient way of treating equalities and inequalities between additive terms over, e. g., the rational numbers within a first-order theorem prover.

In this chapter, we discuss several special types of modules that will make frequent appearances later. These include semisimple modules, artinian modules, and torsionfree modules, which have prototypes in vector spaces, finite abelian groups, and torsionfree abelian groups, respectively. That special types of modules have useful roles in the study of arbitrary modules may be seen already in the case of abelian groups (i.e., ℤ-modules). In studying an arbitrary abelian group, an almost reflexive first step is to look at its torsion part (i.e., the torsion subgroup) and its torsionfree part (i.e., the factor group modulo the torsion subgroup), since entirely different techniques are available (and needed) for dealing with torsion groups and torsionfree groups. On the torsionfree side, vector spaces make an appearance due to the facts that the torsionfree divisible abelian groups are exactly the vector spaces over ℚ and that every torsionfree abelian group can be embedded in a divisible one. On the torsion side, many questions can be reduced to the case of finite abelian groups, since every torsion abelian group is a directed union of finite subgroups. In studying torsion abelian groups, one also reduces to the case of p -groups for various primes p . Vector spaces make another appearance here, since in an abelian p -group the set of elements of order p (together with 0) forms a vector space over ℤ/ p ℤ.