Related papers: An approximation principle for congruence subgroup…
For a semisimple algebraic group $G$ of adjoint type with Lie algebra $\mathfrak g$ over the complex numbers, we establish a bijection between the set of closed orbits of the group $G \ltimes \mathfrak g^{\ast}$ acting on the variety of…
Let G be a connected reductive group defined over an algebraically closed field k of characteristic p > 0. The purpose of this paper is two-fold. First, when p is a good prime, we give a new proof of the ``order formula'' of D. Testerman…
Given a finite group $G$ and a prime $p$, let $\mathcal{A}_p(G)$ be the poset of nontrivial elementary abelian $p$-subgroups of $G$. The group $G$ satisfies the Quillen dimension property at $p$ if $\mathcal{A}_p(G)$ has non-zero homology…
By a [$K$-]approximate subring of a ring we mean an additively symmetric subset $X$ such that $X \cdot X \cup (X + X)$ is covered by finitely many [resp.\ $K$] additive translates of $X$. We prove a structure theorem for finite approximate…
Let $R$ be a discrete valuation ring with fraction field $K$ and $X$ a flat $R$-scheme. Given a faithful action of a $K$-group scheme $G_K$ over the generic fibre $X_K$, we study models $G$ of $G_K$ acting on $X$. In various situations, we…
Let X be a coherent configuration associated with a transitive group G. In terms of the intersection numbers of X, a necessary condition for the point stabilizer of G to be a TI-subgroup, is established. Furthermore, under this condition, X…
Let $G$ be a sp-group such that for every prime $p$, $G_p$ is elementary. %$\oplus \End_{\zz}(G_p) \leq \End_{\zz}(G) \leq \prod \End_{\zz}(G_p)$. Suppose that $\frac{G}{\oplus_{p\in \mathbb{P}} G_p}$ is torsion-free divisible. %In this…
Let $G$ be a connected reductive algebraic group defined over an algebraically closed field %$k$ of characteristic $p > 0$. Our first aim in this note is to give concise and uniform proofs for two fundamental and deep results in the context…
Let $G$ be a simple exceptional algebraic group of adjoint type over an algebraically closed field of characteristic $p>0$ and let $X = {\rm PSL}_{2}(p)$ be a subgroup of $G$ containing a regular unipotent element $x$ of $G$. By a theorem…
Let $G$ be a finite group, let $x \in G$, and let $p$ be a prime. We prove that the commutator $[x,g]$ is a $p$-element for every $g \in G$ if and only if $x$ is central modulo $\mathbf{O}_p(G)$, where $\mathbf{O}_p(G)$ denotes the largest…
Let G be a p-adic Lie group and Ad be the adjoint representation of G on its Lie algebra. It was claimed in the literature that the kernel K of Ad always has an abelian open normal subgroup. We show by means of a counterexample that this…
Given a closed subgroup $G\subset U_N^+$ which is homogeneous, in the sense that we have $S_N\subset G\subset U_N^+$, the corresponding Tannakian category $C$ must satisfy $span(\mathcal{NC}_2)\subset C\subset span(P)$. Based on this…
Let $p$ be a prime and $\mathbb{F}_p$ be a finite field of $p$ elements. Let $\mathbb{F}_pG$ denote the group algebra of the finite $p$-group $G$ over the field $\mathbb{F}_p$ and $V(\mathbb{F}_pG)$ denote the group of normalized units in…
It is a general principle that objects coming from semi-simple, simply connected (split) groups have explicit presentations like Serre's presentation of semi-simple algebras and Steinberg's presentation of Chevalley groups. In this paper we…
Let $G$ be a group. We define the coprime graph of subgroups of $G$, denoted by $\mathcal P(G)$, is a graph whose vertex set is the set of all proper subgroups of $G$, and two distinct vertices are adjacent if and only if the order of the…
Let $(U, R)$ be an approximation space with $U$ being non-empty set and $R$ being an equivalence relation on $U$, and let $\overline{G}$ and $\underline{G}$ be the upper approximation and the lower approximation of subset $G$ of $U$. A…
We show that, for any given subgroup $H$ of a finite group $G$, the Quillen poset $\mathcal{A}_p(G)$ of nontrivial elementary abelian $p$-subgroups, is obtained from $\mathcal{A}_p(H)$ by attaching elements via their centralizers in $H$. We…
Let S be a closed, oriented surface of genus at least 2, and consider the extension 1 -> pi_1 S -> MCG(S,p) -> MCG(S) -> 1, where MCG(S) is the mapping class group of S, and MCG(S,p) is the mapping class group of S punctured at p. We prove…
Let $p$ be a prime. Given a split semisimple group scheme $G$ over a normal integral domain $R$ which is a faithfully flat $\mathbb Z_{(p)}$-algebra, we classify all finite dimensional representations $V$ of the fiber $G_K$ of $G$ over…
We generalize the notion of an approximate indicator for a closed subgroup $H$ of a locally compact group $G$ introduced by Aristov, Runde, and Spronk and extend their characterization of the existence of such nets in terms of the…