Definition:Maximal Ideal of Ring/Left

From ProofWiki
Jump to navigation Jump to search

Definition

Let $R$ be a ring.


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

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