Definition:Ideal of Ring/Left Ideal

From ProofWiki
Jump to navigation Jump to search

This page is about Left Ideal of Ring in the context of Ring Theory. For other uses, see Ideal.

Definition

Let $\struct {R, +, \circ}$ be a ring.

Let $\struct {J, +}$ be a subgroup of $\struct {R, +}$.


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

$\forall j \in J: \forall r \in R: r \circ j \in J$

that is, if and only if:

$\forall r \in R: r \circ J \subseteq J$


Also see


Sources