Powered by GitBook

1 of 1

Loading...

Ideals

Example: Ideals of the integers

Definition - Ideal of $\mathbb{Z}$

$I \subseteq \mathbb{Z}$ is an ideal $\iff \forall \ a, b \in I \text{ and} , z\ \in \mathbb{Z}$ we have

Example: - multiples of

Remarks:

we have
is an ideal

Example: Consider . This ideal contains

Greatest common divisor

Let be 2 integers. If

a + b \in I \text{ and } az \in I

a\mathbb{Z} = \{az \ : \ z \in \mathbb{Z} \} \to 2\mathbb{Z}, 3\mathbb{Z}, 4\mathbb{Z}, \dots

a

\forall a, b \in \mathbb{Z}

b \in a\mathbb{Z} \iff a | b

I_1 + I_2 = \{a_1 + a_2 \ : \ a_1 \in I_1 , a_2 \in I_2\}

18\mathbb{Z} + 12\mathbb{Z}

6 = 18 \cdot 1 + 12 \cdot (-1) \Rightarrow 18\mathbb{Z} + 12\mathbb{Z} = 6\mathbb{Z}

a, b \in \mathbb{Z}

d = \gcd(a, b) \Rightarrow a\mathbb{Z} + b\mathbb{Z} = d\mathbb{Z}