# Tagged Questions

**1**

vote

**1**answer

235 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 ...

**4**

votes

**0**answers

75 views

### Groups of operators between local unitaries and full unitaries

Consider the group $U(d_1) \otimes U(d_2)$ of "local unitary" operators acting on the complex space $\mathbb{C}^{d_1} \otimes \mathbb{C}^{d_2}$ (i.e., $U(d_1) \otimes U(d_2)$ is the group of unitary ...

**1**

vote

**1**answer

182 views

### $SO(N^2-1)$ and the adjoint representation of $SU(N)$

It is a known fact that the adjoint representation of $SU(N)$ is a proper subgroup of $SO(N^2-1)$.
I would like to know how a generic $(N^2-1)\times (N^2-1)$ special ($det =1$), orthogonal matrix $O$ ...

**8**

votes

**1**answer

499 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 ...

**3**

votes

**0**answers

131 views

### Compute the discriminant for reductive groups

Consider $G=GL_{2}$ and $F=k((\pi))$, and a diagonal matrix $t=\left(\begin{array}{cc}a&0\\0&b\end{array}\right)$.
The characteristic polynomial of $t$ is $X^{2}-(a+b)X+ab$, and the ...

**3**

votes

**2**answers

581 views

### A problem about Determinant of sum of permutation matrices

Let $w_1$ and $w_2$ be two permutations of $\{1, \cdots , k\}$ such that for all $1\leq i \leq k$, $w_1(i)\neq w_2(i)$. Let $m$ and $n$ be two relatively prime integers. Then is there exist two ...

**2**

votes

**1**answer

134 views

### Conjugacy of torsion subgroups in Gl(n, Z) for small n [duplicate]

Have the conjugacy classes of the torsion subgroups of Gl(n, Z) been determined for small n (say, n<=6)? In general, can much be said about the torsion subgroup?

**13**

votes

**1**answer

506 views

### Free subgroups of GL(2,Z)

Is there a bound $B$ such that every 2-generator subgroup
$G = \langle a, b \rangle < {\rm GL}(2,\mathbb{Z})$
whose generators do not satisfy a relation of length $\leq B$ is free?
If it exists, ...

**4**

votes

**2**answers

434 views

### Matrix groups and presentation

Suppose $K$ is a number field and I have a subgroup of $GL_2(K)$ for which I know a (finite) set of generators. Is there an algorithm that gives me a presentation of the group?
More precisely, the ...

**2**

votes

**0**answers

161 views

### Eigenvalues of the products of a fixed unitari matrix with diagonal unitari matrices

How does the spectra of $DU$ change when $D$ runs over all diagonal unitary matrices? Here $U$ is a fixed unitary matrix. Precisely, let spec$(X)$ be a set of eigenvalues of $X$.
For a unitary matrix ...

**4**

votes

**3**answers

350 views

### Finding generators of matrix subgroups

I am particularly interested in Sp$(2n,\mathbb{Z})$, but I think an answer for a more general set of matrices would help.
General question: Given a subgroup of a group of matrices, what tools or ...

**11**

votes

**1**answer

238 views

### A product on the square roots of unit matrix

There is a strange product that takes two square roots of unit matrix, say $A$ and $B$, $A^2=I$, $B^2=I$ to a square root again,
$$ A\star B=(A+B)^{-1}(A-B+2I), \qquad (A\star B)^2=I$$
Could anybody ...

**5**

votes

**2**answers

402 views

### Complexity of Membership-Testing for finite abelian groups

Consider the following abelian-subgroup membership-testing problem.
Inputs:
A finite abelian group $G=\mathbb{Z}_{d_1}\times\mathbb{Z}_{d_1}\ldots\times\mathbb{Z}_{d_m}$ with ...

**8**

votes

**1**answer

540 views

### Automorphisms of a matrix in Smith normal form?

Added: Amritanshu Prasad's answer makes it clear that I am really asking for a description of the group of integer unimodular matrices $P$ such that $D^{-1}PD$ is also integer. These matrices are ...

**8**

votes

**3**answers

731 views

### Congruence subgroups as abstract groups

This is probably well know, and maybe even trivial, but not to me. Consider for concreteness the subgroup
$$
\pm\Gamma_0(3)=\left\{\begin{pmatrix}a & b \\ c & ...

**4**

votes

**1**answer

262 views

### When is Out$(SL_n(R))$ a torsion group ?

This question is a follow up question to this question. So my question is:
For which rings $R$ (commutative, with unit) (and which integers $n$) is $Out(SL_n(R))$ a torsion group? A consequence of ...

**26**

votes

**1**answer

727 views

### Understanding “infinite” relations in groups

Consider the matrices $A = \frac{1}{5}\begin{pmatrix}5&0&0\\\ 2&2&1\\\ 2&1&2\end{pmatrix}$, $B = \frac{1}{5}\begin{pmatrix}2&2&1\\\ 0&5&0\\\ ...

**3**

votes

**1**answer

555 views

### Subgroups of U(M_n)

can any subgroup of the unitary group of full matrix alg $M_d(\mathbb{C})$ be approximated on finite
sets by a finite subgroup?
i.e. is the following True or false?
Let $n, d$ be positive integers ...

**4**

votes

**4**answers

945 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 ...

**3**

votes

**4**answers

979 views

### Parametrization of O(3)

Is there a simple way to parametrize the orthogonal group O(3) of 3 by 3 orthogonal matrices?

**24**

votes

**2**answers

1k views

### Invertible matrices satisfying $[x,y,y]=x$.

I have been thinking about this question for quite some time but now this question by Denis Serre revived some hope.
Question. Let $x,y$ be invertible matrices (say, over $\mathbb C$) and ...

**20**

votes

**2**answers

2k views

### Finite subgroups of unitary groups

Let $n$ be an integer. Camille Jordan showed that there exists some $m \in {\mathbb N}$ (depending on $n$), such that for any pair of $n \times n$-unitaries $u,v \in U(n)$ which generate a finite ...

**7**

votes

**1**answer

455 views

### What matrix groups can be embedded in $Sp_4$?

In a joint paper with Yifan Yang we constructed an "exotic" embedding
of $SL_2(\mathbb R)$ in $Sp_4(\mathbb R)$ (in fact, of $PSL_2(\mathbb R)$ in $PSp_4(\mathbb R)$),
namely,
$$
...

**1**

vote

**2**answers

150 views

### Freeness of the Canonical $SU(n)$ Action

I have another question about $SU(n)$, again I hope it's not too basic. For $n=2$, the action of $SU(2)$ on $C^2$ is free since it's equal to the group of rotations. In general, the group of rotations ...

**1**

vote

**2**answers

230 views

### Describing $SU(n,C)$

For $A \in SU(2,C)$, it is clear that $A$ is completly determined by its first row (well any row or column, but let's say first column). In the general $SU(n,C)$-case this is no longer true. In fact, ...

**8**

votes

**4**answers

748 views

### presentation for GL(n,K)

let $K$ be a field, $n \geq 1$. denote $E_{i,j}$ the elementary matrix having $1$ on the diagonale and in the entry $(i,j)$, and $E_i(a)$ the elementary matrix $diag(1,...,a,...,1)$. you know that ...

**7**

votes

**1**answer

841 views

### Surjective maps given by words, redux

I asked some time ago:
Let $w(X,Y)$ be a word in $X$ and $Y$ (i.e., an element in the free group on $X$ and $Y$). Let the variables $x$ and $y$ now range among elements of $SL_n(K)$, $K$ an ...