Related papers: Normality of DSER elementary orthogonal group

We prove that the generic quantized coordinate ring $\mathcal{O}_q(G)$ is Auslander-regular, Cohen-Macaulay, and catenary for every connected semisimple Lie group $G$. This answers questions raised by Brown, Lenagan, and the first author.…

Let $G$ be a simply connected Chevalley--Demazure group scheme without $SL_2$-factors. For any unital commutative ring $R$, we denote by $E(R)$ the standard elementary subgroup of $G(R)$, that is, the subgroup generated by the elementary…

Let $G$ be a group and $m$ a positive integer. We say an $m$-Cayley digraph $\Gamma$ over $G$ is a digraph that admits a group of automorphisms isomorphic to $G$ acting semiregularly on the vertex set with $m$ orbits. The digraph $\Sigma$…

We show that the normal closure of any periodic element of the mapping class group of a non-orientable surface whose order is greater than 2 contains the commutator subgroup, which for $g\geq 7$ is equal to the twist subgroup, and provide…

In the present paper, which is a direct sequel of our paper [12] joint with Roozbeh Hazrat, we prove unrelativised version of the standard commutator formula in the setting of Chevalley groups. Namely, let $\Phi$ be a reduced irreducible…

Let R be a connected noetherian commutative ring, and let G be a simply connected reductive group over R of isotropic rank ge 2. The elementary subgroup E(R) of G(R) is the subgroup generated by the R-points U_P^+(R) and U_P^-(R) of the…

We study the coisotropic subgroup structure of standard SL_q(2,R) and the corresponding embeddable quantum homogeneous spaces. While the subgroups S^1 and R_+ survive undeformed in the quantization as coalgebras, we show that R is deformed…

We prove a number of structural and representation-theoretic results on linearly reductive quantum groups, i.e. objects dual to that of cosemisimple Hopf algebras: (a) a closed normal quantum subgroup is automatically linearly reductive if…

Let $\mathcal{H}$ be a complex, separable Hilbert space, and $\mathcal{B}(\mathcal{H})$ denote the set of all bounded linear operators on $\mathcal{H}$. Given an orthogonal projection $P \in \mathcal{B}(\mathcal{H})$ and an operator $D \in…

Let $G$ be a finite group and $H$ be a subgroup of $G$. In this paper, we prove that if $G$ is a finite nilpotent group and $H$ a subgroup of $G$, then $H$ is normal in $G$ if and only if all normalized right transversals of $H$ in $G$ are…

We generalise the work of Segre (1965), Cameron - Goethals - Seidel (1978), and Vanhove (2011) by showing that nontrivial $m$-ovoids of the dual polar spaces $DQ(2d, q)$, $DW(2d-1,q)$ and $DH(2d-1,q^2)$ ($d\ge 3$) are hemisystems. We also…

By definition, a quadratic Lie superalgebra is a Lie superalgebra endowed with a non-degenerate supersymmetric bilinear form which satisfies the even and invariant properties. In this paper we calculate all of the second cohomology group of…

The set $D_{A_0}$, of pairs of orthogonal projections $(P,Q)$ in generic position with fixed difference $P-Q=A_0$, is shown to be a homogeneus smooth manifold: it is the quotient of the unitary group of the commutant $\{A_0\}'$ divided by…

In this paper we consider the integral orthogonal group with respect to the quadratic form of signature $(2,3)$ given by $\left(\begin{smallmatrix} 0 & 1 \\ 1 & 0 \end{smallmatrix}\right) \perp \left(\begin{smallmatrix} 0 & 1 \\ 1 & 0…

The current article continues our project on representation theory, Euler elements, causal homogeneous spaces and Algebraic Quantum Field Theory (AQFT). We call a pair (h,k) of Euler elements orthogonal if $e^{\pi i \ad h} k = -k$. We show…

The Grothendieck--Serre conjecture predicts that every generically trivial torsor under a reductive group over a regular semilocal ring is itself trivial. Extending the work of \v{C}esnavi\v{c}ius and Fedorov, we prove a non-noetherian…

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 S be a commutative ring, Q a group that acts on S, and let R be the subring of S fixed under Q. A Q-normal S-algebra consists of a central S-algebra A and a homomorphism s from Q to the group Out(A) of outer automorphisms of A that…

The Grothendieck-Serre conjecture predicts that every generically trivial torsor under a reductive group $G$ over a regular semilocal ring $R$ is trivial. We establish this for unramified $R$ granted that $G^{\mathrm{ad}}$ is totally…

We show that for every prime $r$ all $r$-subgroups in the normalized units of the integral group ring of $\operatorname{PSL}(2,p^3)$ are isomorphic to subgroups of $\operatorname{PSL}(2,p^3)$. This answers a question of M. Hertweck, C.R.…