title: Karakteristieke ondergroep
text: In de groepentheorie, een deelgebied van de wiskunde, is een karakteristieke ondergroep een ondergroep die gesloten is onder alle automorfismen van de groep zelf. Deze eis is sterker dan voor een normale ondergroep, en zwakker dan het vereiste voor de volledig invariante ondergroep. 
  
  Voorbeelden van karakteristieke ondergroepen zijn de commutatorondergroep en het centrum van een groep.
  
  Definitie 
  Een karakteristieke ondergroep van een groep  is een ondergroep  die invariant is onder elk automorfisme van . Dat betekent voor elk groepsautomorfisme , dus een bijectief homomorfisme van de groep  op zichzelf,en voor elke  geldt dat , of anders gezegd: 
  
  Het gevolg is: 
  
  Men noteert wel , als  een karakteristieke ondergroep van  is
  
  Groepentheorie