En teoría de grupos , el teorema de la tricotomía divide los grupos finitos simples de tipo característico 2 y clasifica al menos 3 en tres clases. Fue demostrado por Aschbacher (1981, 1983) para el rango 3 y por Gorenstein y Lyons (1983) para el rango al menos 4. Las tres clases son grupos de tipo GF(2) (clasificados por Timmesfeld y otros), grupos de "estándar tipo" para algún primo impar (clasificado por el teorema de Gilman-Griess y el trabajo de varios otros), y grupos de tipo de 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, Señor 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 , señor 0688262
- Gorenstein, D .; Lyons, Richard (1983), "La estructura local de grupos finitos de tipo característico 2", Memorias de la Sociedad Matemática Estadounidense , 42 (276): vii+731, doi :10.1090/memo/0276, ISBN 978-0-8218-2276-0, ISSN 0065-9266, SEÑOR 0690900