This past year has been my first as faculty at Baylor University. While here I have had the chance to work and collaborate with a remarkable graduate student, Alexandra Pasi-Fitzmaurice. She and her advisor, Daniel Herden, have been investigating a certain family of infinite abelian groups called -free groups, specifically looking at how these groups sit within the logic structures of the axioms of ZFC (what most other mathematicians would call “regular” mathematics). The two of them recently posted an article on the arXiv (“On the Absoluteness of -Freeness,” arXiv link: 2104.10341). There is a beautiful mixture of elegance and surprise to this problem which I’ve just fallen in love with. Lexi and Daniel were very generous when they gave me the opportunity to collaborate with them on an upcoming work which I’ll be spending a series of posts in the future to fleshing out.
This paper deals with -free groups. Recall that an (abelian) group is called free if it can be written as for distinct elements in . An -free group is an abelian group of rank , that is, the dimension of the vector space is , the first infinite cardinal greater than ( is the cardinality of the natural numbers), such that any countable subgroup of is free. For an example of such a group, the most accessible one is the ‘Baer-Specker’ group, , which fails to be free but is -free. From an algebraic point of view, the -free groups are remarkably complex. Through a combination of theorems of Corner, Dugas, and Göbel in the mid-80’s, it was established that any ring which has a free additive group can be realized as the endomorphism ring of an -free group.
On the other hand, if one views -free groups from a set theoretic point of view, these groups are rather simple. Up until this paper, the following theorem seems to be ‘folklore’ among the mathematicians studying infinite abelian groups.
Theorem: The notion of an -free group is absolute in ZFC.
Without getting into too many technical details, the absolute notions of ZFC are those that are resilient in the face of model extension. For example an ordered pair of two elements in the set remains an ordered pair no matter the transitive model extension, similarly the property of being an ordinal is an absolute notion; the set is absolute, and even is absolute. Many properties that are usually taken for granted are not absolute. Of note among these is the notion of uncountable cardinality. Given any transitive model of ZFC such that is an uncountable cardinal, there is a model extension of which puts the set in one-to-one correspondence with , the first infinite (but still countable) cardinal. Essentially, in the model extension, the cardinality of is “collapsed” to be countable.
No matter the model extension, absolute properties will not change. By analyzing the statements of various well-known theorems in abelian groups, most notably the Pontryagin Criterion, Pasi and Herden establish that -freeness is an absolute property. This is a very strong statement which can be used to simplify many proofs involving -free groups, for example.
Lemma: If and are -free for abelian groups , then is -free.
Proof: Say that there is a countable, transitive model of ZFC for which . Then take a generic extension of such that is countable in . Then and are countable -free groups in , thus they are free groups. Since being free and being free together mean that is free. Then we can pull back down to the model where is at least -free by absoluteness. So is free.
This is a really cool project and I’m looking forward to showing y’all what we’ve done as a follow-up to this.