En teoría de grupos , el teorema de tricotomía divide los grupos finitos simples de tipo característico 2 y rango al menos 3 en tres clases. Fue demostrado por Aschbacher (1981, 1983) para rango 3 y por Gorenstein y Lyons (1983) para rango al menos 4. Las tres clases son grupos de tipo GF(2) (clasificados por Timmesfeld y otros), grupos de "tipo estándar" para algún primo impar (clasificados por el teorema de Gilman-Griess y el trabajo de varios otros), y grupos de tipo unicidad , donde Aschbacher demostró que no hay grupos simples.
Referencias
- Aschbacher, Michael (1981), "Grupos finitos de rango 3. I", Inventiones Mathematicae , 63 (3): 357–402, Bibcode :1981InMat..63..357A, doi :10.1007/BF01389061, ISSN 0020-9910, MR 0620676
- Aschbacher, Michael (1983), "Grupos finitos de rango 3. II", Inventiones Mathematicae , 71 (1): 51–163, Bibcode :1983InMat..71...51A, doi :10.1007/BF01393339, ISSN 0020-9910, MR 0688262
- Gorenstein, D. ; Lyons, Richard (1983), "La estructura local de grupos finitos de tipo característico 2", Memorias de la American Mathematical Society , 42 (276): vii+731, doi :10.1090/memo/0276, ISBN 978-0-8218-2276-0, ISSN 0065-9266 , MR0690900
