A Class of Strongly Decomposable Abelian Groups

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

Let C be an Abelian group. A class X of Abelian groups is called a CE•H-class if, for every groups A, B ∈ X, the isomorphisms E•(A) ≅ E•(B) and Hom(C, A) ≅ Hom(C, B) imply the isomorphism A ≅ B. In the paper, necessary and sufficient conditions on a completely decomposable torsion-free Abelian group C are described under which a given class of torsion-free Abelian groupsisa CE•H-class.

Let C be an Abelian group. An Abelian group A from a class X of Abelian groups is said to be CH-definable in X if, for any group B ∈ X, the isomorphism Hom(C,A) ≅ Hom(C,B) implies that A ≅ B. If every group from X is CH-definable in X, then X is called an CH-class. In this paper, we study conditions under which a class of completely decomposable torsion-free Abelian groups is an CH-class, where C is a vector group.

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

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

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:

Let R be an associative ring with a unit and N be a left R-module. The set MR(N) = {f: N → N | f(rx) = rf(x), r ∈ R, x ∈ N} is a near-ring with respect to the operations of addition and composition and contains the ring ER(N) of all endomorphisms of the R-module N. The R-module N is endomorphic if MR(N) = ER(N). We call an Abelian group endomorphic if it is an endomorphic module over its endomorphism ring. In this paper, we find endomorphic Abelian groups in the classes of all separable torsion-free groups, torsion groups, almost completely decomposable torsion-free groups, and indecomposable torsion-free groups of rank 2.

In the work of Herden and Strüngmann (In Models, modules and Abelian groups (2008) 169–186 de Gruyter), an embedding problem for torsion-free Abelian groups was considered. It was shown for a large class of such groups, including the class of all bounded extensions of completely decomposable groups, that any member of the class can be purely embedded into some completely decomposable group. Moreover, an algorithm was given that determines explicitly the pure embedding and the completely decomposable overgroup. We continue the approach from the work of Herden and Strüngmann (In Models, modules and Abelian groups (2008) 169–186 de Gruyter) improving the algorithm and extending the main theorem to a broader class of torsion-free Abelian groups including some Hawaiian groups from the article of Mader and Strüngmann (J. Algebra 229 (2000) 205–233) and thus complementing the main result from the article of Strüngmann (Proc. Amer. Math. Soc. 137 (2009) 3657–3668). A byproduct and starting point for this generalization will be a discussion of the following group class problem: Which groups $G$ have the property that for any cardinal $\kappa$ any subgroup $U$ of the direct sum $G^{(\kappa)}$ is the kernel of some endomorphism of $G^{(\kappa)}$?

The hopficity property in a well-known class of Abelian groups—completely decomposable torsion-free groups—as well as in a class of modules over generalized matrix rings is studied. Examples of non-Hopfian completely decomposable torsion-free group are constructed.

E-nilpotent and E-solvable Abelian groups are studied. The properties of such groups are studied, and examples illustrating the differences and connections between the investigated classes of groups are presented. The structure of E-solvable periodical, completely decomposable, coperiodic, split mixed, and other groups is shown.

First, we give a necessary and sufficient condition for a torsion-free rank-one subgroup of an arbitrary abelian group to be purifiable in a given group and show that all pure hulls of a purifiable torsion-free rank-one subgroup are isomorphic. Next, we show that if a $T(G)$-high subgroup A of an abelian group $G$ is purifiable in $G$, then there exists a subgroup $T'$ of $T(G)$ such that $G=H\oplus T'$ for every pure hull $H$ of $A$ in $G$. An abelian group $G$ is said to be a strongly ADE decomposable group if there exists a purifiable $T(G)$-high subgroup of $G$. We present an example $G$ such that not all $T(G)$-high subgroups of a strongly ADE decomposable group G are purifiable in $G$. Moreover, we characterize the strongly ADE decomposable groups of torsion-free rank 1. Finally, we use previous results to give a necessary and sufficient condition for an abelian group of torsion-free rank 1 to be splitting.

The research of my dissertation was motivated by the conjecture of Thomassen that every 4-connected line graph is hamiltonian and by the conjecture of Matthews and Sumner that every 4-connected claw-free graph is hamiltonian. Towards the hamiltonian line graph problem, we proved that every 3-edge-connected, essentially 4-edge-connected graph G has a spanning eulerian subgraph, if for every pair of adjacent vertices u and v, dG(u) + dG(v) ≥ 9. A straight forward corollary is that every 4-connected, essentially 6-connected line graph with minimum degree at least 7 is hamiltonian.;We also investigate graphs G such that the line graph L(G) is hamiltonian connected when L( G) is 4-connected. Ryjacek and Vrana recently further conjectured that every 4-connected line graph is hamiltonian-connected. In 2001, Kriesell proved that every 4-connected line graph of a claw free graph is hamiltonian connected. Recently, Lai et al showed that every 4-connected line graph of a quasi claw free graph is hamiltonian connected, and that every 4-connected line graph of an almost claw free graph is hamiltonian connected. In 2009, Broersma and Vumer discovered the P3-dominating (P3D) graphs as a superfamily that properly contains all quasi claw free graphs, and in particular, all claw-free graphs. Here we prove that every 4-connected line graph of a P3D graph is hamiltonian connected, which extends several former results in this area.;R. Gould [15] asked what natural graph properties of G and H are sufficient to imply that the product of G and H is hamiltonian. We first investigate the sufficient and necessary conditions for G x H being hamiltonian or traceable when G is a hamiltonian graph and H is a tree. Then we further investigate sufficient and necessary conditions for G x H being hamiltonian connected, or edge-pancyclic, or pan-connected.;The problem of group colorings of graphs is also investigated in this dissertation. Group coloring was first introduced by Jeager et al. [21]. They introduced a concept of group connectivity as a generalization of nowhere-zero flows. They also introduced group coloring as a dual concept to group connectivity. Prior research on group chromatic number was restricted to simple graphs, and considered only Abelian groups in the definition of chi g(G). The behavior of group coloring for multigraphs is different to that of simple graphs. Thus we extend the definition of group coloring by considering general groups (both Abelian groups and non-Abelian groups), and investigate the properties of chig for multigraphs

Representations of posets in certain modules are used to find indecomposable almost completely decomposable torsion-free abelian groups. For a special class of almost completely decomposable groups we determine the possible ranks of indecomposable groups and show that the possible ranks are realized by indecomposable groups in the class.

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.

The Abelian group, also known as the exchange group, is a class of groups which satisfy the exchange law. This paper reviews Abelian groups from the perspective of mappings and gives sufficient and necessary conditions for a group to be an Abelian group under several special mappings.