Let G be a connected linear algebraic group over a field k. We say that G is
toric-friendly if for any field extension K/k and any maximal K-torus T in G
the group G(K) has only one orbit in (G/T)(K). We prove that a split reductive
k-group G is toric-friendly if and only if its center Z(G) is a k-torus and the
associated adjoint group G/Z(G) is a direct product of simple groups of type
A_n.
The representation dimension $\rdim(G)$ of a finite group $G$ is the smallest
positive integer $m$ for which there exists an embedding of $G$ in $\GL_m(\C)$.
In this paper we find the largest value of $\rdim(G)$, as $G$ ranges over all
groups of order $p^n$, for a fixed prime $p$ and a fixed exponent $n \ge 1$.
The essential dimension is a numerical invariant of an algebraic group G
which may be thought of as a measure of complexity of G-torsors over fields. A
recent theorem of N. Karpenko and A. Merkurjev gives a simple formula for the
essential dimension of a finite p-group. We obtain similar formulas for the
essential p-dimension of a broader class of groups, which includes all
algebraic tori.
Let $k$ be a field of characteristic zero, let $G$ be a connected reductive
algebraic group over $k$ and let $\mathfrak{g}$ be its Lie algebra. Let $k(G)$,
respectively, $k(\mathfrak{g})$, be the field of $k$-rational functions on $G$,
respectively, $\mathfrak{g}$. The conjugation action of $G$ on itself induces
the adjoint action of $G$ on $\mathfrak{g}$. We investigate the question
whether or not the field extensions $k(G)/k(G)^G$ and
$k(\mathfrak{g})/k(\mathfrak{g})^G$ are purely transcendental.
Let $k$ be a field of characteristic zero, let $G$ be a connected reductive
algebraic group over $k$ and let $\mathfrak{g}$ be its Lie algebra. Let $k(G)$,
respectively, $k(\mathfrak{g})$, be the field of $k$-rational functions on $G$,
respectively, $\mathfrak{g}$. The conjugation action of $G$ on itself induces
the adjoint action of $G$ on $\mathfrak{g}$. We investigate the question
whether or not the field extensions $k(G)/k(G)^G$ and
$k(\mathfrak{g})/k(\mathfrak{g})^G$ are purely transcendental.