Related papers: Regular bi-interpretability of Chevalley groups ov…
Let $\mathcal{O}$ be the ring of integers of a number field, and let $n\geq 3$. This paper studies bi-interpretability of the ring of integers $\mathbb{Z}$ with the special linear group $\text{SL}_n(\mathcal{O})$, the general linear group…
Let R[G] be the group ring of a group G over an associative ring R with unity such that all prime divisors of orders of elements of G are invertible in R. If R is finite and G is a Chernikov (torsion FC-) group, then each R-derivation of…
We continue the analysis of definably compact groups definable in a real closed field $\mathcal{R}$. In [3], we proved that for every definably compact definably connected semialgebraic group $G$ over $\mathcal{R}$ there are a connected…
We prove that if $R$ is an $\mathbb{E}_2$-ring with homotopy concentrated in even degrees, and $\{x_j\}$ is any sequence of elements in $\pi_{2*}(R)$, then $R/(x_1,x_2,\cdots)$ admits the structure of an $\mathbb{E}_1$-$R$-algebra. This…
For a set of primes $\pi$, denote by $E_\pi$ the class of finite groups containing a Hall $\pi$-subgroup. We establish that $E_{\pi_1}\cap E_{\pi_2}$ is contained in $E_{\pi_1\cap\pi_2}$. As a corollary, we prove that if $\pi$ is a set of…
Let $G$ be a group with subgroup $H$, and let $(\pi,V)$ be a complex representation of $G$. The natural action of the normalizer $N$ of $H$ in $G$ on the space $\mathrm{Hom}_H(\pi,\mathbb{C})$ of $H$-invariant linear forms on $V$, provides…
In [FGRS1,FGRS2] the relationship between the universal and elementary theory of a group ring $R[G]$ and the corresponding universal and elementary theory of the associated group $G$ and ring $R$ was examined. Here we assume that $R$ is a…
It is known that the norm map N_G for a finite group G acting on a ring R is surjective if and only if for every elementary abelian subgroup E of G the norm map N_E for E is surjective. Equivalently, there exists an element x_G in R with…
Let $E/F$ be a quadratic extension of $p$-adic fields and $\textrm{U}_{2r+1}$ be the unitary group associated with $E/F$. We prove the following local converse theorem for $\textrm{U}_{2r+1}$: given two irreducible generic supercuspidal…
Isotropic odd unitary groups generalize Chevalley groups of classical types over commutative rings and their twisted forms. Such groups have root subgroups parameterized by a root system $\mathsf{BC}_\ell$ and may be constructed by…
We find an explicit presentation of relative odd unitary Steinberg groups constructed by odd form rings and of relative doubly laced Steinberg groups over commutative rings, i.e. the Steinberg groups associated with the Chevalley group…
Let $G$ be a connected reductive group, and $G/B$ be its flag variety. Let $\pi:G\to G/B$ be the natural projection. In this paper, we developed an algorithm to describe the map $\pi^* :\operatorname{CH}^*(G/B;\mathbb{F}_p)\longrightarrow…
We initiate the study of subgroups $H$ of the general linear group $GL_{\binom{n}{m}}(R)$ over a commutative ring $R$ that contain the $m$-th exterior power of an elementary group $\bigwedge^mE_n(R)$. Each such group $H$ corresponds to a…
Let k be a field of characteristic 0. Let G be a reductive group over the ring of Laurent polynomials R=k[x_1^{\pm 1},...,x_n^{\pm 1}]. We prove that G has isotropic rank >=1 over R iff it has isotropic rank >=1 over the field of fractions…
Let $\Phi$ be a root system of type $E_6$, $E_7$, or $E_8$. Let $K$ be a field of characteristic $2$. Let $\delta$ be the maximal root of $\Phi$ and set $\Phi_0 = \{\alpha\in\Phi; \delta\perp\alpha\}$. We describe orbits of the group…
We prove a first part of the standard description of groups $H$ lying between an exterior power of an elementary group $\bigwedge^m E_n(R)$ and a general linear group $GL_{n \choose m}(R)$ for a commutative ring $R$, $2\in R^*$ and…
We present two criteria for a group $G$ to satisfy the following statements: any $G$-graded gr-prime (gr-semiprime) right gr-Goldie ring admits a gr-semisimple graded right classical quotient ring. The criterion for gr-semiprime rings is…
Let p, ell be distinct primes and let q be a power of p. Let G be a connected compact Lie group. We show that there exists an integer b such that the mod ell cohomology of the classifying space of a finite Chevalley group G(F_q) is…
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…
Given an integral domain $D$ and a $D$-algebra $R$, we introduce the local Picard group $\mathrm{LPic}(R,D)$ as the quotient between the Picard group $\mathrm{Pic}(R)$ and the canonical image of $\mathrm{Pic}(D)$ in $\mathrm{Pic}(R)$, and…