Definition:Ideal of Ring/Also known as

From ProofWiki
Jump to navigation Jump to search

Ideal of Ring: Also known as

An ideal can also be referred to as a two-sided ideal to distinguish it from a left ideal and a right ideal.

Some sources use $I$ to denote an ideal, but on $\mathsf{Pr} \infty \mathsf{fWiki}$ this can be too easily conflated with an identity mapping.

Some sources refer to such a two-sided ideal as a normal subring, in apposition with the concept of a normal subgroup.