symmetric monoidal (∞,1)-category of spectra
The quotient of a ring by an ideal.
Given a ring and a two-sided ideal with canonical --bimodule monomorphism , the quotient of by is the initial two-sided -algebra with canonical ring homomorphism such that for every element , : for any other -algebra with canonical ring homomorphism such that for every element , , there is a unique ring homomorphism such that .
Given a ring and a left ideal with canonical left -module monomorphism , the quotient of by is the initial left -algebra with canonical ring homomorphism such that for every element , : for any other -algebra with canonical ring homomorphism such that for every element , , there is a unique ring homomorphism such that .
Given a ring and a right ideal with canonical right -module monomorphism , the quotient of by is the initial right -algebra with canonical ring homomorphism such that for every element , : for any other -algebra with canonical ring homomorphism such that for every element , , there is a unique ring homomorphism such that .
See also
Last revised on May 26, 2022 at 18:25:02. See the history of this page for a list of all contributions to it.