Related papers: Congruence testing for odd subgroups of the modula…

We characterize sequences of positive integers (c 1 , c 2 , ..., cn) for which the (2 x 2)-matrix c 1 --1 1 0 $\times$ $\times$ $\times$ cn --1 1 0 belongs to the principal congruence subgroup of level 2 in SL(2, Z). The answer is given in…

Let F be the cubic field of discriminant -23 and let O be its ring of integers. By explicitly computing cohomology of congruence subgroups of GL(2,O), we computationally investigate modularity of elliptic curves over F.

Let $p$ be an odd prime. Denote a Sylow $p$-subgroup of $GL_2(\mathbb{Z}/p^n)$ and $SL_2(\mathbb{Z}/p^n)$ by $S_p(n,GL)$ and $S_p(n,SL)$ respectively. The theory of stable elements tells us that the mod-$p$ cohomology of a finite group is…

If $p$ is an odd prime, then we prove that $\e(H_2(G,\mathbb{Z})) \mid p\ \e(G)$ for $p$ groups of class 7. We prove the same for $p$ groups of class at most $p+1$ with $\e(Z(G))=p$. We also prove Schurs conjecture if $\e(G/Z(G))$ is $2,3$…

We obtain a computational realization of the strong approximation theorem. That is, we develop algorithms to compute all congruence quotients modulo rational primes of a finitely generated Zariski dense group $H \leq \mathrm{SL}(n,…

We classify irreducible SL(2,K)-modules of low Morley rank (at most 4.rk(K)) as a first step towards a more general conjecture.

We prove congruences, modulo a power of a prime p, for certain finite sums involving central binomial coefficients $\binom{2k}{k}$.

Let $A$ be the ring of elements in an algebraic function field $K$ over a finite field $F_q$ which are integral outside a fixed place $\infty$. In an earlier paper we have shown that the Drinfeld modular group $G=GL_2(A)$ has automorphisms…

Let SL(2,q) be the group of 2X2 matrices with determinant one over a finite field F of size q. We prove that if q is even, then the product of any two noncentral conjugacy classes of SL(2,q) is the union of at least q-1 distinct conjugacy…

It is a longstanding conjecture that for a finite group $G$, the exponent of the second homology group $H_2(G, \mathbb{Z})$ divides the exponent of $G$. In this paper, we prove this conjecture for $p$-groups of class at most $p$, finite…

A pseudomodular group is a finite coarea nonarithmetic Fuchsian group whose cusp set is exactly $\mathbb{P}^1(\mathbb{Q})$. Long and Reid constructed finitely many of these by considering Fricke groups, i.e., those that uniformize…

A new proof of the classification for tensor ideal thick subcategories of the bounded derived category, and the stable category, of modular representations of a finite group is obtained. The arguments apply more generally to yield a…

A subgroup $H$ of a finite group $G$ is submodular in $G$ if there is a subgroup chain $H=H_0\leq\ldots\leq H_i\leq H_{i+1}\leq \ldots \leq H_n=G$ such that $H_i$ is a modular subgroup of $H_{i+1}$ for every $i$. We investigate finite…

Let $\Gamma$ denote the modular group $SL(2,\Bbb Z)$ and $C_n(\Gamma)$ the number of congruence subgroups of $\Gamma$ of index at most $n$. We prove that $\lim\limits_{n\to \infty} \frac{\log C_n(\Gamma)}{(\log n)^2/\log\log n} =…

In this article we give a classification of the sub-groups in PSL(2,Z) and of the conjugacy classes of these sub-groups by the mean of an combinatorial invariant: some trivalent diagrams (dotted or not). We give explicit formulae enabling…

We use buildings and group extensions to compute lower bounds on the top Betti numbers for the cohomology of the level p congruence subgroups of SL(3,Z) and Sp(4,Z).

The so--called subgroup commutativity degree $sd(G)$ of a finite group $G$ is the number of permuting subgroups $(H,K) \in \mathrm{L}(G) \times \mathrm{L}(G)$, where $\mathrm{L}(G)$ is the subgroup lattice of $G$, divided by…

In this paper we will use experimental and computational methods to find modular forms for non-congruence subgroups, and the modular forms for congruence subgroups that they are associated with via the Atkin--Swinnerton-Dyer correspondence.…

It is known that the level $2$ principal congruence subgroup of $GL(n;\mathbb{Z})$ has a finite generating set. In this paper, we give a finite presentation of the level $2$ principal congruence subgroup of $GL(n;\mathbb{Z})$.

We introduce the first provably efficient algorithm to check if a finitely generated subgroup of an almost simple semi-simple group over the rationals is Zariski-dense. We reduce this question to one of computing Galois groups, and to this…