Related papers: Overgroups of elementary block-diagonal subgroups …

Let $n$ be an integer greater than or equal to $3$ and $(R,\Delta)$ a Hermitian form ring where $R$ is commutative. We prove that if $H$ is a subgroup of the odd-dimensional unitary group $U_{2n+1}(R,\Delta)$ normalised by a relative…

This paper proves the sandwich classification conjecture for subgroups of an even dimensional hyperbolic unitary group $U_{2n}(R,\Lambda)$ which are normalized by the elementary subgroup $EU_{2n}(R,\Lambda)$, under the condition that $R$ is…

In the present paper we prove a weak form of sandwich classification for the overgroups of the subsystem subgroup $E(\Delta,R)$ of the Chevalley group $G(\Phi,R)$ where $\Phi$ is a simply laced root sysetem and $\Delta$ is its sufficiently…

The current paper is an addition to the previous paper by author, where the overgroup lattice of the elementary subsystem subgroup $E(\Delta,R)$ of the Chevalley group $G(\Phi,R)$ for a large enough root subsystem $\Delta$ was studied. Now…

The paper studies the lattice of subgroups of an isotropic reductive group G(R) over a commutative ring R, normalized by the elementary subgroup E(R). We prove the sandwich classification theorem for this lattice under the assumptions that…

We will give a definition of quadratic forms on bimodules and prove the sandwich classification theorem for subgroups of the general linear group $\mathrm{GL}(P)$ normalized by the elementary unitary group $\mathrm{EU}(P)$ if $P$ is a…

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…

For any odd prime $p$ we consider representations of a group of order $p$ in the symplectic group $Sp(p-1,Z[1/n])$ of $(p-1)\times(p-1)$-matrices over the ring $Z[1/n]$, $0\neq n\in N$. We construct a relation between the conjugacy classes…

In the present paper we prove sandwich classification for the overgroups of the subsystem subgroup $E(\Delta,R)$ of the Chevalley group $G(\Phi,R)$ for the three types of pair $(\Phi,\Delta)$ (the root system and its subsystem) such that…

A new set of elementary symplectic elements is described, It is shown that these also generate the elementary symplectic group {\rm ESp}$_{2n}(R)$. These generators are more symmetrical than the usual ones, and are useful to study the…

Let $n$ be a natural number greater or equal to $3$, $R$ a commutative ring and $\sigma\in GL_n(R)$. We show that $t_{kl}(\sigma_{ij})$ (resp. $t_{kl}(\sigma_{ii}-\sigma_{jj}))$ where $i\neq j$ and $k\neq l$ can be expressed as a product of…

We solve a classical problem of centrality of symplectic $\mathrm K_2$, namely we show that for an arbitrary commutative ring $R$, $l\geq3$ the symplectic Steinberg group $\mathrm{StSp}(2l,\,R)$ as an extension of the elementary symplectic…

A.A. Suslin proved a normality theorem for an elementary linear group, which says that an elementary linear group of size bigger than or equal to 3 over a commutative ring with unity is normal in the general linear group of same size.…

We establish two characterizations of an algebraic group scheme $\bigwedge^m GL_n$ over $\mathbb{Z}$. Geometrically, the scheme $\bigwedge^m GL_n$ is a stabilizer of an explicitly given invariant form or, generally, an invariant ideal of…

We introduce the symplectic group $\mathrm{Sp}_2(G, \sigma)$ associated to a Lie subgroup $G$ of a (possibly noncommutative) associative algebra $A$ equipped with an anti-involution $\sigma$. Our construction recovers several classical Lie…

The fundamental theorem of symmetric polynomials over rings is a classical result which states that every unital commutative ring is fully elementary, i.e. we can express symmetric polynomials with elementary ones in a unique way. The…

This paper concerns a number of diagram categories, namely the partition, planar partition, Brauer, partial Brauer, Motzkin and Temperley-Lieb categories. If $\mathcal K$ denotes any of these categories, and if $\sigma\in\mathcal K_{nm}$ is…

Let $(\FormR)$ be a form ring such that $A$ is quasi-finite $R$-algebra (i.e., a direct limit of module finite algebras) with identity. We consider the hyperbolic Bak's unitary groups $\GU(2n,\FormR)$, $n\ge 3$. For a form ideal…

In the present paper we continue the study of the elementary commutator subgroups $[E(n,A),E(n,B)]$, where $A$ and $B$ are two-sided ideals of an associative ring $R$, $n\ge 3$. First, we refine and expand a number of the auxiliary results,…

Let $S$ be a semigroup, $\Lambda$ a non-empty set and $P$ a mapping of $\Lambda$ into $S$. The set $S\times \Lambda$ together with the operation $\circ _P$ defined by $(s, \lambda)\circ _P(t, \mu )=(sP(\lambda)t, \mu )$ form a semigroup…