[Citat] fie multimea M={x+y*radical din 7|x,y apartine lui Z}
N={x+y*radical din 7|x,y apartine lui Z, x patrat- 7y patrat=1}
sa se arate ca multimea N este parte stabila a lui M in raport cu inmultirea. |
N este parte stabila al lui M daca si numai daca orice z, z' din N avem zz' este din N.
Fie
, x,y din Z si
si fie
cu x',y' din Z si
.
Este evident ca xx'+7yy' si xy'+x'y sunt intregi.