Abstract. Call c.d.-group a completely decomposable Abelian group of finite rank. Butler’s Theorem proves that the class of pure subgroups of c.d. groups equals the class of torsionfree quotients of c.d.-groups. While one implication of the equivalence is proved by an applicable construction, the other is a far from applicable finite induction, and even its later proof in Arnold’s book is not constructive. We give an alternative proof of this implication by providing a workable algorithm, which minimizes the construction in certain cases, building not only the c.d. container of the Butler group but also the inclusion morphism.

Butler's theorem revisited

DE VIVO, CLORINDA;METELLI, CLAUDIA
2012

Abstract

Abstract. Call c.d.-group a completely decomposable Abelian group of finite rank. Butler’s Theorem proves that the class of pure subgroups of c.d. groups equals the class of torsionfree quotients of c.d.-groups. While one implication of the equivalence is proved by an applicable construction, the other is a far from applicable finite induction, and even its later proof in Arnold’s book is not constructive. We give an alternative proof of this implication by providing a workable algorithm, which minimizes the construction in certain cases, building not only the c.d. container of the Butler group but also the inclusion morphism.
File in questo prodotto:
File Dimensione Formato  
Articolo.pdf

non disponibili

Tipologia: Documento in Pre-print
Licenza: Accesso privato/ristretto
Dimensione 470.66 kB
Formato Adobe PDF
470.66 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11588/413294
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact