Related papers: The Zieschang-McCool method for generating algebra…

In this paper, we give presentations of the mapping class groups of marked surfaces stabilizing boundaries for any genus. Note that in the existing works, the mapping class groups of marked surfaces were the isotopy classes of…

We exhibit a finitely generated group $\M$ whose rational homology is isomorphic to the rational stable homology of the mapping class group. It is defined as a mapping class group associated to a surface $\su$ of infinite genus, and…

Let $p$ be a prime. The right-angled Artin pro-$p$ group $G_{\Gamma}$ associated to a fnite simplicial graph $\Gamma$ is the pro-$p$ completion of the right-angled Artin group associated to $\Gamma$. We prove that the following assertions…

Let $\Free_n$ denote the free group with $n$ generators $g_1, g_2, ..., g_n$. Let $\lambda$ stand for the left regular representation of $\Free_n$ and let $\tau$ be the standard trace associated to $\lambda$. Given any positive integer $d$,…

Self equivalences of classifying spaces of $p$-local compact groups are well understood by means of the algebraic structure that gives rise to them, but explicit descriptions are lacking. In this paper we use a construction of Robinson of…

In "Almost Free Modules, Set-theoretic Methods", Eklof and Mekler raised the question about the existence of dual abelian groups G which are not isomorphic to Z+G. Recall that G is a dual group if G ~ D^* for some group D with D^*=Hom(D,Z).…

Let $[n]^{(k)}$ be the set of all ordered $k$-tuples of distinct elements in $[n]=\{1,2,...,n\}$. The $(n,k,r)$-arrangement graph $A(n,k,r)$ with $1\leq r\leq k\leq n$, is the graph with vertex set $[n]^{(k)}$ and with two $k$-tuples are…

We define the completion of an associative algebra $A$ in a set $M=\{M_1,\dots,M_r\}$ of $r$ right $A$-modules in such a way that if $\mathfrak a\subseteq A$ is an ideal in a commutative ring $A$ the completion $A$ in the (right) module…

Let $G$ be a connected semisimple group over ${\Bbb Q}$. Given a maximal compact subgroup and a convenient arithmetic subgroup $\Gamma\subset G({\Bbb Q})$, one constructs an arithmetic manifold $S=S(\Gamma)=\Gamma\backslash X$. If $H\subset…

Let $N_g$ be a closed, connected, nonorientable surface of genus $g$. We prove that for $g \ge 13$, the mapping class group $\text{Mod}(N_g)$ can be generated by exactly two elements. This improves the previously known bound of $g \ge 19$.

Let F_n = <x_1,...,x_n> denote the free group with generators {x_1,...,x_n}. Nielsen and Magnus described generators for the kernel of the canonical epimorphism from the automorphism group of F_n to the general linear group over the…

We study the $p$-adic algebraic groups $G$ from the definable topological-dynamical point of view. We consider the case that $M$ is an arbitrary $p$-adic closed field and $G$ an algebraic group over ${\mathbb Q}_p$ admitting an Iwasawa…

In this paper, we initiate a systematic study of entanglements of division fields from a group theoretic perspective. For a positive integer $n$ and a subgroup $G\subseteq \text{GL}_2(\mathbb{Z}/{n}\mathbb{Z})$ with surjective determinant,…

We exhibit a simple construction, based on elementary linear algebra, for a class of examples of finite $p$-groups of nilpotence class $2$ all of whose automorphisms are central.

A generating pair $x, y$ for a group $G$ is said to be \textbf{\textit{symmetric}} if there exists an automorphism $\varphi_{x,y}$ of $G$ inverting both $x$ and $y$, that is, $x^{\varphi_{x,y}}=x^{-1}$ and $y^{\varphi_{x,y}}=y^{-1}$.…

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…

Let $p$ be a prime number, and $G$ a compact $p$-adic Lie group. We recall that the Iwasawa algebra $\Lambda(G)$ is defined to be the completed group ring of $G$ over the ring of $p$-adic integers. Interesting examples of finitely generated…

Let $\mathbb{K}$ be an algebraically closed field of characteristic zero and $\mathbb{K}[x,y]$ the polynomial ring. The group $\text{SL}_{2}\left(\mathbb{K}[x,y]\right)$ of all matrices with determinant equal to $1$ over $\mathbb{K}[x,y]$…

We prove that the mapping class group of a closed connected orientable surface of genus $g$ is generated by three involutions for $g\geq 6$.

In earlier work, Katz exhibited some very simple one parameter families of exponential sums which gave rigid local systems on the affine line in characteristic p whose geometric (and usually, arithmetic) monodromy groups were SL(2,q), and…