Homotopy Type Theory ideal (ring theory) > history (Rev #2, changes)

Showing changes from revision #1 to #2: Added | Removed | Changed

Definition

An ideal of a commutative ring $R$ is an $(R,R)$ (R, R R)-$R$-bimodule $I$ with an $R$ -bimodule -$R$-bimodule monomorphism $i:I \to R$.

See also

• commutative ring

• bimodule

• principal ideal?

• finitely generated ideal?

• prime ideal?

• irreducible ideal?