Stewart's theorem: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>Circlesareround
m →‎Proof: italic variables
en>Yobot
m Remove invisible unicode control characters + other fixes using AWB (10381)
 
(One intermediate revision by one other user not shown)
Line 1: Line 1:
In [[mathematics]], in the realm of [[Abelian group|abelian]] [[group theory]], a [[Group (mathematics)|group]] is said to be '''algebraically compact''' if it is a [[direct summand]] of every abelian group containing it as a [[pure subgroup]].
The author's title is Christy. Invoicing is my profession. To perform lacross is some thing he would by no means give up. Ohio is where her house is.<br><br>Here is my page: love psychic ([http://www.familysurvivalgroup.com/easy-methods-planting-looking-backyard/ www.familysurvivalgroup.com])
 
Equivalent characterizations of algebraic compactness:
* The group is complete in the <math>\mathbb{Z}</math> adic topology.
* The group is ''pure injective'', that is, injective with respect to exact sequences where the embedding is as a pure subgroup.
 
Relations with other properties:
* A [[torsion-free group]] is [[cotorsion group|cotorsion]] if and only if it is algebraically compact.
* Every [[injective group]] is algebraically compact.
* [[Ulm factor]]s of cotorsion groups are algebraically compact.
==External links==
* [http://www.springerlink.com/index/W3W06361813J347X.pdf On endomorphism rings of Abelian groups]
[[Category:Abelian group theory]]
[[Category:Properties of groups]]

Latest revision as of 15:13, 17 August 2014

The author's title is Christy. Invoicing is my profession. To perform lacross is some thing he would by no means give up. Ohio is where her house is.

Here is my page: love psychic (www.familysurvivalgroup.com)