Definition:Congruence Modulo an Ideal

From ProofWiki
Jump to: navigation, search

Definition

Let $\left({R, +, \circ}\right)$ be a ring, and let $J$ be an ideal of $R$.


The notation:

$a \equiv b \pmod J$

is used to mean:

$a + \left({-b}\right) \in J$


Also known as

Sometimes the notation:

$a \left({J}\right) b$

is used.


Sources