In mathematics, an affine algebraic group is said to be diagonalizable if it is isomorphic to a subgroup of Dn, the group of diagonal matrices. A diagonalizable group defined over a field k is said to split over k or k-split if the isomorphism is defined over k. This coincides with the usual notion of split for an algebraic group. Every diagonalizable group splits over the separable closure ks of k. Any closed subgroup and image of diagonalizable groups are diagonalizable. The torsion subgroup of a diagonalizable group is dense.

The category of diagonalizable groups defined over k is equivalent to the category of finitely generated abelian groups with Gal(ks/k)-equivariant morphisms without p-torsion, if k is of characteristic p. This is an analog of Poincaré duality and motivated the terminology.

A diagonalizable k-group is said to be anisotropic if it has no nontrivial k-valued character.

The so-called "rigidity" states that the identity component of the centralizer of a diagonalizable group coincides with the identity component of the normalizer of the group. The fact plays a crucial role in the structure theory of solvable groups.

A connected diagonalizable group is called an algebraic torus (which is not necessarily compact, in contrast to a complex torus). A k-torus is a torus defined over k. The centralizer of a maximal torus is called a Cartan subgroup.

See also

edit

References

edit
Stub icon

This group theory–related article is a stub. You can help Wikipedia by adding missing information.

Stub icon

This algebraic geometry–related article is a stub. You can help Wikipedia by adding missing information.

📚 Artikel Terkait di Wikipedia

Diagonalizable matrix

In linear algebra, a square matrix A {\displaystyle A}  is called diagonalizable or non-defective if it is similar to a diagonal matrix. That is, if there

Group scheme

abelian group A, one can form the corresponding diagonalizable group D(A), defined as a functor by setting D(A)(T) to be the set of abelian group homomorphisms

Cartier duality

commutative S-group schemes to itself. If G is a constant commutative group scheme, then its Cartier dual is the diagonalizable group D(G), and vice

Orthogonal group

matrix is diagonalizable. A matrix A = [ a b c d ] {\displaystyle A={\begin{bmatrix}a&b\\c&d\end{bmatrix}}} belongs to the orthogonal group if AQAT =

Logarithm of a matrix

matrices. A method for finding log ⁡ A {\displaystyle \log A} for a diagonalizable matrix A {\displaystyle A} is the following: Find the matrix V {\displaystyle

Unipotent

for example for a diagonalizable matrix with eigenvalues that are all roots of unity. In the theory of algebraic groups, a group element is unipotent

Representation theory of the Lorentz group

{\mathfrak {sl}}(2,\mathbb {C} )} are traceless. But then Q is diagonalizable, hence q is diagonalizable, which is a contradiction. Rossmann 2002, Proposition

Diagonal subgroup

can be proved using the action of the twofold diagonal subgroup. Diagonalizable group Sahai, Vivek; Bist, Vikas (2003), Algebra, Alpha Science Int'l Ltd