prop-fr:contenu
| - Pour la représentation de degré 7, les six coefficients restant à déterminer se calculent avec les produits scalaires entre le caractère à déterminer et les précédents. Il n'existe qu'une seule solution de norme 1. Enfin, la connaissance du caractère de la représentation régulière et des 5 premiers caractères permet le calcul de χ8. (fr)
- Remarquons, dans un premier temps qu'il n'existe pas de morphisme surjectif du groupe dans un groupe cyclique de plus d'un élément. En effet, pour que le morphisme soit surjectif, le groupe d'arrivée possède nécessairement un ordre qui divise 168. Si un tel morphisme existait, il existerait nécessairement un morphisme surjectif dans un groupe cyclique d'ordre 2, 3 ou 7. Un morphisme à valeur dans un groupe cyclique d'ordre 2 est nul sur les classes C3, C7a et C7b, c'est-à-dire sur plus de la moitié des éléments du groupe G, un tel morphisme a nécessairement pour image l'élément neutre. Un morphisme dans un groupe cyclique d'ordre 3 est nécessairement nul sur les classes C4, C7a et C7b, il est donc nul. Le même raisonnement montre qu'il est aussi nul s'il est à valeur dans un groupe d'ordre 7. Comme tout caractère de degré 1 est aussi un morphisme d'image un groupe cyclique, le seul caractère de degré 1 est le caractère trivial.
* Représentation de degré 2 : (fr)
- Pour les automorphismes image d'un élément de C2, les valeurs propres sont, soit 1 soit -1 et la trace est égale à 1 ou 3 en valeur absolue. Comme la norme du caractère est égale à 1, 3 en valeur absolue n'est pas une valeur possible. Pour C, un raisonnement analogue montre que la trace est égale à 1 en valeur absolue. L'orthogonalité de χ3a avec χ1 permet de déterminer les signes manquants. Le raisonnement s'applique de la même manière à χ3b.
* Autres représentations : (fr)
- * Représentation de degré 1 : (fr)
- Soit H un sous-groupe distingué non trivial de G. Si H ne contient ni élément d'ordre 7, ni élément d'ordre 3, son ordre est un diviseur de 168 qui n'est multiple ni de 3 ni de 7, c'est-à-dire un diviseur de 8. Alors H contient un élément d'ordre 2, donc les 21 éléments conjugués d'ordre 2, ce qui est impossible.
Si H contient un élément d'ordre 3, il les contient alors tous car ils sont dans la même classe de conjugaison. En ajoutant l'élément neutre, on trouve au moins 57 éléments dans le groupe. Le seul diviseur strict de 168 plus grand que 57 est 84, ce qui montre que H contient un élément d'ordre 2 et un élément d'ordre 7, donc la classe des éléments d'ordre 2 et une classe d'éléments d'ordre 7 sont dans le groupe H. L'ordre de H est strictement supérieur à 84, H est donc le groupe G.
Si H contient un élément d'ordre 7, H les contient tous : soient ceux-ci lui sont conjugués, soit ils sont les conjugués de son inverse, qui a pour polynôme minimal le polynôme réciproque. Donc H contient au moins 49 éléments. Les entiers supérieurs à 49 divisant 168 sont 168, 84 et 56. Tous ces diviseurs sont des multiples de 2, ce qui montre que H contient la classe des éléments d'ordre 2, donc possède au moins 49+21 = 70 éléments. Il ne reste plus que les cardinaux 168 et 84, H contient nécessairement un élément d'ordre 3, donc les 56 éléments de la classe de conjugaison, c'est le groupe entier. (fr)
- Un raisonnement analogue montre que les valeurs propres d'un automorphisme image d'un élément de C3 possède trois valeurs propres distinctes et toutes trois racines troisièmes de l'unité, ce qui montre que le caractère est nul sur cette classe, car la somme des trois racines est nulle. (fr)
- Il existe une unique représentation de degré 1 et aucune de dimension 2. De plus, les six degrés sont des diviseurs de 168 et la somme de leurs carrés vaut 168. Or l'unique décomposition de 168 en somme de 6 carrés dont le premier est 1 et les suivants sont des carrés d'entiers appartenant à {3,4,6,7,8,12} est :Les degrés des représentations irréductibles sont donc 1, 3, 3, 6, 7 et 8. Ceci permet de remplir la première ligne et la première colonne du tableau.
* Représentations de degré 3 : (fr)
- Déterminons les caractères des représentations irréductibles de degré 3. Le même raisonnement que précédemment montre que si φ est un automorphisme image d'un élément de C7a, il possède comme valeurs propres trois racines primitives septième de l'unité λ, λa et λb, où a et b sont deux entiers compris entre 1 et 6 tel que a est plus petit que b. Comme la trace de φ est égale à celle de φ2 la valeur λ + λa + λb est égale à la valeur λ2 + λ2a + λ2b, donc a est égal à 2 et b à 4. On remarque que la somme de λ + λ2 + λ4 et de λ3 + λ5 + λ6 est égale à -1 et le produit à 2. On en déduit que le caractère sur la classe C7a est égal à 1/2.. Le produit scalaire de χ1 et de χ3a est égal à 0. De plus, l'expression i ne se retrouve dans le caractère d'aucune classe autre que C7a et C7b, et on en déduit que si le caractère est égal à 1/2. sur C7a, il vaut nécessairement 1/2.C7b et vice-versa. (fr)
- Le raisonnement précédent montre que la trace d'un automorphisme image d'un élément de C7a est l'une des trois valeurs : -1, -1 + i ou -1 - i, si le degré de la représentation irréductible est égale à 6. Les deux dernières valeurs sont impossibles car la norme du caractère serait strictement supérieure à 1. Le calcul des produits scalaires de χ6 avec χ1, χ3a et χ6 permet de conclure. (fr)
- Il n'existe pas de représentation irréductible de degré 2. Pour cela, il suffit de considérer la trace de l'image φ d'un élément de C7a. L'automorphisme φ est diagonalisable car son polynôme minimal est un diviseur de X7 – 1 donc ne possède pas de racine multiple. On en déduit que φ admet deux valeurs propres λζ et μζ, où ζ est une racine primitive de l'unité et a, b sont deux entiers compris entre 0 et 6. On remarque que φ2 est aussi dans C7a, ce qui montre que λ + μ est égal à λ2 + μ2. En notant r et s les restes de la division euclidienne de 2a et 2b par 7, on en déduit que le polynôme X + X – X – X est divisible par le polynôme cyclotomique d'indice 7, ce qui n'est possible que s'il est nul, c'est-à-dire r = a et s = b ou r = b et s = a. Dans les deux cas, on en déduit que a et b sont nuls modulo 7, i.e. λ et μ sont tous les deux égaux à 1. La trace de l'image d'un élément C7a ou de C7b est nécessairement égale à 2. Le calcul de la norme du caractère associé à cette représentation donne un résultat strictement supérieur à 1, ce qui montre que la représentation n'est pas irréductible.
* Degrés des six représentations irréductibles : (fr)
|