Definition:Maximal Ideal of Ring/Right

From ProofWiki
Jump to navigation Jump to search

Definition

Let $R$ be a ring.


A right ideal $J$ of $R$ is a maximal right ideal if and only if:

$(1): \quad J \subsetneq R$
$(2): \quad$ There is no right ideal $K$ of $R$ such that $J \subsetneq K \subsetneq R$.