Group theory and generalizations Definition
Borel subgroup
Builds on Linear algebraic groupSolvable groupZariski topologyGeneral linear group
Definition
Let be an algebraically closed field, and let be a linear algebraic group over . A Borel subgroup of is a subgroup such that:
- is closed in the Zariski topology;
- is connected and solvable;
- is maximal among the subgroups with properties 1 and 2.
Remarks
Over an arbitrary field , a closed subgroup of is called a Borel subgroup if is a Borel subgroup of .
Example: in the group of invertible upper triangular matrices is a Borel subgroup. It is closed, cut out by for . It is connected and solvable, since its commutator subgroup consists of unipotent upper triangular matrices. It is maximal: by the Lie–Kolchin theorem, a connected solvable subgroup fixes some full flag, and the only full flag fixed by is the standard one, so .
Non-example: in , the diagonal torus is closed, connected and solvable, but it fails clause 3, since for the upper triangular group .
All Borel subgroups of are conjugate, and is a projective variety.
Reading path
To understand this page from the ground up, read these 5 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- General linear group object
- Linear algebraic group concept
- Solvable group concept
- Zariski topology concept
- Borel subgroup definition
Further reading
About this page
| Tag | R7FTZ813DA |
|---|---|
| URI | m2://R7FTZ813DA |
| Kind | definition |
| Writing | W0 stub |
| MSC | 20G07, 20G15 |
| Defines | Borel subgroup |
| Uses | Linear algebraic group, Solvable group, Zariski topology, General linear group |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.