WHEN ARE DIVISIBLE ABELIAN GROUPS INJECTIVE?

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:

In the paper, necessary and sufficient conditions for an Abelian group A to be isomorphic to the endomorphism group End(A) are obtained. The classes of periodic Abelian groups, divisible Abelian groups, nonreduced Abelian groups, and reduced algebraically compact Abelian groups are considered. For certain classes of Abelian groups, the isomorphism problem for a group and its endomorphism group is solved under the assumption that the endomorphism group itself has the corresponding property.

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.

On the torsion rank of divisible multiplicative groups of fields

The Schur multiplier of central product of groups

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 ℤ.

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}}$$ .

Divisible multiplicative groups of fields

We are investigating cellular covers of abelian groups (for definition, see Preliminaries). Surjective cellular covers of divisible abelian groups have been characterized in a recent paper by Chacholski–Farjoun–Gobel–Segev [2]; see Theorem 3.1. After presenting a new, simple proof of this theorem, we concentrate on reduced groups. For reduced torsion groups the only surjective cellular covers are the trivial ones (Theorem 4.3). On the other hand, even rank 1 torsion-free groups may have cellular covers of arbitrarily large cardinalities (Theorem 5.3). Interestingly, those rank 1 torsion-free groups that do not admit such large cellular covers have only the trivial cellular covers (Theorem 5.4).

Let F be a Henselian field. For a finite extension K of F, the norm factor group [Formula: see text] is computed. As an application, structure of the tame Brauer group of a generalized local field is determined. In particular, we observe that every torsion divisible abelian group is realizable as the tame Brauer group of a generalized local field.

Locally finite Sylp*-groups

The usual duality for finite dimensional vector spaces induces a duality F on the category of torsion free quotient divisible abelian groups of finite rank with quasi-homomorphisms as morphisms. This duality preserves rank, is exact, hence preserves quasi-direct sums, sends free groups to divisible groups and conversely, and has the property that for all primes p, p-rank FA = rank A -p-rank A.