Skip to main content

All Questions

Filter by
Sorted by
Tagged with
2 votes
0 answers
101 views

On the irreducible submodules of adjoint representations $\text{ad}^{0}$

Let $k$ be a finite field of characteristic $p$. Let $H$ be a subgroup of $\rm{GL}_{n}(k)$ of order prime to $p$ where $n\geq2$. Assume that the representation $H\hookrightarrow \rm{GL}_{n}(k)$ is ...
stupid boy's user avatar
7 votes
0 answers
377 views

Subgroups of ${\rm GL}_{2}(\mathbb{Z}/2^{n} \mathbb{Z})$

Assume that $n \geq 3$. Is there a subgroup $H \leq {\rm GL}_{2}(\mathbb{Z}/2^{n} \mathbb{Z})$ whose order is a power of $2$ so that $\bullet$ $\det : H \to (\mathbb{Z}/2^{n} \mathbb{Z})^{\times}$ is ...
Jeremy Rouse's user avatar
  • 20.4k
3 votes
0 answers
145 views

Reference showing no proper subgroups of p-adic orthogonal groups surject onto mod p orthogonal groups

I am looking for a reference for the following statement: Let $O$ be an orthogonal group associated to a nondegenerate quadratic form of rank $r$ over the p-adic integers $\mathbb Z_p$. Suppose $r$ is ...
Aaron Landesman's user avatar
6 votes
0 answers
375 views

How to construct this non-geometric mod $p$ Galois representation?

Let $ K $ be a totally real cubic field. I am concerned with the following kind of Inverse Galois Problem: Is there a prime $ p>5 $ and a continuous representation $ \bar{\rho}:G_{K}\to {\rm GL}_{...
Nobody's user avatar
  • 863
5 votes
1 answer
254 views

Endomorphism algebras of restricted representations

Let $G$ be a group, and $$\rho:G\to \mathrm{GL}(V)$$ be an absolutely irreducible, finite-dimensional representation over a characteristic $0$ field $k$. For each finite index subgroup $H\le G$, let $...
Ariel Weiss's user avatar
4 votes
0 answers
421 views

Subgroup structure of certain maximal subgroups of PSL$(3,q)$

I have been reading the paper "On the images of modular and geometric three-dimensional Galois representations" (see also the earlier arXiv preprint). But there is a detail in section 6.2 ...
mdave16's user avatar
  • 141
-3 votes
1 answer
963 views

On the maximal ideal m of the formal power series ring [closed]

Let $A \colon= K[[X_1,X_2,\ldots,X_{\infty}]]$ be the formal power series ring with infinitely many variables over a field $K$. We can represent it also by the following manner$\colon$ \begin{equation*...
Pierre MATSUMI's user avatar
3 votes
1 answer
324 views

Faithful representations of free pro-p groups

Let $p$ be a prime number, $m,n \in \mathbb{N}$, $F = F(p,m)$ be the free pro-$p$ group on $m$ generators. For which $(m,n)$ there is a continuous faithful representation (embedding) $\rho : F \...
Pablo's user avatar
  • 11.3k
5 votes
2 answers
1k views

non-continuous inverse Galois problem

Let $G=Gal(\bar{\mathbf{Q}}/\mathbf{Q})$ be the absolute Galois group over $\mathbf{Q}$. Q1: Is it possible to find a (necessarily non-closed) normal subgroup $K\leq G$ such that $G/K$ is free of ...
Hugo Chapdelaine's user avatar
23 votes
3 answers
4k views

Subgroups of GL(2,q)

I have been wondering about something for a while now, and the simplest incarnation of it is the following question: Find a finite group that is not a subgroup of any $GL_2(q)$. Here, $GL_2(q)$ is ...
Bertie Wooster's user avatar
10 votes
3 answers
890 views

Cohomology of $SL_2(\mathbb{F}_p)$ acting on trace zero matrices over $\mathbb{F}_p$

I've been reading a paper by R.Ramakrishna about lifting Galois representations and at some point he uses the fact that a representation with big image has trivial first cohomology group. In other ...
mcampo's user avatar
  • 131
6 votes
2 answers
589 views

Intersection of field extensions of torsion points of non-isogenous elliptic curves

Let $E$ and $E'$ be non-isogenous elliptic curves over a field $k$ (characteristic 0) such that $Gal(k(E[p^{\infty}])/k)=Gal(k(E'[p^{\infty}])/k) = SL_2(\mathbb{Z}_p)$ with $p \geq 5$ (where $E[p^{\...
Adam Harris's user avatar
  • 1,905
7 votes
4 answers
771 views

What are the maximal subgroups of GSp(2g,l)?

Is there a nice description of the maximal subgroups of $GSp_{2g}(\mathbb{F}_l)$? When $g = 1$ this is $GL_2(\mathbb{F}_l)$, and Serre (in his 72 Inventiones paper) classifies its maximal subgroups (...
David Zureick-Brown's user avatar