| 词条 | List of irreducible Tits indices |
| 释义 |
In the mathematical theory of linear algebraic groups, a Tits index (or index) is an object used to classify semisimple algebraic groups defined over a base field k, not assumed to be algebraically closed. The possible irreducible indices were classified by Jacques Tits[1], and this classification is reproduced below. (Because every index is a direct sum of irreducible indices, classifying all indices amounts to classifying irreducible indices.) Organization of the listAn index can be represented as a Dynkin diagram with certain vertices drawn close to each other (the orbit of the vertices under the *-action of the Galois group of k) and with certain sets of vertices circled (the orbits of the non-distinguished vertices under the *-action). This representation captures the full information of the index except when the underlying Dynkin diagram is D4, in which case one must distinguish between an action by the cyclic group C3 or the permutation group S3. Alternatively, an index can be represented using the name of the underlying Dykin diagram together with additional superscripts and subscripts, to be explained momentarily. This representation, together with the labeled Dynkin diagram described in the previous paragraph, captures the full information of the index. The notation for an index is of the form gX{{su|p=t|b=n,r}}, where
An1AnImage: Full name: 1A{{su|b=n,r|p=(d)}} Conditions: d · (r + 1) = n + 1, d ≥ 1. Algebraic group: The special linear group SLr+1(D) where D is a central division algebra over k. Special fields: Over a finite field, d = 1; over the reals, d = 1 or 2; over a p-adic field or a number field, d is arbitrary. 2AnImage: Full name: 2A{{su|b=n,r|p=(d)}} Conditions: d | n + 1, d ≥ 1, 2rd ≤ n + 1. Algebraic group: The special unitary group SU(n+1)/d(D,h), where D is a central division algebra of degree d over a separable quadratic extension k' of k, and where h is a nondegenerate hermitian form of index r relative to the unique non-trivial k-automorphism of k' . Special fields: Over a finite field, d = 1 and r = ⌊(n+1)/2⌋; over the reals, d = 1; over a p-adic field, d = 1 and n = 2r − 1; over a number field, d and r are arbitrary. BnImage: Full name: Bn,rConditions: None. Algebraic group: The special orthogonal group SO2n+1(k,q), where q is a quadratic form of index r, and defect 1 if k has characteristic 2. Special fields: Over a finite field, r = n; over a p-adic field, r = n or n − 1; over the reals or a number field, r is arbitrary. CnImage: Full name: C{{su|b=n,r|p=(d)}} Conditions: 2n | 2n, d ≥ 1; n = r if d = 1. Algebraic group: The special unitary group SU2n/d(D,h), where D is a division algebra of degree d over k and h is a nondegenerate antihermitian form relative to a k-linear involution σ of D (also called an "involution of the first kind") such that the fixed-point subring Dσ has dimension 1/2 d(d + 1); or equivalently, when d > 1 and char k ≠ 2, the group SU2n/d where D and h are as above except that h is hermitian and D has dimension 1/2 d(d − 1). When d = 1, this group is the symplectic group Sp2n(k). Special fields: Over a finite field, d = 1; over the reals or a number field, d = 1 (and r = n) or d = 2; over a p-adic field, d = 1 (and r = n) or d = 2, and n = 2r or 2r − 1. Dn1DnImage: Full name: 1D{{su|b=n,r|p=(d)}} Conditions: d is a power of 2, d | 2n, d ≥ 1, rd ≤ n, n ≠ rd + 1. Algebraic group: If k has characteristic 2, the same as for Cn except that h is a hermitian form of discriminant 1 and index r. Special fields: Over a finite field, d = 1 and n = r; over the reals, d = 1 and n − r = 2m, or d = 2 and n = 2r; over a p-adic field, d = 1 and r = n or n − 2, or d = 2 and n = 2r or 2r + 3; over a number field, d = 1 and n − r = 2m, or d = 2 and n − 2r = 2m or 3. 2DnFull name: 2D{{su|b=n,r|p=(d)}} Image: 3D{{su|p=28|b=4,0}}Image: 6D{{su|b=4,0|p=28}}Image: 3D{{su|b=4,1|p=9}}Image: 6D{{su|b=4,1|p=9}}Image: 3D{{su|b=4,2|p=2}}Image: 6D{{su|b=4,2|p=2}}Image: E61E{{su|b=6,0|p=78}}Image: 1E{{su|b=6,2|p=28}}Image: 1E{{su|b=6,2|p=16}}Image: 1E{{su|b=6,6|p=0}}Image: 2E{{su|b=6,0|p=78}}Image: 2E{{su|b=6,1|p=35}}Image: 2E{{su|b=6,1|p=29}}Image: 2E{{su|b=6,2|p=16'}}Image: 2E{{su|b=6,2|p=16"}}Image: 2E{{su|b=6,4|p=2}}Image: E7E{{su|b=7,0|p=133}}Image: E{{su|b=7,1|p=78}}Image: E{{su|b=7,1|p=66}}Image: E{{su|b=7,1|p=48}}Image: E{{su|b=7,2|p=31}}Image: E{{su|b=7,3|p=28}}Image: E{{su|b=7,4|p=9}}Image: E{{su|b=7,7|p=0}}Image: E8E{{su|b=8,0|p=248}}Image: E{{su|b=8,1|p=133}}Image: E{{su|b=8,1|p=91}}Image: E{{su|b=8,2|p=78}}Image: E{{su|b=8,2|p=66}}Image: E{{su|b=8,4|p=28}}Image: E{{su|b=8,8|p=0}}Image: F4F{{su|b=4,0|p=52}}Image: Algebraic Group: The automorphism group of an exceptional simple Jordan algebra J that does not contain nonzero nilpotent elements. F{{su|b=4,1|p=21}}Image: Algebraic Group: The automorphism group of an exceptional simple Jordan algebra J containing nonzero nilpotent elements, no two of which are nonproportional and orthogonal. F{{su|b=4,4|p=0}}Image: Algebraic Group: The automorphism group of an exceptional simple Jordan algebra J containing nonproportional orthogonal nilpotent elements. G2A group of type G2 is always the automorphism group of an octonion algebra[2]. G{{su|b=2,0|p=14}}Image: Algebraic group: the automorphism group of a division octonion algebra. Special fields: Exists over the reals and number fields; does not exist over finite fields or a p-adic field. G{{su|b=2,2|p=0}}Image: Algebraic group: the automorphism group of a split octonion algebra. Special fields: Exists over a finite field, the reals, a p-adic field, and a number field. Notes1. ^{{harv|Tits|1966}} 2. ^{{harv|Jacobson|1939}} References
2 : Algebraic groups|Mathematics-related lists |
| 随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。