Questions tagged [linear-groups]
The linear-groups tag has no usage guidance.
57
questions
1
vote
0
answers
76
views
Non-Noetherian closed subgroups of ${\rm GL}_{n}(\mathbb{F}_{q}[[T]])$
Let $\mathbb{F}_{q}$ be a finite field of order $q$, and $\mathbb{F}_{q}[[T]]$ be the ring of formal power series over $\mathbb{F}_{q}$. We say that a profinite group $G$ is Noetherian if any closed ...
2
votes
1
answer
321
views
Proving certain triangle groups are infinite
[Cross-posted from MSE]
Consider the Von Dyck group
$$ G = \langle x,y\mid x^a=y^b=(xy)^c=1\rangle $$
where $a,b,c\ge3$. Because $G$ is infinite and residually finite, it has an infinite family of ...
0
votes
0
answers
76
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
168
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\...
0
votes
0
answers
169
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 ...
2
votes
0
answers
76
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 ...
7
votes
1
answer
339
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 ...
5
votes
2
answers
261
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 ...
0
votes
1
answer
361
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
votes
1
answer
296
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 ...
10
votes
2
answers
437
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 ...
4
votes
0
answers
109
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 ...
6
votes
0
answers
439
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. ...
1
vote
1
answer
145
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 ...
3
votes
1
answer
145
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)}}{:...
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.
...
2
votes
1
answer
183
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,...
1
vote
1
answer
191
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 ...
4
votes
2
answers
517
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 ...
7
votes
1
answer
463
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}(...
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
votes
1
answer
284
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}/...
12
votes
0
answers
318
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 \...
16
votes
1
answer
695
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. ...
3
votes
1
answer
121
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?
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 ...
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 ...
1
vote
0
answers
122
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(...
2
votes
1
answer
456
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})$. ...
2
votes
1
answer
180
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 = \...
7
votes
1
answer
167
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 ...
5
votes
1
answer
581
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 ...
3
votes
1
answer
231
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$?
18
votes
0
answers
463
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$. ...
0
votes
0
answers
247
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 ...
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{...
11
votes
1
answer
479
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 ...
2
votes
1
answer
467
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 $...
4
votes
1
answer
666
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 [...
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 ...
4
votes
2
answers
472
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 $\...
7
votes
3
answers
719
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 ...
1
vote
1
answer
273
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 ...
5
votes
1
answer
419
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 - ...
4
votes
2
answers
401
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})$ ...
9
votes
1
answer
368
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 ...
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!
4
votes
0
answers
250
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 ...
7
votes
1
answer
375
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 ...
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 ...