Skip to main content

All Questions

Filter by
Sorted by
Tagged with
1 vote
1 answer
214 views

Conditions of P for existence of orthogonal matrix Q and permutation matrix U satisfying QP = PU

Question: Let $P\in \mathbb{R}^{d\times n}$ be a $d$-rank real matrix and $PP^T = c I_d$ with a certain constant $c > 0$. Under what additional conditions of $P$ does there exist an orthogonal ...
Eddie's user avatar
  • 187
5 votes
1 answer
175 views

Growth of the word norm for elementary matrices in $\rm SL_3 (\mathbb{Z})$

This is a reference request, since the answer is probably well known, but I could not find it. Given a finitely generated group $\Gamma$ with a generating set $S$, define the word norm $l = l_S : \...
Izhar Oppenheim's user avatar
3 votes
1 answer
300 views

Deciding isometry of unimodular lattices by Gram matrices

Say I have two unimodular lattices $A$ and $B$, represented by their Gram matrices. Question: Is there an algorithm to decide whether $A$ and $B$ are isometric, i.e. whether there exists a matrix $S \...
LeechLattice's user avatar
  • 9,501
13 votes
2 answers
414 views

Is every finite-order unimodular matrix conjugate to a $0,1,-1$ matrix?

Problem. Given a matrix $A\in\mathrm{GL}(n,\mathbb{Z})$ such that $A^k=1$ for some $k\geq 1$, is there a matrix $g\in\mathrm{GL}(n,\mathbb{Z})$ such that $gAg^{-1}$ has only $0$, $1$, and $-1$ as ...
Qfwfq's user avatar
  • 23.3k
3 votes
1 answer
319 views

Matrix transformation that "rotates" a matrix by $45^\circ$

I have an $n \times n$ integer matrix $A$. I want to obtain an $m \times m$ matrix $B$, where $m \ge n$, such that the rows of $A$ are the diagonals of $B$ and the columns of $A$ are the anti-...
Mohammad Al-Turkistany's user avatar
10 votes
1 answer
1k views

Maximal order of elements in SL(n,q)

The maximal order of an element of $\mathrm{GL}(n,\mathbb{F}_q)$ is $q^n-1$, where the characteristic of $\mathbb{F}_q$ is odd $p$. See here for a nice proof that uses the Cayley-Hamilton Theorem. ...
Sean Lawton's user avatar
  • 8,529
7 votes
0 answers
252 views

A conjecture of Lubotzky on ranks of subgroups of special linear groups over the integers

In a 1985 paper named "Dimension function for discrete groups" Lubotzky conjectured that: For any integer $n \geq 3$ the group $\mathrm{SL}_n(\mathbb{Z})$ contains infinitely many finite index ...
Pablo's user avatar
  • 11.3k
7 votes
1 answer
169 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 ...
Pablo's user avatar
  • 11.3k
18 votes
0 answers
734 views

How boundedly generated is $SL_3(\mathbb{Z})$?

The group $G = \mathrm{SL}_3(\mathbb{Z})$ is known to be boundedly generated, that is, there exists some $m \in \mathbb{N}$, and $g_1, \dots, g_m \in G$ such that we have the following equality of ...
Pablo's user avatar
  • 11.3k
27 votes
1 answer
1k views

Properties to have matrices that commute in $\mathrm{GL}_n(\mathbb C)$

Let $G$ be a finite subgroup of $\mathrm{GL}_n(\mathbb C)$, $A,B \in G$ whose eigenvalues are thus in the unit circle. Assume that the eigenvalues ​​of $A$ are included in a circle arc of length $<\...
user avatar
1 vote
1 answer
362 views

Odd subgroup of $\mathrm{GL}(n,\mathbb{Z})$

The group $\mathrm{GL}(n,\mathbb{Z})$ acts on $(\mathbb{Z}/2\mathbb{Z})^n$ by right multiplication (the same kind of things can be done with left action). I denote by $H\subset \mathrm{GL}(n,\mathbb{Z}...
Jérémy Blanc's user avatar
9 votes
1 answer
573 views

$SL_2(\mathbf{Z},8\mathbf{Z})$ differs from $E_2(\mathbf{Z},8\mathbf{Z})$. Has this result appeared in the literature?

I know a proof that the congruence subgroup $SL_2(\mathbf{Z},8\mathbf{Z})$ differs from its subgroup $E_2(\mathbf{Z},8\mathbf{Z})$, but can't find this fact in the literature. Does anyone know a ...
Bruce Magurn's user avatar
8 votes
4 answers
2k views

Commuting matrices in GL(n,Z)

Suppose $M$ is a "hyperbolic" matrix in $GL(n,\mathbb Z)$, i.e., that its characteristic polynomial $p$ is irreducible over $\mathbb Z$ and has no roots of modulus 1. Is there a closed description ...
Nikita Sidorov's user avatar