Divisor class groups of the semigroups of the highest weights (Q1335095)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Divisor class groups of the semigroups of the highest weights |
scientific article |
Statements
Divisor class groups of the semigroups of the highest weights (English)
0 references
28 September 1994
0 references
Let \(S\) be a (commutative, with a unit and a torsion-free total quotient group \(\langle S\rangle\)) semigroup. Then denote by \(D(S)\) the set of divisorial fractional ideals, by \(\text{Prin}(S)\) the set of principal fractional ideals of \(S\) and by \(Cl(S) = D(S) /\text{Prin}(S)\) the divisor class semigroup of \(S\). Let \(G\) be a connected complex semisimple algebraic group, \(B\) be a Borel subgroup of \(G\), \(T \subset B\) be a maximal torus, \({\mathcal H} = {\mathcal H}(T)\) be the group of rational characters of \(T\) written additively, \(V = {\mathcal H}\otimes_ Z Q\), \(P \subset V\) be the weight lattice of \(G\), \(\{\omega_ 1, \dots, \omega_ r\}\) be the system of fundamental weights of \(P\) with respect to \(B\), \(P_ + = \mathbb{N} \omega_ 1 + \dots + \mathbb{N} \omega_ r\) be the semigroup of the dominant weights, \({\mathcal H}_ + = P_ + \cap {\mathcal H}\). The fundamental group of \(G\) is denoted by \(\pi_ 1(G)\). The main result of the paper is the Theorem: Let \(\pi^ 0_ 1(G)\) be the subgroup of \(\pi_ 1 (G)\) generated by all distinguished elements. Then \(Cl({\mathcal H}_ +) \cong \pi_ 1(G) / \pi^ 0_ 1(G)\).
0 references
divisorial fractional ideals
0 references
principal fractional ideals
0 references
divisor class semigroup
0 references
connected complex semisimple algebraic group
0 references
Borel subgroup
0 references
maximal torus
0 references
fundamental weights
0 references
dominant weights
0 references
fundamental group
0 references