Singular Submodules of Abelian Groups over Their Endomorphism Rings

Jiang Yang; Xin Zhang

In the authors' words

Let $A$ be an abelian group and $E = \Endo_{Z} (A)$ . We give a module-theoretic description of the singular $E$ -submodules asked for in Fuchs' Problem~1.2. For a unital ring $R$ and a left $R$ -module $M$ , put $W = I_{R} (_{R} R) \oplus I_{R} (M)$ and $J = \Jaco (\Endo_{R} (W))$ , and let $u$ be the image of $1_{R}$ . The classical essential-kernel criterion yields \[ Z_R(M)=M\cap Ju. \] For $R = E$ and $M = A$ , all singular submodules are therefore the $E$ -submodules of $A \cap J u$ . Writing $T = t (A)$ and $B = A / T$ , we prove a torsion-transfer formula, identify the torsion part as $⨁_{p} p T_{p}$ , and describe simultaneous prime lifting by a canonical obstruction. The resulting extension gives an $\Extt / \Homm$ parametrization of all singular submodules. We obtain explicit formulas for torsion groups and for $Z (p^{\infty}) \oplus B$ with $B$ torsion-free; in the latter case the fully invariant subgroup lattice of $B$ occurs as an interval. The general description retains the induced endomorphism action and extension data, rather than giving a classification by classical group invariants.

Main resultLimitation the authors admit

Singular Submodules of Abelian Groups over Their Endomorphism Rings

In the authors' words

More on Algebra & number theory that day

Real quadratic fields and finite quantum dilogarithms I

Alt's Problem

On low-discrepancy sequences and Poissonian pair correlation

Super adaptable graphs and the realization problem

Projection Constants of Polynomial Spaces via Representation Theory