symmetric monoidal (∞,1)-category of spectra
For a ring, its group of units, denoted or , is the group whose elements are the elements of that are invertible under the product, and whose group operation is the multiplication in .
There is an adjunction
between the category of associative algebras over and that of groups, where forms the group algebra over and where assigns to an -algebra its group of units.
group of units/multiplicative group, Picard group, Brauer group