Solid abelian groups are objects which form the basis of non-archimedean analysis in certain approaches to mathematics, such as condensed mathematics.
A solid abelian group is an additive functor from the category of free abelian groups to the category of abelian groups.
This definition is due to Dustin Clausen here.
Let be a profinite set, and define the condensed abelian group , where is the free abelian group on the set . There is a natural map which induces a map .
A solid abelian group is a condensed abelian group such that for all profinite sets and all maps , there is a unique map such that .
According to Peter Scholze in this comment on the nCafé in the absense of the presentation axiom, the category of solid abelian groups is not a condensed category.
Last revised on May 30, 2022 at 12:57:03. See the history of this page for a list of all contributions to it.