Baer-Specker group: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Richard Pinch
(New article, my own wording from Wikipedia)
 
mNo edit summary
 
(2 intermediate revisions by one other user not shown)
Line 1: Line 1:
{{subpages}}
In [[mathematics]], in the field of [[group theory]], the '''Baer-Specker group''', or '''Specker group''' is an example of an infinite Abelian group which is a building block in the structure theory of such groups.
In [[mathematics]], in the field of [[group theory]], the '''Baer-Specker group''', or '''Specker group''' is an example of an infinite Abelian group which is a building block in the structure theory of such groups.


Line 5: Line 6:


==Properties==
==Properties==
[[Reinhold Baer]] proved in 1937 that this group is ''not'' [[Free abelian group|free abelian]]; Specker proved in 1950 that every countable subgroup of ''B''</sup> is free abelian.  
[[Reinhold Baer]] proved in 1937 that this group is ''not'' [[Free abelian group|free abelian]]; Specker proved in 1950 that every countable subgroup of ''B'' is free abelian.  


==See also==
==See also==
Line 11: Line 12:


==References==
==References==
* {{cite book | author=Phillip A. Griffith | title=Infinite Abelian group theory | series=Chicago Lectures in Mathematics | publisher=University of Chicago Press | year=1970 | isbn=0-226-30870-7 | pages=1, 111-112}}  
* {{cite book | author=Phillip A. Griffith | title=Infinite Abelian group theory | series=Chicago Lectures in Mathematics | publisher=University of Chicago Press | year=1970 | isbn=0-226-30870-7 | pages=1, 111-112}}[[Category:Suggestion Bot Tag]]
 
[[Category:Abelian groups]]
 
{{algebra-stub}}

Latest revision as of 16:01, 15 July 2024

This article is developing and not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
This editable Main Article is under development and subject to a disclaimer.

In mathematics, in the field of group theory, the Baer-Specker group, or Specker group is an example of an infinite Abelian group which is a building block in the structure theory of such groups.

Definition

The Baer-Specker group is the group B = ZN of all integer sequences with componentwise addition, that is, the direct product of countably many copies of Z.

Properties

Reinhold Baer proved in 1937 that this group is not free abelian; Specker proved in 1950 that every countable subgroup of B is free abelian.

See also

References

  • Phillip A. Griffith (1970). Infinite Abelian group theory. University of Chicago Press, 1, 111-112. ISBN 0-226-30870-7.