symmetric monoidal (∞,1)-category of spectra
The unitalization of a non-unital algebra is a unital algebra with a “unit” (an identity element) freely adjoined.
This is a free functor: Rng Ring.
For a commutative ring write for the category of nonassociative algebras with unit over and unit-preserving homomorphisms, and write for nonunital nonassociative -algebras. Note that is a subcategory of , as we use both ‘non-unital’ and ‘non-associative’ in accordance with the red herring principle.
The inclusion functor has a left adjoint . For we say is the unitalization of .
Explicitly, as an -module, with product given by
or in general
We often write as or , which makes the above formulas obvious.
If is an associative algebra, then will also be associative; if is a commutative algebra, then will also be commutative.
See
The unitalization functor is not a conservative functor (Andruszkiewicz).
However, it does become conservative when restricted to the full subcategory of nonunital algebras over a field that do not admit a surjective homomorphism to (Andruszkiewicz).
Unitisation in the generality of Ek-algebra – hence for nonunital Ek-algebras – unitalization is the content of (Lurie, prop. 5.2.3.13).
Jacob Lurie, section 5.2.3 of Higher Algebra
Ryszard R. Andruszkiewicz, Surprise at Adjoining an Identity to an Algebra, Vietnam Journal of Mathematics, doi.
Last revised on April 24, 2021 at 19:27:32. See the history of this page for a list of all contributions to it.