Classical groups
Finite groups
Group schemes
Topological groups
Lie groups
Super-Lie groups
Higher groups
Cohomology and Extensions
Related concepts
Solid abelian groups are objects which form the basis of non-archimedean analysis in certain approaches, such as in 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 April 14, 2023 at 21:14:44. See the history of this page for a list of all contributions to it.