|
Borel Subgroup
In the theory of algebraic groups, a Borel subgroup of an algebraic group ''G'' is a maximal Zariski closed and connected solvable algebraic subgroup. For example, in the general linear group ''GLn'' (''n x n'' invertible matrices), the subgroup of invertible upper triangular matrices is a Borel subgroup. For groups realized over algebraically closed fields, there is a single conjugacy class of Borel subgroups. Borel subgroups are one of the two key ingredients in understanding the structure of simple (more generally, reductive) algebraic groups, in Jacques Tits' theory of groups with a (''B'', ''N'') pair. Here the group ''B'' is a Borel subgroup and ''N'' is the normalizer of a maximal torus contained in ''B''. The notion was introduced by Armand Borel, who played a leading role in the development of the theory of algebraic groups. Parabolic subgroups Subgroups between a Borel subgroup ''B'' and the ambient group ''G'' are called parabolic subgroups. Parabolic subgr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Groups
In mathematics, an algebraic group is an algebraic variety endowed with a group structure that is compatible with its structure as an algebraic variety. Thus the study of algebraic groups belongs both to algebraic geometry and group theory. Many groups of geometric transformations are algebraic groups, including orthogonal groups, general linear groups, projective groups, Euclidean groups, etc. Many matrix groups are also algebraic. Other algebraic groups occur naturally in algebraic geometry, such as elliptic curves and Jacobian varieties. An important class of algebraic groups is given by the affine algebraic groups, those whose underlying algebraic variety is an affine variety; they are exactly the algebraic subgroups of the general linear group, and are therefore also called ''linear algebraic groups''. Another class is formed by the abelian varieties, which are the algebraic groups whose underlying variety is a projective variety. Chevalley's structure theorem states that ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Complete Variety
In mathematics, in particular in algebraic geometry, a complete algebraic variety is an algebraic variety , such that for any variety the projection morphism :X \times Y \to Y is a closed map (i.e. maps closed sets onto closed sets). This can be seen as an analogue of compactness in algebraic geometry: a topological space is compact if and only if the above projection map is closed with respect to topological products. The image of a complete variety is closed and is a complete variety. A closed subvariety of a complete variety is complete. A complex variety is complete if and only if it is compact as a complex-analytic variety. The most common example of a complete variety is a projective variety, but there do exist complete non-projective varieties in dimensions 2 and higher. While any complete nonsingular surface is projective, there exist nonsingular complete varieties in dimension 3 and higher which are not projective. The first examples of non-projective complete va ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mirabolic Subgroup
In mathematics, a mirabolic subgroup of the general linear group GL''n''(''k'') is a subgroup consisting of automorphisms fixing a given non-zero vector in ''k''''n''. Mirabolic subgroups were introduced by . The image of a mirabolic subgroup in the projective general linear group is a parabolic subgroup consisting of all elements fixing a given point of projective space. The word "mirabolic" is a portmanteau of "miraculous parabolic". As an algebraic group, a mirabolic subgroup is the semidirect product of a vector space with its group of automorphisms, and such groups are called mirabolic groups. The mirabolic subgroup is used to define the Kirillov model of a representation of the general linear group. As an example, the group of all matrices of the form \begin a & b \\ 0 & 1 \end where is a nonzero element of the field Field may refer to: Expanses of open ground * Field (agriculture), an area of land used for agricultural purposes * Airfield, an aerodrome that lacks th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cartan Subgroup
In the theory of algebraic groups, a Cartan subgroup of a connected linear algebraic group G over a (not necessarily algebraically closed) field k is the centralizer of a maximal torus. Cartan subgroups are smooth (equivalently reduced), connected and nilpotent. If k is algebraically closed, they are all conjugate to each other. Notice that in the context of algebraic groups a ''torus'' is an algebraic group T such that the base extension T_ (where \bar is the algebraic closure of k) is isomorphic to the product of a finite number of copies of the \mathbf_m=\mathbf_1. Maximal such subgroups have in the theory of algebraic groups a role that is similar to that of maximal tori in the theory of Lie group In mathematics, a Lie group (pronounced ) is a group (mathematics), group that is also a differentiable manifold, such that group multiplication and taking inverses are both differentiable. A manifold is a space that locally resembles Eucli ...s. If G is reductive (in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hyperbolic Group
In group theory, more precisely in geometric group theory, a hyperbolic group, also known as a ''word hyperbolic group'' or ''Gromov hyperbolic group'', is a finitely generated group equipped with a word metric satisfying certain properties abstracted from classical hyperbolic geometry. The notion of a hyperbolic group was introduced and developed by . The inspiration came from various existing mathematical theories: hyperbolic geometry but also low-dimensional topology (in particular the results of Max Dehn concerning the fundamental group of a hyperbolic Riemann surface, and more complex phenomena in three-dimensional topology), and combinatorial group theory. In a very influential (over 1000 citations ) chapter from 1987, Gromov proposed a wide-ranging research program. Ideas and foundational material in the theory of hyperbolic groups also stem from the work of George Mostow, William Thurston, James W. Cannon, Eliyahu Rips, and many others. Definition Let G be a fin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Parabolic Lie Algebra
In algebra, a parabolic Lie algebra \mathfrak p is a subalgebra of a semisimple Lie algebra \mathfrak g satisfying one of the following two conditions: * \mathfrak p contains a maximal solvable subalgebra (a Borel subalgebra) of \mathfrak g; * the orthogonal complement with respect to the Killing form of \mathfrak p in \mathfrak g is isomorphic to the nilradical of \mathfrak p. These conditions are equivalent over an algebraically closed field of characteristic zero, such as the complex numbers. If the field \mathbb F is not algebraically closed, then the first condition is replaced by the assumption that * \mathfrak p\otimes_\overline contains a Borel subalgebra of \mathfrak g\otimes_\overline where \overline is the algebraic closure of \mathbb F. Examples For the general linear Lie algebra \mathfrak=\mathfrak_n(\mathbb F), a parabolic subalgebra is the stabilizer of a partial flag of \mathbb F^n, i.e. a sequence of nested linear subspaces. For a complete flag, the stabilize ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Weight Space (representation Theory)
In the mathematical field of representation theory, a weight of an algebra ''A'' over a field F is an algebra homomorphism from ''A'' to F, or equivalently, a one-dimensional representation of ''A'' over F. It is the algebra analogue of a multiplicative character of a group. The importance of the concept, however, stems from its application to representations of Lie algebras and hence also to representations of algebraic and Lie groups. In this context, a weight of a representation is a generalization of the notion of an eigenvalue, and the corresponding eigenspace is called a weight space. Motivation and general concept Given a set ''S'' of n \times n matrices over the same field, each of which is diagonalizable, and any two of which commute, it is always possible to simultaneously diagonalize all of the elements of ''S''.In fact, given a set of commuting matrices over an algebraically closed field, they are simultaneously triangularizable, without needing to assume that they a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Borel Subalgebra
In mathematics, specifically in representation theory, a Borel subalgebra of a Lie algebra \mathfrak is a maximal solvable subalgebra. The notion is named after Armand Borel. If the Lie algebra \mathfrak is the Lie algebra of a complex Lie group, then a Borel subalgebra is the Lie algebra of a Borel subgroup. Borel subalgebra associated to a flag Let \mathfrak g = \mathfrak(V) be the Lie algebra of the endomorphisms of a finite-dimensional vector space ''V'' over the complex numbers. Then to specify a Borel subalgebra of \mathfrak g amounts to specify a flag of ''V''; given a flag V = V_0 \supset V_1 \supset \cdots \supset V_n = 0, the subspace \mathfrak b = \ is a Borel subalgebra, and conversely, each Borel subalgebra is of that form by Lie's theorem. Hence, the Borel subalgebras are classified by the flag variety of ''V''. Borel subalgebra relative to a base of a root system Let \mathfrak g be a complex semisimple Lie algebra, \mathfrak h a Cartan subalgebra and ''R'' the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Order Theory
Order theory is a branch of mathematics that investigates the intuitive notion of order using binary relations. It provides a formal framework for describing statements such as "this is less than that" or "this precedes that". This article introduces the field and provides basic definitions. A list of order-theoretic terms can be found in the order theory glossary. Background and motivation Orders are everywhere in mathematics and related fields like computer science. The first order often discussed in primary school is the standard order on the natural numbers e.g. "2 is less than 3", "10 is greater than 5", or "Does Tom have fewer cookies than Sally?". This intuitive concept can be extended to orders on other sets of numbers, such as the integers and the reals. The idea of being greater than or less than another number is one of the basic intuitions of number systems in general (although one usually is also interested in the actual difference of two numbers, which is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cartan Subalgebra
In mathematics, a Cartan subalgebra, often abbreviated as CSA, is a nilpotent subalgebra \mathfrak of a Lie algebra \mathfrak that is self-normalising (if ,Y\in \mathfrak for all X \in \mathfrak, then Y \in \mathfrak). They were introduced by Élie Cartan in his doctoral thesis. It controls the representation theory of a semi-simple Lie algebra \mathfrak over a field of characteristic 0 . In a finite-dimensional semisimple Lie algebra over an algebraically closed field of characteristic zero (e.g., a Cartan subalgebra is the same thing as a maximal abelian subalgebra consisting of elements ''x'' such that the adjoint endomorphism \operatorname(x) : \mathfrak \to \mathfrak is semisimple (i.e., diagonalizable). Sometimes this characterization is simply taken as the definition of a Cartan subalgebra.pg 231 In general, a subalgebra is called toral if it consists of semisimple elements. Over an algebraically closed field, a toral subalgebra is automatically abelian. Thus, ove ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lie Algebra
In mathematics, a Lie algebra (pronounced ) is a vector space \mathfrak g together with an operation called the Lie bracket, an alternating bilinear map \mathfrak g \times \mathfrak g \rightarrow \mathfrak g, that satisfies the Jacobi identity. In other words, a Lie algebra is an algebra over a field for which the multiplication operation (called the Lie bracket) is alternating and satisfies the Jacobi identity. The Lie bracket of two vectors x and y is denoted ,y/math>. A Lie algebra is typically a non-associative algebra. However, every associative algebra gives rise to a Lie algebra, consisting of the same vector space with the commutator Lie bracket, ,y= xy - yx . Lie algebras are closely related to Lie groups, which are groups that are also smooth manifolds: every Lie group gives rise to a Lie algebra, which is the tangent space at the identity. (In this case, the Lie bracket measures the failure of commutativity for the Lie group.) Conversely, to any finite-di ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Parabolic Subgroup Of A Reflection Group
In the mathematical theory of reflection groups, the parabolic subgroups are a special kind of subgroup. In the symmetric group of permutations of the set \, which is generated by the set S = \ of adjacent transpositions, a subgroup is a ''standard parabolic subgroup'' if it is generated by a subset of . The ''parabolic subgroups'' of the symmetric group include the standard parabolic subgroups as well as all of their Conjugacy_class#Conjugacy_of_subgroups_and_general_subsets, conjugates. The symmetric group (generated by the adjacent transpositions) belongs to a larger family of reflection groups called ''Coxeter groups'', each of which comes with a special generating set . In this larger family, the standard parabolic subgroups are defined to be the subgroups generated by a subset of the special generating set. Separately, the symmetric group belongs to a larger family of reflection groups called ''complex reflection groups'', which are defined in terms of their action on ce ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
