Bonjour,
Si je considère un groupe simple non abélien T et k un entier positif, alors dans un de mes livres ils définissent un groupe de type diagonal comme un groupe G tel que :
où Out(T) désigne les automorphismes externes (donc) et
est le groupe symétrique à k éléments.
mais je ne comprend pas bien, comment définit il![]()
?
Je sais définir l'ensemblesi G et H sont des sous groupes d'un groupe donné mais la c'est assez étrange. Et comment sait-il que T^k en est un sous-groupe ?
merci bien![]()
-----