24.11.2017 Views

Abelian Groups - László Fuchs [Springer]

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

616 16 Endomorphism Rings<br />

In the next result we are referring to the completion QA and the cotorsion hull A <br />

of a group A.<br />

Proposition 1.7.<br />

(i) Let A be a group with A 1 D 0.i.e., Hausdorff in the Z-adic topology/. For every<br />

2 End A, there is a unique Q 2 End QA such that Q A D .<br />

(ii) For a reduced torsion group T, there is a natural isomorphism End T Š End T <br />

between the endomorphism rings.<br />

Proof.<br />

(i) The hypothesis A 1 D 0 allows us to regard A as a pure subgroup of QA. Bythe<br />

pure-injectivity of QA, can be extended to an Q W QA ! QA which must be unique<br />

in view of the density of A in QA.<br />

(ii) The exact sequence 0 ! T ! T ! D ! 0 with torsion-free divisible<br />

D induces the exact sequence 0 D Hom.D; T / ! Hom.T ; T / !<br />

Hom.T; T / ! Ext.D; T / D 0. Hence and from the obvious Hom.T; T / Š<br />

Hom.T; T/ the claim is evident.<br />

ut<br />

Inessential Endomorphisms When studying the endomorphisms of reduced<br />

p-groups, we always have to deal with endomorphisms to and from cyclic summands.<br />

These as well as the small endomorphisms are ‘inessential’ endomorphisms:<br />

they do not reveal much about the group structure. The relevant information<br />

about the group encoded in the endomorphism ring is actually in the other<br />

endomorphisms. Also, certain torsion-free groups (like separable groups) admit<br />

endomorphisms that provide hardly any information about group. The idea of<br />

formalizing this phenomenon is due to Corner–Göbel [1]. We define this concept<br />

in the local case.<br />

Let A be a reduced p-local group with A 1 D 0, andB a basic subgroup of A.<br />

Evidently, B A QB,andevery 2 End A extends uniquely to an Q 2 End QB.Now<br />

2 End A is called inessential if Q. QB/ A: The inessential endomorphisms form<br />

an ideal of End A, denoted Ines A.<br />

Example 1.8. Let A Š .J p / .N/ . Thus B Š .Z .p/ / .N/ and QB

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!