Ring theory: Ideals being equal Question: Prove directly, without gcd computations, the following equalities of ideals.
(i) $(5, 7) = (1)$ in $\Bbb{Z}$ (of course (1) = $\Bbb Z$). 
(ii) $(15, 9) = (3)$ in $Z$.
(iii) $(X^3 −1,X^2 −1) = (X −1)  \text{ in } \Bbb{Q} [X]$
Attempted solution: 
Try to show that $(1)$ is a subset of $(5,7)$ and that $(5,7)$ is a subset of $(1)$
First thing is $(5,7) = 5x + 7y$ with $x,y$ integers. Then by the closure under addition of the integers $(5,7)$ is a subset of $(1)$ as $(1)$ is the integers
Next to show $(5,7)$ is a subset of $(1)$ I try to say if $x$ belongs to integers, $x=5q + 7p, 1=5q + 7p$, then $x=x . 1= x(5q + 7 p)$ which is $5q' +7p'$, which shows that if $x$ is an integer then it's also in $(5,7)$

For (i) you have that $1 = 5x + 7y$ for some $x,y \in \Bbb{Z}$. This can be done using the Euclidean algorithm. One solution is $x = 3$, $y=-2$. Thus any integer $z$ can be written as $z = z\cdot1 = z\cdot(5\cdot3 - 14\cdot2)$, and we have $\Bbb{Z} = (1) = (5,7)$. 
For (ii), we use basically the same process, but show that $3$ can be written as $15x+9y$, since both $15$ and $9$ can obviously be written as a multiple of $3$. Euclidean algorithm once again gives $x=2,y=-3$. 
For (iii), we have that $X^3-1 = (X-1)(X^2+X+1)$, and $X^2-1 = (X-1)(X+1)$, thus $(X^3-1,X^2-1) \subset (X-1)$. For the other direction we want some $f,g \in \Bbb{Q}[X]$ such that $(X^3-1)f + (X^2-1)g = X-1$. We use the same Euclidean algorithm, but use polynomial division instead of integer division and get $f = 1$ and $g=-X$. This gives $(X-1) \subset (X^3 -1,X^2-1)$. 
