Related papers: On finite and elementary generation of SL_2(R)

We show that every closed normal subgroup of infinite index in a profinite surface group $\Gamma$ is contained in a semi-free profinite normal subgroup of $\Gamma$. This answers a question of Bary-Soroker, Stevenson, and Zalesskii.

Every finite simple group can be generated by two elements and, in fact, every nontrivial element is contained in a generating pair. Groups with this property are said to be $\frac{3}{2}$-generated, and the finite $\frac{3}{2}$-generated…

We show that if $G$ is a real semi-simple Lie group, and $\Gamma$ is a discrete subgroup of $G$ containing a subgroup $\Sigma$ acting ergodically (in a strong sense) on the Furstenberg boundary of $G$, then $\Gamma$ is not isomorphic to a…

We prove that the genus of a finite-dimensional division algebra is finite whenever the center is a finitely generated field of any characteristic. We also discuss potential applications of our method to other problems, including the…

We give a construction of a large first-order definable family of subrings of finitely generated fields $K$ of any characteristic. We deduce that for any such $K$ there exists a first-order sentence $\varphi_K$ characterising $K$ in the…

In this note, we compute the {\Sigma}^1(G) invariant when 1 {\to} H {\to} G {\to} K {\to} 1 is a short exact sequence of finitely generated groups with K finite. As an application, we construct a group F semidirect Z_2 where F is the R.…

We construct infinite families of irreducible supersingular mod $p$ representations of $\mathrm{GL}_2(F)$ with $\mathrm{GL}_2(\mathcal{O}_F)$-socle compatible with Serre's modularity conjecture, where $F / \mathbb{Q}_p$ is any finite…

We show that every effectively closed action of a finitely generated group $G$ on a closed subset of $\{0,1\}^{\mathbb{N}}$ can be obtained as a topological factor of the $G$-subaction of a $(G \times H_1 \times H_2)$-subshift of finite…

Relational semigroups with domain and range are a useful tool for modelling nondeterministic programs. We prove that the representation class of domain-range semigroups with demonic composition is not finitely axiomatisable. We extend the…

Let $R$ be a commutative ring and let $n \geq 1.$ We study $\Gamma(s)$, the generating function and Ann$(s)$, the ideal of characteristic polynomials of $s$, an $n$--dimensional sequence over $R$. We express $f(X_1,\ldots,X_n) \cdot…

We obtain an asymptotic upper bound for the smallest number of generators for a finite direct sum of matrix algebras with entries in a finite field. This produces an upper bound for a similar quantity for integer matrix rings. We also…

Let $\Gamma$ be a non-elementary Kleinian group and $H<\Gamma$ a finitely generated, proper subgroup. We prove that if $\Gamma$ has finite co-volume, then the profinite completions of $H$ and $\Gamma$ are not isomorphic. If $H$ has finite…

First time, we introduce Extended special linear group $ESL_2(F)$, which is generalization of matrix group $SL_2(F)$ over arbitrary field $F$. Extended special linear group $ESL_2(k)$, where $k$ is arbitrary perfect field, is storage of all…

Let $\Gamma$ be a $T$-ideal of identities of an affine PI-algebra over an algebraically closed field $F$ of characteristic zero. Consider the family $\mathcal{M}_{\Gamma}$ of finite dimensional algebras $\Sigma$ with $Id(\Sigma) = \Gamma$.…

Let $IA_n$ denote the group of $IA$-automorphisms of a free group of rank $n$, and let $\mathcal I_n^b$ denote the Torelli subgroup of the mapping class group of an orientable surface of genus $n$ with $b$ boundary components, $b=0,1$. In…

In this work, we construct fundamental domains for congruence subgroups of $SL_2(F_q[t])$ and $PGL_2(F_q[t])$. Our method uses Gekeler's description of the fundamental domains on the Bruhat- Tits tree $X = X_{q+1}$ in terms of cosets of…

If G is a finitely generated group, and A an algebraic group, then Hom(G,A) is a possibly reducible algebraic variety denoted by R_A(G). Here we define the profile function, P_d(R_A(G)), of the representation variety of G over A to be…

Let $X_n(K)$ be a building of Coxeter type $X_n = A_n$ or $X_n = D_n$ defined over a given division ring $K$ (a field when $X_n = D_n$). For a non-connected set $J$ of nodes of the diagram $X_n$, let $\Gamma(K) = Gr_J(X_n(K))$ be the…

Let $K$ be a number field with ring of integers $\mathcal{O}_K$. We describe and classify finite, flat, and linearly reductive subgroup schemes of $\mathrm{SL}_2$ over $\mathrm{Spec}\:\mathcal{O}_K$. We also establish finiteness results for…

For $G$ a connected reductive group, $\gamma\in \kg(F)$ semisimple regular integral, we introduce a fundamental domain $F_{\gamma}$ for the affine Springer fibers $\xx_{\gamma}$. There is a beautiful way to reduce the purity conjecture of…