Related papers: Of model completeness and algebraic groups

The partial group algebra of a group G over a field K, denoted by K_{par}(G), is the algebra whose representations correspond to the partial representations of G over K-vector spaces. In this paper we study the structure of the partial…

Chevalley's theorem states that every smooth connected algebraic group over a perfect field is an extension of an abelian variety by a smooth connected affine group. That fails when the base field is not perfect. We define a pseudo-abelian…

Let $G(\mathbb{Q})$ be a simply connected Chevalley group over $\mathbb{Q}$ corresponding to a simple Lie algebra $\mathfrak g$ over $\mathbb{C}$. Let $V$ be a finite dimensional faithful highest weight $\mathfrak g$-module and let…

Let $k$ be a nonperfect field of characteristic $2$. Let $G$ be a $k$-split simple algebraic group of type $E_6$ (or $G_2$) defined over $k$. In this paper, we present the first examples of nonabelian non-$G$-completely reducible…

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…

Let $G$ be the universal Chevalley-Demazure group scheme corresponding to a reduced irreducible root system of rank $\geq 2$, and let $R$ be a commutative ring. We analyze the linear representations $\rho \colon G(R)^+ \to GL_n (K)$ over an…

Let K be any field, and let G be a semisimple group over K. Suppose the characteristic of K is positive and is very good for G. We describe all group scheme homomorphisms phi:SL(2) --> G whose image is geometrically G-completely reducible…

We show that a field $K$ is model complete (in the language of rings) if and only if the Heisenberg group $H(K)$ is model complete (in the language of groups). To show that, we extend Levchuk's result about automorphisms of $H(K)$ to the…

In the current article we study structure of a Chevalley group $G(R)$ over a commutative ring $R$. We generalize and improve the following results: (1) standard, relative, and multi-relative commutator formulas; (2) nilpotent structure of…

Let G be a finite group and let p be a prime. A module for G over a field of characteristic p is called algebraic if it satisfies a polynomial, with addition and multiplication given by direct sum and tensor product. In some sense, having…

An algebraic group is called semi-reductive if it is a semi-direct product of a reductive subgroup and the unipotent radical. Such a semi-reductive algebraic group naturally arises and also plays a key role in the study of modular…

Let G be an isotropic reductive algebraic group over a commutative ring R. Assume that the elementary subgroup E(R) of group of points G(R) is correctly defined. Then E(R) is perfect, except for the well-known cases of a split reductive…

We study equivariant Hermitian K-theory for representations of symplectic groups, especially $\mathrm{SL}_2$. The results are used to establish an Atiyah-Segal completion theorem for Hermitian $K$-theory and symplectic groups.

In this paper, we provide a complete description of congruence-semisimple semirings and introduce the pre-ordered abelian Grothendieck groups $K_0(S)$ and $SK_0(S)$ of the isomorphism classes of the finitely generated projective and…

Let $K$ be a $p$-adically closed field and $G$ a group interpretable in $K$. We show that if $G$ is definably semisimple (i.e. $G$ has no definable infinite normal abelian subgroups) then there exists a finite normal subgroup $H$ such that…

We present some fundamental results on (possibly nonlinear) algebraic semigroups and monoids. These include a version of Chevalley's structure theorem for irreducible algebraic monoids, and the description of all algebraic semigroup…

If $G$ is a finite group, the Grothendieck group ${\mathbf{K}}\_G(G)$ of the category of $G$-equivariant ${\mathbb{C}}$-vector bundles on $G$ (for the action of $G$ on itself by conjugation) is endowed with a structure of (commutative)…

By definition, a group $G$ is quasi-perfect, if $G$ is perfect or the commutator subgroup of $G$ is perfect. In this note we give a description of quasi-perfect Dyer groups by properties of the corresponding Dyer graphs.

Let $G$ be a finite group. There is a standard theorem on the classification of $G$-equivariant finite dimensional simple commutative, associative, and Lie algebras (i.e., simple algebras of these types in the category of representations of…

We show that every finite-dimensional pointed Hopf algebra over a finite simple Chevalley group, different from $PSL_2(q)$ with q= 3 mod 4 (and from $PSL_3(2)\simeq PSL_2(7)$), is isomorphic to the corresponding group algebra. To do this,…