Elle se fonde sur l'idée que l'ensemble des « symétries » (au sens : automorphismes) d'un espace vectoriel possède une structure de groupe.
ɛl sə- fˈɔ̃d syʁ lidˈe kə lɑ̃sˈɑ̃bl de- « simetʁˈi » o sˈɑ̃s : otomɔʁfˈism dœ̃n ɛspˈas vɛktoʁjˈɛl pɔsˈɛd yn stʁyktˈyʁ də- ɡʁˈup.