Misplaced Pages

Characteristic 2 type

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.

In finite group theory, a branch of mathematics, a group is said to be of characteristic 2 type or even type or of even characteristic if it resembles a group of Lie type over a field of characteristic 2.

In the classification of finite simple groups, there is a major division between group of characteristic 2 type, where involutions resemble unipotent elements, and other groups, where involutions resemble semisimple elements.

Groups of characteristic 2 type and rank at least 3 are classified by the trichotomy theorem.

Definitions

A group is said to be of even characteristic if

C M ( O 2 ( M ) ) O 2 ( M ) {\displaystyle C_{M}(O_{2}(M))\leq O_{2}(M)} for all maximal 2-local subgroups M that contain a Sylow 2-subgroup of G,

where O 2 ( M ) {\displaystyle O_{2}(M)} denotes the 2-core, the largest normal 2-subgroup of M, which is the intersection of all conjugates of any given Sylow 2-subgroup. If this condition holds for all maximal 2-local subgroups M then G is said to be of characteristic 2 type. Gorenstein, Lyons & Solomon (1994, p.55) use a modified version of this called even type.

References

Category: