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

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

Definition

An ideal of a ring $R$ is an $R$-$R$-bimodule $I$ with an a monic$R$-$R$ -bimodule - monomorphism bimodule homomorphism $i:I \to R$.

See also

• commutative ring

• bimodule

• bimodule homomorphism

• principal ideal?

• finitely generated ideal?

• prime ideal?

• irreducible ideal?