Definition:Principal Ideal of Ring

From ProofWiki
Jump to navigation Jump to search

Definition

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

Let $a \in R$.


We define:

$\ideal a = \displaystyle \set {\sum_{i \mathop = 1}^n r_i \circ a \circ s_i: n \in \N, r_i, s_i \in R}$


The ideal $\ideal a$ is called the principal ideal of $R$ generated by $a$.


Also see

  • Results about principal ideals can be found here.


Sources