Lemme de Zassenhaus

Dans les mathématiques , le lemme de papillon de ou le lemme de Zassenhaus de , baptisé du nom de Hans Jules Zassenhaus , est un résultat technique sur le trellis de des sous-groupes d'un groupe .

Lemme de : supposent que le (, de G \ Omega) est un groupe de avec les opérateurs et A et C sont des sous-groupes de que supposent B de

\ sous-ensemble A et D \ sous-ensemble C

sont les sous-groupes stables alors, le de

(A \ chapeau C) b (A \ chapeau D) B est le isomorphe à d de (A \ chapeau C) (B \ chapeau C) D.

Zassenhaus s'est avéré ce lemme spécifiquement fournir les preuves les plus douces du théorème d'amélioration de Schreier de . Le « papillon » devient évident en essayant de dessiner le Hasse diagram des divers groupes impliqués.

Random links:Matthews, Missouri | Liste de gouverneurs de Kronoberg | Centre d'information pour des droits de l'homme et la démocratie | Hans Gmür | Frank William Taussig | Lema_de_Zassenhaus