Related papers: Chevalley's theorem for affine Nash groups

We introduce and develop the model-theoretic notions of absolute connectedness and type-absolute connectedness for groups. We prove that groups of rational points of split semisimple linear groups (that is, Chevalley groups) over arbitrary…

In this paper we continue the study of groups of trace class and consider in particular the case of semi-direct products. One of the highlights is the theorem saying that the semi-direct product of a semisimple Lie group G and its Lie…

A fundamental theorem of Barsotti and Chevalley states that every smooth algebraic group over a perfect field is an extension of an abelian variety by a smooth affine algebraic group. In 1956 Rosenlicht gave a short proof of the theorem. In…

We call an affine algebraic supergroup quasireductive if its underlying algebraic group is reductive. We obtain some results about the structure and representations of reductive supergroups.

Let W be a finite reflection group acting orthogonally on R^n, P be the Chevalley polynomial mapping determined by an integrity basis of the algebra of W-invariant polynomials, and h be the highest degree of the coordinate polynomials in…

Continuous wavelet transforms arising from the quasiregular representation of a semidirect product of a vector group with a matrix group -- the so-called dilation group -- have been studied by various authors. Recently the attention has…

Chevalley's theorem and it's converse, the Sheppard-Todd theorem, assert that finite reflection groups are distinguished by the fact that the ring of invariant polynomials is freely generated. We show that in the Euclidean case, a weaker…

We prove, under some mild hypothesis, that an \'etale cover of curves defined over a number field has infinitely many specializations into an everywhere unramified extension of number fields. This constitutes an "absolute" version of the…

We prove the following generalization of the classical Shephard-Todd-Chevalley Theorem. Let $G$ be a finite group of graded algebra automorphisms of a skew polynomial ring $A:=k_{p_{ij}}[x_1,...,x_n]$. Then the fixed subring $A^G$ has…

By the algebraization of affine Nash groups, a connected affine Nash group is an abelian Nash manifold if and only if its algebraization is a real abelian variety. We first classify real abelian varieties up to isomorphisms. Then with a bit…

We show that the product of two partial normal subgroups of a locality (in the sense of Chermak) is again a partial normal subgroup. This generalizes a theorem of Chermak and fits into the context of building a local theory of localities.

We develop a notion of degree for functions between two abelian groups that allows us to generalize the Chevalley Warning Theorems from fields to noncommutative rings or abelian groups of prime power order.

We generalize the classical Chevalley-Shephard-Todd theorem to the case of finite linearly reductive group schemes. As an application, we prove that every scheme X which is etale locally the quotient of a smooth scheme by a finite linearly…

We extend in several directions invariant theory results of Chevalley, Shephard and Todd, Mitchell and Springer. Their results compare the group algebra for a finite reflection group with its coinvariant algebra, and compare a group…

We prove that Chevalley groups over polynomial rings $\mathbb F_q[t]$ and over Laurent polynomial $\mathbb F_q[t,t^{-1}]$ rings, where $\mathbb F_q$ is a finite field, are boundedly elementarily generated. Using this we produce explicit…

We give a description of the construction of Chevalley supergroups, providing some explanatory examples. We avoid the discussion of the $A(1,1)$, $P(3)$ and $Q(n)$ cases, for which our construction holds, but the exposition becomes more…

We consider the Chevalley involution in the context of real reductive groups. We show that if G(R) is the real points of a connected reductive group, there is an involution, unique up to conjugacy by G(R), taking any semisimple element to a…

By a theorem of Chevalley the image of a morphism of varieties is a constructible set. The algebraic version of this fact is usually stated as a result on "extension of specializations" or "lifting of prime ideals". We present a difference…

For all almost affine (hyperbolic) Lie superalgebras, the defining relations are computed in terms of their Chevalley generators.

We show that if G is a split semisimple algebraic group over a model complete field K, then the groups G(K) and G(K)' (the commutator group which is a ``Chevalley group'' as for example the group PSL_2(K)) are model complete as well.