Tits group

Last updated

In group theory, the Tits group2F4(2)′, named for Jacques Tits (French: [tits] ), is a finite simple group of order

Contents

   211 · 33 · 52 · 13 = 17,971,200.

This is the only simple group that is a derivative of a group of Lie type that is not a group of Lie type in any series from exceptional isomorphisms. It is sometimes considered a 27th sporadic group.

History and properties

The Ree groups 2F4(22n+1) were constructed by Ree (1961), who showed that they are simple if n  1. The first member 2F4(2) of this series is not simple. It was studied by JacquesTits  ( 1964 ) who showed that it is almost simple, its derived subgroup 2F4(2)′ of index 2 being a new simple group, now called the Tits group. The group 2F4(2) is a group of Lie type and has a BN pair, but the Tits group itself does not have a BN pair. The Tits group is member of the infinite family 2F4(22n+1)′ of commutator groups of the Ree groups, and thus by definition not sporadic. But because it is also not strictly a group of Lie type, it is sometimes regarded as a 27th sporadic group. [1]

The Schur multiplier of the Tits group is trivial and its outer automorphism group has order 2, with the full automorphism group being the group 2F4(2).

The Tits group occurs as a maximal subgroup of the Fischer group Fi22. The group 2F4(2) also occurs as a maximal subgroup of the Rudvalis group, as the point stabilizer of the rank-3 permutation action on 4060 = 1 + 1755 + 2304 points.

The Tits group is one of the simple N-groups, and was overlooked in John G. Thompson's first announcement of the classification of simple N-groups, as it had not been discovered at the time. It is also one of the thin finite groups.

The Tits group was characterized in various ways by Parrott ( 1972 , 1973 ) and Stroth (1980).

Maximal subgroups

Wilson (1984) and Tchakerian (1986) independently found the 8 classes of maximal subgroups of the Tits group as follows:

L3(3):2 Two classes, fused by an outer automorphism. These subgroups fix points of rank 4 permutation representations.

2.[28].5.4 Centralizer of an involution.

L2(25)

22.[28].S3

A6.22 (Two classes, fused by an outer automorphism)

52:4A4

Presentation

The Tits group can be defined in terms of generators and relations by

where [a, b] is the commutator a−1b−1ab. It has an outer automorphism obtained by sending (a, b) to (a, b(ba)5b(ba)5).

Notes

  1. For instance, by the ATLAS of Finite Groups and its web-based descendant

Related Research Articles

<span class="mw-page-title-main">Sporadic group</span> Finite simple group type not classified as Lie, cyclic or alternating

In the mathematical classification of finite simple groups, there are a number of groups which do not fit into any infinite family. These are called the sporadic simple groups, or the sporadic finite groups, or just the sporadic groups.

<span class="mw-page-title-main">Suzuki sporadic group</span> Sporadic simple group

In the area of modern algebra known as group theory, the Suzuki groupSuz or Sz is a sporadic simple group of order

<span class="mw-page-title-main">Thompson sporadic group</span> Sporadic simple group

In the area of modern algebra known as group theory, the Thompson groupTh is a sporadic simple group of order

<span class="mw-page-title-main">Held group</span> Sporadic simple group

In the area of modern algebra known as group theory, the Held groupHe is a sporadic simple group of order

<span class="mw-page-title-main">O'Nan group</span> Sporadic simple group

In the area of abstract algebra known as group theory, the O'Nan groupO'N or O'Nan–Sims group is a sporadic simple group of order

<span class="mw-page-title-main">Rudvalis group</span> Sporadic simple group

In the area of modern algebra known as group theory, the Rudvalis groupRu is a sporadic simple group of order

<span class="mw-page-title-main">Harada–Norton group</span> Sporadic simple group

In the area of modern algebra known as group theory, the Harada–Norton groupHN is a sporadic simple group of order

<span class="mw-page-title-main">Group of Lie type</span>

In mathematics, specifically in group theory, the phrase group of Lie type usually refers to finite groups that are closely related to the group of rational points of a reductive linear algebraic group with values in a finite field. The phrase group of Lie type does not have a widely accepted precise definition, but the important collection of finite simple groups of Lie type does have a precise definition, and they make up most of the groups in the classification of finite simple groups.

In mathematics, a Ree group is a group of Lie type over a finite field constructed by Ree from an exceptional automorphism of a Dynkin diagram that reverses the direction of the multiple bonds, generalizing the Suzuki groups found by Suzuki using a different method. They were the last of the infinite families of finite simple groups to be discovered.

Janko group J<sub>1</sub> Sporadic simple group

In the area of modern algebra known as group theory, the Janko groupJ1 is a sporadic simple group of order

Janko group J<sub>4</sub> Sporadic simple group

In the area of modern algebra known as group theory, the Janko groupJ4 is a sporadic simple group of order

Mathieu group M<sub>12</sub> Sporadic simple group

In the area of modern algebra known as group theory, the Mathieu groupM12 is a sporadic simple group of order

<span class="mw-page-title-main">McLaughlin sporadic group</span> Sporadic simple group

In the area of modern algebra known as group theory, the McLaughlin group McL is a sporadic simple group of order

In the mathematical classification of finite simple groups, a thin group is a finite group such that for every odd prime number p, the Sylow p-subgroups of the 2-local subgroups are cyclic. Informally, these are the groups that resemble rank 1 groups of Lie type over a finite field of characteristic 2.

In the area of modern algebra known as group theory, the Suzuki groups, denoted by Sz(22n+1), 2B2(22n+1), Suz(22n+1), or G(22n+1), form an infinite family of groups of Lie type found by Suzuki, that are simple for n ≥ 1. These simple groups are the only finite non-abelian ones with orders not divisible by 3.

In mathematical finite group theory, the Dempwolff group is a finite group of order 319979520 = 215·32·5·7·31, that is the unique nonsplit extension of by its natural module of order . The uniqueness of such a nonsplit extension was shown by Dempwolff (1972), and the existence by Thompson (1976), who showed using some computer calculations of Smith (1976) that the Dempwolff group is contained in the compact Lie group as the subgroup fixing a certain lattice in the Lie algebra of , and is also contained in the Thompson sporadic group (the full automorphism group of this lattice) as a maximal subgroup.

In mathematics, a Sastry automorphism, is an automorphism of a field of characteristic 2 satisfying some rather complicated conditions related to the problem of embedding Ree groups of type 2F4 into Chevalley groups of type F4. They were introduced by Sastry (1995), and named and classified by Bombieri (2002) who showed that there are 22 families of Sastry automorphisms, together with 22 exceptional ones over some finite fields of orders up to 210.

Fischer group Fi<sub>22</sub> Sporadic simple group

In the area of modern algebra known as group theory, the Fischer groupFi22 is a sporadic simple group of order

Conway group Co<sub>1</sub> Sporadic simple group

In the area of modern algebra known as group theory, the Conway groupCo1 is a sporadic simple group of order

References