Related papers: Normality theorem for elementary symplectic group …

Let K be a finite Galois extension of Q. The normal basis theorem provides an element of K whose conjugates form a Q-basis of K. Here we obtain such an element with controlled size. This improves a recent result by Fukshansky and Jeong. By…

The results of the renormalization group are commonly advertised as the existence of power law singularities near critical points. The classic predictions are often violated and logarithmic and exponential corrections are treated on a…

In this work, we give a description of the structure of the normal subgroups of a Sylow $p$-subgroup $W_n$ of $\mathrm{Sym}(p^n)$, showing that they contain a term from the lower central series with bounded index. To this end, we explicitly…

In this paper we prove a sandwich classification theorem for subgroups of the classical symplectic group over an arbitrary commutative ring $R$ that contain the elementary block-diagonal (or subsystem) subgroup $\operatorname{Ep}(\nu, R)$…

We study normal reflection subgroups of complex reflection groups. Our point of view leads to a refinement of a theorem of Orlik and Solomon to the effect that the generating function for fixed-space dimension over a reflection group is a…

Let $p$ be a prime integer and $\mathbb{Z}_p$ be the ring of $p$-adic integers. By a purely computational approach we prove that each nonzero normal element of a completed group algebra over the special linear group ${\rm…

Let $R$ be a regular ring of dimension $d$ and $L$ be a $c$-divisible monoid. If ${K}_1{Sp}(R)$ is trivial and $k \geq d+2,$ then we prove that the symplectic group ${Sp}_{2k}(R[L])$ is generated by elementary symplectic matrices over…

Let $K$ be a subgroup of a finite group $G$, and suppose that $G=KN_G(P)$ for every Sylow subgroup $P$ of $K$. Then the subgroup $K$ is normal in $G$.

Let $G$ be a non-abelian finite simple group. A famous result of Liebeck and Shalev is that there is an absolute constant $c$ such that whenever $S$ is a non-trivial normal subset in $G$ then $S^{k} = G$ for any integer $k$ at least $c…

Let D be a domain, n, k be positive integers and n >= K+3. Let F be a family of functions meromorphic in D. If each f in F satisfies (f^n)^(k) not equal to 1 for z in D, then F is normal family. This result was proved by Schwick. In this…

We prove a criterion for the normality of Schubert varieties in twisted affine Grassmannians in terms of the order of the algebraic fundamental group of a certain Levi subgroup, in particular in small positive characteristic. As an…

We consider sets of reals $X$ endowed with the Sorgenfrey lower limit topology denoted $X[\leq]$. Przymusi\'nski proved that if $X$ is a $Q$-set then $(X[\leq])^2$ is normal. While the converse is not in general true we consider examples of…

Hambly, Keevash, O'Connell and Stark have proven a central limit theorem for the characteristic polynomial of a permutation matrix with respect to the uniform measure on the symmetric group. We generalize this result in several ways. We…

We study normal reflection subgroups of complex reflection groups. Our approach leads to a refinement of a theorem of Orlik and Solomon to the effect that the generating function for fixed-space dimension over a reflection group is a…

In this article, we prove a strong version of local Bertini theorem for normality on local rings in mixed characteristic. The main result asserts that a generic hyperplane section of a normal, Cohen-Macaulay, and complete local domain of…

Let G be a group and H be a subgroup of G which is either finite or of finite index in G. In this note, we give some characterizations for normality of H in G. As a consequence we get a very short and elementary proof of the Main Theorem of…

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 revisit the results on admissible transformations between normal linear systems of second-order ordinary differential equations with an arbitrary number of dependent variables under several appropriate gauges of the arbitrary elements…

We prove that every piecewise linear manifold of dimension up to four on which a finite group acts by piecewise linear homeomorphisms admits a compatible smooth structure with respect to which the group acts smoothly. This solves a…

We define a natural notion of higher order stability and show that subsets of $\mathbb{F}_p^n$ that are tame in this sense can be approximately described by a union of low-complexity quadratic varieties, up to linear error. This generalizes…