Bonsoir, j'ai cet exo sans correction et je ne vois vraiment pas...
On pose G = { a + ib / (a,c) l'ensemble Z }
1. Montrer que G est un sous-anneau de l'ensemble C (appelé anneau de Gauss). Est-ce un corps?
On note G* l'ensemble des éléments inversibles de G.
2. Montrer que pour tout z G on a: z G* <=> |z| = 1 .
3. En déduire G*. Vérifir que G* est un sous-groupe de (C*, x).
De façon générale, soit (A, +, x) un anneau de A* l'ensemble des éléments inversibles de A (i.e. symétrisables pour la multiplication x).
Montrer que (A*, x) est un groupe.
Merci de bien vouloir m'aider si ça ne vous prend pas trop de temps, moi je sèche :(