Éléments d'un groupe quotient
Bonjour,
je travaille les groupes quotients pour l'agreg interne.
Dans le Berhuy : Algèbre, le grand combat,
l'exercice E1 p 285 demande la liste des éléments du groupe quotient $\mathbb{Z}^2/H$, où $H = \{ (x;y)\in \mathbb{Z}^2 \mid x+y\in 2\mathbb{Z},\ x-y\in 3\mathbb{Z}\}$, puis la table de la loi de ce groupe quotient.
Un élément est une classe d'équivalence de la forme : $(x;y)+H$,
c'est-à-dire $\{ (x+x_1;y+y_1) \in \mathbb{Z}^2 \mid x_1+y_1\in 2\mathbb{Z},\ x_1-y_1\in 3\mathbb{Z}\}$,
mais je me doute que ce n'est pas l'écriture attendue.
Quelqu'un pourrait-il me donner une idée ?
Cordialement.
je travaille les groupes quotients pour l'agreg interne.
Dans le Berhuy : Algèbre, le grand combat,
l'exercice E1 p 285 demande la liste des éléments du groupe quotient $\mathbb{Z}^2/H$, où $H = \{ (x;y)\in \mathbb{Z}^2 \mid x+y\in 2\mathbb{Z},\ x-y\in 3\mathbb{Z}\}$, puis la table de la loi de ce groupe quotient.
Un élément est une classe d'équivalence de la forme : $(x;y)+H$,
c'est-à-dire $\{ (x+x_1;y+y_1) \in \mathbb{Z}^2 \mid x_1+y_1\in 2\mathbb{Z},\ x_1-y_1\in 3\mathbb{Z}\}$,
mais je me doute que ce n'est pas l'écriture attendue.
Quelqu'un pourrait-il me donner une idée ?
Cordialement.
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
Tu as de saines lectures.
Peut-être peux-tu préciser qui est $H$. À quelle condition $(x,y) \in H$ ?
Bon Star Wars Day.
e.v.
merci pour ta réponse.
$(x,y) \in H \Leftrightarrow x \equiv y\ [2]\ \text{et}\ x \equiv y\ [3]$
$(x,y) \in H \Leftrightarrow x \equiv y\ [6]$.
Cordialement.
pour le dessin,
je vois H comme l'ensemble des points à coordonnées entières situés sur les droites d'équation $y=x+6k$ avec $k \in \mathbb{Z}$.
Cordialement.
Edit : j'explicite.
Thierry
merci Thierry pour la formalisation de H.
Cordialement.
Par exemple, le point $(1,0)$ et le point $(-1,4)$ diffèrent d'un élément de $H$ donc ils sont égaux dans le quotient (i.e. ont la même image par la projection canonique) (figure ci-dessous).
Le parallélogramme est le domaine fondamental du pavage, le « motif de base ». Cela veut dire que tout point du plan est dans l'image de ce parallélogramme par une unique translation par un vecteur appartenant à $H$ (il y a deux ou quatre translations si le point est sur le bord ou est un sommet d'un tel parallélogramme). C'est vrai en particulier des points à coordonnées entières.
Le parallélogramme permet de deviner un système de représentants de $\Z^2/H$ dans $\Z^2$ : ce sont les points entiers qu'il contient. Pourquoi au fait ?
je devine que $\mathbb{Z}^2/H$ est composé de 6 éléments : $\overline{(0,0)}$, $\overline{(0,1)}$, $\overline{(0,2)}$, $\overline{(0,3)}$, $\overline{(0,4)}$ et $\overline{(0,5)}$.
Pour la justification, on pourrait dire que n'importe quel point de $\mathbb{Z}^2$ appartient à un ensemble du type $(0,k)+H$ où $k \in [\![ 0 ; 5 ]\!]$.
Pour la table de la loi sur $\mathbb{Z}^2/H$ :
soit $k \in [\![ 0 ; 5 ]\!]$ et $k' \in [\![ 0 ; 5 ]\!]$,
$\overline{(0,k)} + \overline{(0,k')} = \overline{(0,c)}$ où $c \equiv k+k' \ [6]$.
Merci pour ces dessins et leurs interprétations que l'on ne trouve jamais dans les livres.
ordialement.
On observe les points entiers dans le parallélogramme : $(0,0)$, $(1,0)$, $(2,0)$, $(3,0)$, $(4,0)$, $(5,0)$ (je n'ajoute pas $(6,0)$ parce qu'à translation par un élément de $H$ près, c'est $(0,0)$).
À présent, on prend un élément $(x,y)\in\Z^2$ et on montre qu'il est dans la classe $\gamma+H$ d'un unique $\gamma$ parmi les six précédents. On commence par revenir sur la droite : $(x,y)=(x-y,0)+y(1,1)$, où $(1,1)$ et donc $y(1,1)$ appartient à $H$. Puis on effectue la division euclidienne de $x-y$ par $6$ : $x-y=6q+r$ avec $0\le r<6$, ce qui donne $(x,y)=(r,0)+q(6,0)+r(1,1)$. Cela prouve que \[\Z^2/H=\bigl\{(r,0)+H,\ 0\le r<6\bigr\}.\] Enfin, on vérifie que $(r,0)-(r',0)\notin H$ pour $r,r'\in\{0,\dots,5\}$, ce qui permet de conclure.
Et la justification des éléments de $\mathbb{Z}^2/H$ est très claire : je me rends compte
que j'ai du mal à formaliser ces idées.
Votre rédaction est bien utile pour comprendre tout cela.
Merci d'avoir conclu la question.
Cordialement.