# nLab abelian infinity-group

Contents

group theory

### Cohomology and Extensions

#### Higher algebra

higher algebra

universal algebra

# Contents

## Idea

An ordinary group is either an abelian group or not. For an ∞-group there is an infinite tower of notions ranging from completely non-abelian to completely abelian. An abelian ∞-group is one which is maximally abelian. This is equivalently a connective spectrum object.

## Proposition

### Relation to commutative $\infty$-rings

###### Definition

Write

$gl_1 \; \colon \; CRing_\infty \to AbGrp_\infty$

for the (∞,1)-functor which sends a commutative ∞-ring to its ∞-group of units.

###### Definition

The ∞-group of units (∞,1)-functor of def. is a right-adjoint (∞,1)-functor (or at least a right adjoint on homotopy categories)

$CRing_\infty \stackrel{\overset{\mathbb{S}[-]}{\leftarrow}}{\underset{gl_1}{\to}} AbGrp_\infty \,.$

This is (ABGHR 08, theorem 2.1).

## Examples

A-∞ operadA-∞ algebra∞-groupA-∞ space, e.g. loop spaceloop space object
E-k operadE-k algebrak-monoidal ∞-groupiterated loop spaceiterated loop space object
E-∞ operadE-∞ algebraabelian ∞-groupE-∞ space, if grouplike: infinite loop space $\simeq$ ∞-spaceinfinite loop space object
$\simeq$ connective spectrum$\simeq$ connective spectrum object
stabilizationspectrumspectrum object

## References

General discussion is in section 5 of

Discussion in the context of E-∞ rings and twisted cohomology is in

Last revised on July 1, 2016 at 13:14:56. See the history of this page for a list of all contributions to it.