Questions tagged [linear-groups]
The linear-groups tag has no usage guidance.
55
questions
0
votes
0
answers
73
views
Finite pro-$ p $ subgroups of $ {\rm SL}_{2}(\mathbb{F}[[T]]) $
Let $ p $ be an odd prime, $ \mathbb{F} $ a finite field of characterisitc $ p $ and $ \mathbb{F}[[T]] $ the formal power series over $ \mathbb{F} $. Let $ G $ be a pro-$ p $ subgroup of $ {\rm SL}_{2}...
2
votes
0
answers
155
views
When is an infinite pro-$p$ group generated by its torsions
Let $p$ be a prime and $\mathcal{O}=\mathbf{Z}_p$ or $\mathbf{F}_p[[T]]$, i.e. the ring of $p$-adic integers or the ring of formal power series over a finite field $\mathbf{F}_p$ of order $p$. Let $G\...
- 429
0
votes
0
answers
161
views
A characterisation of full subgroups of $\mathrm{GL}_n(\mathbf{F}_p)$
Let $p\geq 5$ be a prime and $\mathbf{F}_p$ a finite field of characteristic $p$. A subgroup of ${\rm GL}_n(\mathbf{F}_p)$ is full if it contains ${\rm{SL}}_n(\mathbf{F}_p)$. When $n=2$, we have the ...
- 429
1
vote
0
answers
65
views
Reference request: Lower group (co)homology of linear groups
I am finding references about the following general question:
What is the group (co)homology $H_{i}(G,\mathbb{Z})$ for a linear group $G$?
In my case, I'm particularly interested in the special case ...
- 223
7
votes
1
answer
333
views
How can I detect the homology image of a unipotent group in the general linear group?
Suppose $n$ is a positive integer greater than 2, and $F$ is an arbitrary field with at least 4 elements.
Denote $\text{GL}_n(F)$ the general linear group in the usual sense and $U_n(F)$ the unipotent ...
- 379
5
votes
2
answers
243
views
If $K\rtimes \mathbb{Z}$ is a finitely generated group but $K$ isn't, must the fixed points of $1_\mathbb{Z}$ be a finitely generated group?
I've copied over this question from what I asked on StackExchange, in the hope that an expert here can readily answer the question.
Is there an example of a group $G=K\rtimes \mathbb{Z}$ satisfying ...
- 171
0
votes
1
answer
289
views
Generators of $SL(n,\mathbb F_2)$? [closed]
Consider the invertible matrices in $\mathbb F_2^{n\times n}$ which are a multiplicative group structure. Is there a finite set of $2k$ (at a $k\in\mathbb Z_{\geq1}$ independent of $n$) generators for ...
- 13.5k
13
votes
1
answer
295
views
Is every finite $d$-dimensional matrix group generated by $d$ elements?
The question is in the title. If $\Gamma\subset\mathrm{GL}(\Bbb R^d)$ is a finite matrix group, can it be generated by (at most) $d$ elements?
I suspect that this hope is too naive, but I have no ...
- 11.7k
10
votes
2
answers
426
views
Sequence of epimorphisms of residually finite groups stabilizes
Let $G_1 \to G_2 \to \cdots$ be a sequence of epimorphisms of finitely generated residually finite groups. Does it eventually stabilize? That is, are all but finitely many epimorphisms actually ...
- 435
4
votes
0
answers
107
views
Question about generalizing Cauchy identity
One of the Cauchy identities says that
$$\prod_{i,j}(1+x_iy_j) = \sum_\lambda s_\lambda (x_1, \cdots,x_m) s_{\lambda'}
(y_1, \cdots,y_n) $$
Where $\lambda$ is a Young diagram, $\lambda'$ is the ...
- 121
6
votes
0
answers
386
views
Centralizer of elements in the upper-triangular matrices
Let $p$ be a prime number and $G=\operatorname{GL}_n ( \mathbb{Z} / p \mathbb{Z}
)$ such that $n\leq p$. Consider the set $U$ of upper-triangular matrices of $G$
having entries of $1$ on the diagonal. ...
- 461
1
vote
1
answer
142
views
Upper bounds for difference of entries between matrices and their inverses in $\mathsf{GL}_k(\mathbb Z)$
Let $a(M)$ be the maximum absolute value of entries of matrix $M\in\mathsf{GL}_k(\mathbb Z)$.
$M^{-1}\in\mathsf{GL}_k(\mathbb Z)$ holds.
What is a good upper bound for $|a(M)-a(M^{-1})|$?
I am ...
- 1,776
3
votes
1
answer
133
views
Is the Singer cycle preserved by field automorphisms and graph automorphisms?
Let $T=\operatorname{PSL}_n(q)$ with $n$ a prime number. Then the $\mathscr{C}_3$ subgroup $M=\langle x\rangle{:}\langle\sigma\rangle$ of $T$ is isomorphic to $\mathbb{Z}_{\frac{q^n-1}{(q-1)(n,q-1)}}{:...
- 349
1
vote
0
answers
63
views
Conjugacy classes and normal form of $O_n$ and $U_n$
I'm interested in characterizing conjugacy classes inside $O_n$ and $U_n$ over local fields of positive characteristic ($\neq 2$). I need this for my research on representation theory of these groups.
...
- 11
2
votes
1
answer
173
views
Relation to the Bruhat cell
Let $g\in\operatorname{SL}_n(\mathbb Z)$ such there exists $v\in\mathbb Q^n$
such that $v, gv, \dotsc, g^{n−1}v$ is a $\mathbb Q$-base of $\mathbb Q^n$ and there exists a $\mathbb Z$-base $w_1, \dotsc,...
- 332
1
vote
1
answer
179
views
If $\Lambda \cap U$ is Zariski-dense in $U$, then $\Lambda$ contains $U(k\mathbb Z)$ for some $k ≥ 1$?
If $G$ is a $\mathbb Q$-defined subgroup of $\operatorname{GL}_n(\mathbb C)$, $\Lambda$ is a subgroup of $G(\mathbb Z)$, and $U$ is a unipotent subgroup of $G(\mathbb C)$ such that $\Lambda \cap U$ is ...
- 332
4
votes
2
answers
499
views
Non-torsion part of the abelianisation of congruence subgroups
I've posted this question on math.stackexchange, but haven't gotten any responses so I'm trying here instead.
Let $A = F_q[T]$ be the ring of polynomials in one variable with coefficients in a finite ...
- 345
7
votes
1
answer
424
views
$\operatorname{Out}(F_n)$ is not linear for $n > 3$
The paper The Tits alternative for $\operatorname{Out}(F_n)$ I by Bestvina, Feighn and Handel and the paper Automorphisms of free groups and Outer space by Vogtmann both state that $\operatorname{Aut}(...
- 275
2
votes
0
answers
303
views
Finite simple subgroups of $\mathrm{GL}_n(\mathbb{C})$
Let $n$ be a fixed positive integer. Is it true that there are only finitely many isomorphism classes of finite nonabelian simple subgroups of $\mathrm{GL}_n(\mathbb{C})$?
I'm especially interested ...
- 4,436
4
votes
1
answer
274
views
Automorphisms of products of $GL_n(\mathbb{Z})$ 's
It is a Theorem of Hua y Reiner (1951) that the group or outer automorphisms $Out(GL_n(\mathbb{Z}))$ is either isomorphic to $\mathbb{Z}/2$, if $n$ odd or $n=2$, or to $\mathbb{Z}/2 \times \mathbb{Z}/...
- 409
12
votes
0
answers
305
views
Bijective proof of an identity involving number of standard Young tableaux and semistandard tableaux
Question. Can you find a bijective proof of the identity
$$ \operatorname{dim}(S^{\lambda} \mathbb{C}^m)\ \operatorname{dim}(S^{\lambda'} \mathbb{C}^n) \ f^{n^m}
= \dim \Lambda^p (\mathbb{C}^m \...
- 381
16
votes
1
answer
665
views
Transitive actions of finite subgroups of ${\rm GL}(n,\Bbb Z)$ on projective geometries
For any $n$, the group ${\rm GL}(n,\Bbb Z)$ has a natural action on $\Bbb Z^n$. Modding out a prime $p$ yields an action on the vector space $F_p^n$, where $F_p$ is the finite field with $p$ elements. ...
- 163
3
votes
1
answer
118
views
Double cosets of $U(n)\times U(n)$ in $U(2n)$
This may be well-known but I couldn't find a way to charcterize the double-cosets of $U(n)\times U(n)$ in $U(2n)$ or couldn't find reference.
Is there reference where I can look for?
- 287
3
votes
0
answers
111
views
An $\mathsf{SL(n,F)}$ decomposition problem
Given $n\times n$ square matrix $A\in\Bbb F^{n\times n}_{}$ where $\Bbb F$ is a field is there an easy way to test there is NO decomposition $A=B+C+D$ where $B,C,D\in\mathsf{SL}(n,{\Bbb F})$ are ...
- 13.5k
2
votes
1
answer
134
views
Intransitive finite irreducible linear groups whose orbits are all large
I am interested in intransitive irreducible linear subgroups $G\subseteq\mathrm{GL}_n(\mathbb{F}_p)$ acting on $V-\{0\}=\mathbb{F}_p^n-\{0\}$ in the natural way, such that all of the orbits are very ...
- 527
1
vote
0
answers
120
views
Profinite rank of Fuchsian groups
Let $G$ be a Fuchsian group whose profinite completion is finitely generated. Must $G$ be finitely generated?
A Fuchsian group is a discrete subgroup of $\mathrm{SL}_2(\mathbb{R})$ or $\mathrm{PSL}_2(...
- 11.2k
2
votes
1
answer
432
views
When is the image of the adjoint representation of a real algebraic group Zariski closed?
Let $\operatorname{Ad}:\operatorname{SL}_n(\mathbb{R}) \to \operatorname{GL}(\mathfrak{sl}_n(\mathbb{R}))$ be the adjoint representation (i.e. $\operatorname{Ad}(g)X=gXg^{-1}$) of $SL_n(\mathbb{R})$. ...
- 187
2
votes
1
answer
168
views
The maximal possible rank of a subgroup of a product of special linear groups
In this question I ask for a generalization of What is the maximal possible rank of a subgroup of a special linear group mod a prime?
Let $p_1, \dots, p_r$ be $r$ distinct odd primes.
Set $$G = \...
- 11.2k
7
votes
1
answer
165
views
What is the maximal possible rank of a subgroup of a special linear group mod a prime?
Let $p$ be a prime number, and let $\mathbb{F}_p$ be the unique field of cardinality $p$.
What is $\max \{d(H) : H \leq \mathrm{SL}_3(\mathbb{F}_p)\}$?
Here we denote by $d(G)$ the smallest ...
- 11.2k
5
votes
1
answer
549
views
Maximal subgroups of special linear groups over finite fields
Let $p$ be a prime number, and denote by $\mathbb{F}_p$ the field with $p$ elements.
Is there a classification of the maximal subgroups of $G = \mathrm{SL}_3(\mathbb{F}_p)$ ?
I am interested in ...
- 11.2k
3
votes
1
answer
230
views
Is there a bound on the rank of finite index subgroup of SL_3(Z)?
Is there an $N \in \mathbb{N}$ such that every finite index subgroup of $\mathrm{SL}_3(\mathbb{Z})$ has a generating set of size $N$?
- 11.2k
18
votes
0
answers
458
views
Linear groups which don't contain products of free groups
Let $G \subset GL(n, \Bbb Z)$ be a f.g. linear group. The Tits alternative says that $G$ is either virtually solvable (i.e. has a solvable subgroup of finite index), or contains a free group $F_2$. ...
- 16.2k
0
votes
0
answers
244
views
Zariski dense subgroups and conjugates
Let $H \leq \mathrm{SL}_3(\mathbb{Z})$ be a finitely generated subgroup which is not Zariski dense, and let $g \in \mathrm{SL}_3(\mathbb{Z})$. Must there be some $a \in \mathrm{SL}_3(\mathbb{Z})$ such ...
- 11.2k
19
votes
2
answers
4k
views
Minimal number of generators for $GL(n,\mathbb{Z})$
$\DeclareMathOperator{\gl}{GL}\DeclareMathOperator{\sl}{SL}$From de la Harpe's book "Topics in Geometric Group Theory" I learnt that $\gl(n,\mathbb{Z})$ is generated by the matrices $$s_1 = \begin{...
- 1,302
11
votes
1
answer
474
views
The Mordell and Bogomolov problems in linear groups
Many things in the arithmetic of abelian varieties have counterparts not only in linear tori, but also for semisimple linear groups. Two examples are the Tamagawa number and the conjectured finiteness ...
- 13.6k
2
votes
1
answer
429
views
Is every closed subgroup of $\text{GL}_n(K[[x]])$ finitely generated?
Let $n \in \mathbb{N}$, $K$ a finite field. Denote by $K[[x]]$ the (profinite) ring of formal power series over $K$. Note that $\text{GL}_n(K[[x]])$ is a profinite group.
Is every closed subgroup of $...
- 11.2k
3
votes
1
answer
650
views
classify antiholomorphic involutions of projective space
On $\mathbb{CP}^1$ with standard complex structure, how to prove that there are only two types of antiholomorphic involution, given by
$$ \tau :[z:w]\mapsto [\bar w, \bar z] \qquad \eta :[z:w]\mapsto [...
- 481
8
votes
2
answers
2k
views
Maximal order of finite subgroups of $GL(n,Z)$
I am interested in the finite subgroups of $GL(n,Z)$ of maximal order.
Except for the dimensions $n = 2,4,6,7,8,9,10$ they are -- up to conjugacy in $GL(n,Q)$ -- in each dimension the group of signed ...
- 1,302
4
votes
2
answers
450
views
differences between character distributions of supercuspidal representations and others
Let $G$ be a $p$-adic linear reductive group. For an irreducible admissible smooth representation $\pi$ of $G$, there is a distribution $\Theta(\pi)$, called the character distribution, attached to $\...
- 2,649
7
votes
3
answers
699
views
Does every linear group admit a subgroup of dimension 1?
Suppose that $G$ is a linear group of positive dimension, defined over some field $k$. Is that true, that $G$ admits a (closed) one-dimensional subgroup?
I'm pretty much sure this is true in ...
- 267
1
vote
1
answer
257
views
centralizer of a n-cyclic permutation matrix over F_2 in GL(n,2)
This is a continuation of this question, where I talked about the case $n=2^k$. Let $C$ be the $n\times n$-permutation matrix over $\mathbb{F}_2$ of the $n$-cycle. We needed to know the explicit ...
- 13.4k
5
votes
1
answer
410
views
centralizer of the order 2^k cyclic permutation matrix over F_2
Let $C$ be the $2^k\times 2^k$-permutation matrix over $\mathbb{F}_2$ of the $2^k$-cycle. We needed to know the structure of its centralizer in $\mathrm{GL}_{2^k}(\mathbb{F}_2)$, and we computed it - ...
- 13.4k
4
votes
2
answers
382
views
Restricting the composition factors of subgroups of GL_m(Z/nZ)
For a positive integer $m$, let $\mathcal{A}(m)$ be the set of all integers $k \geq 5$ such that: there is a positive integer $n$ and a subgroup $G \subset \operatorname{GL}_m(\mathbb{Z}/n\mathbb{Z})$ ...
- 64.1k
9
votes
1
answer
358
views
Representation of surface group
Is there a faithful representation of a surface group of genus $>2$ into $GL(n,\mathbb{C})$ for some $n$ for which, for each conjugacy class of each embedded loop in the fundamental group, the ...
- 65.7k
10
votes
2
answers
2k
views
When is a Baumslag-Solitar group linear?
The Baumslag-Solitar group $BS(m,n)$ is given by the group presentation
$BS(m,n)=(a,b|ba^{m}b^{-1}=a^{n})$. When does it embed into a linear group? Thanks!
- 401
4
votes
0
answers
245
views
A conjecture on Zassenhaus groups
In a 1995 paper by Ali Nesin, "Permutation groups of finite Morley rank", the following conjecture is mentioned:
Conjecture 5 An infinite Zassenhaus group $G$ of finite Morley rank is isomorphic ...
- 215
7
votes
1
answer
366
views
What are the necessary and sufficient conditions for GL(n,Z/p^lZ) to be isomorphic to GL(n,F_p[t]/t^l)?
Let $p$ be a prime number and $n,l$ be natural numbers. I'm interested in the conditions under which the general linear groups of degree $n$ over the following two length $l$ finite discrete valuation ...
- 7,180
48
votes
2
answers
2k
views
Isomorphic general linear groups implies isomorphic fields?
Suppose $n > 1$ is a natural number. Suppose $K$ and $L$ are fields such that the general linear groups of degree $n$ over them are isomorphic, i.e., $GL(n,K) \cong GL(n,L)$ as groups. Is it ...
- 7,180
15
votes
1
answer
675
views
distribution of Young diagrams
Consider $\Lambda^p(C^n\otimes C^n)=\oplus_{\pi}S_{\pi}C^n\otimes S_{\pi'}C^n$ as
a $GL_n\times GL_n$-module. This space has dimension $\binom {n^2}p$. I would
like any information on the shapes of ...
- 835
11
votes
3
answers
2k
views
Sylow subgroups of projective general linear groups
What is known about the Sylow 2-subgroups of $\rm{PGL}_n(\mathbb{F}_q)$, where $q$ is any prime power? For example, according to Theorem 7.9 in Isaacs's Character Theory, these Sylow 2-subgroups ...
- 12.7k