Let be elements in a commutative ring . Use
to denote the equivalence class of in .
Then firstly we have:
[]
<p>and with that result it can be seen that:</p>
[
]
Recap of ring generators:
Ring generators
Let be an element of a ring. The subset is a
left-ideal and the subset is a right-ideal. If is a
commutative ring, the ideals coincide, and the syntax is used to
denote the ideal.