Baer–Specker group

In mathematics, in the field of group theory, the Baer–Specker group, or Specker group, named after Reinhold Baer and Ernst Specker, 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 = Z^N of all integer sequences with componentwise addition, that is, the direct product of countably infinitely many copies of Z. It can equivalently be described as the additive group of formal power series with integer coefficients.

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.

The group of homomorphisms from the Baer–Specker group to a free abelian group of finite rank is a free abelian group of countable rank. This provides another proof that the group is not free.{{harvtxt|Blass|Göbel|1996}} attribute this result to {{harvtxt|Specker|1950}}. They write it in the form $P^*\cong S$ where $P$ denotes the Baer-Specker group, the star operator gives the dual group of homomorphisms to $\mathbb{Z}$ , and $S$ is the free abelian group of countable rank. They continue, "It follows that $P$ has no direct summand isomorphic to $S$ ", from which an immediate consequence is that $P$ is not free abelian.

Notes

References

{{citation

| last = Baer | first = Reinhold | author-link = Reinhold Baer

| doi = 10.1215/S0012-7094-37-00308-9

| hdl = 10338.dmlcz/100591 | issue = 1

| journal = Duke Mathematical Journal

| mr = 1545974

| pages = 68–122

| title = Abelian groups without elements of finite order

| volume = 3

| year = 1937| hdl-access = free

}}.

{{citation

| last1 = Blass | first1 = Andreas | author1-link = Andreas Blass

| last2 = Göbel | first2 = Rüdiger

| arxiv = math/9405206

| issue = 1

| journal = Fundamenta Mathematicae

| mr = 1372355

| pages = 19–29

| title = Subgroups of the Baer-Specker group with few endomorphisms but large dual

| volume = 149

| year = 1996| doi = 10.4064/fm-149-1-19-29 | bibcode = 1994math......5206B| s2cid = 18281146 }}.

{{citation

| last = Specker | first = Ernst | author-link = Ernst Specker

| journal = Portugaliae Mathematica

| mr = 0039719

| pages = 131–140

| title = Additive Gruppen von Folgen ganzer Zahlen

| volume = 9

| year = 1950}}.

{{citation

| last = Griffith | first = Phillip A. | authorlink = Phillip Griffith

| isbn = 0-226-30870-7

| pages = 1, 111–112

| publisher = University of Chicago Press

| series = Chicago Lectures in Mathematics

| title = Infinite Abelian group theory

| year = 1970}}.

Cornelius, E. F., Jr. (2009), "Endomorphisms and product bases of the Baer-Specker group", Int'l J Math and Math Sciences, 2009, article 396475, https://www.hindawi.com/journals/ijmms/

External links

Stefan Schröer, [http://reh.math.uni-duesseldorf.de/~schroeer/publications_pdf/infinite_product-1.pdf Baer's Result: The Infinite Product of the Integers Has No Basis]

Category:Abelian group theory