Uitwendig automorfisme

In de abstracte algebra is een uitwendig automorfisme van een groep elk automorfisme dat geen inwendig automorfisme is.

Definitie

bewerken

Van een groep   is de uitwendige-automorfismegroep   de factorgroep van de gehele automorfismegroep en de groep van inwendige automorfismen.

 ,

met   de automorfismegroep van   en   de normaaldeler van inwendige automorfismen.

De motivatie van deze definitie is de volgende. Als men voor een bepaalde   de automorfismegroep bestudeert, is er altijd een subgroep van inwendige automorfismen. Deze zijn in zekere zin triviale automorfismen: ze zijn immers altijd aanwezig. Vaak is men dus geïnteresseerd in de verzameling van niet-inwendige automorfismen. Daarom dat men soms zegt dat groepsautomorfismen die niet inwendig zijn, uitwendig zijn. De meer precieze definitie van hierboven is een klein beetje anders. Door het quotiënt te nemen van inwendige automorfismen (in de plaats van het verschil), vallen automorfismen die niet inwendig zijn, maar op een inwendig automorfisme na gelijk zijn, in dezelfde equivalentieklasse. Dat geeft dus een iets natuurlijkere notie van het begrip uitwendige automorfisme.

Verdere informatie

bewerken

Het vermoeden van Schreier stelt dat als   een eindige enkelvoudige groep is,   een oplosbare groep is. Deze uitspraak is waar als gevolg van de classificatie van eindige enkelvoudige groepen, hoewel geen eenvoudiger bewijs bekend is.