All Questions
13 questions
0
votes
1
answer
171
views
Prime index subgroups of $\langle Q^{i}(\mathbb Z^{2}) \mid i \in \mathbb Z \rangle$ that is invariant under matrix $Q$
Let $Q $ be a matrix in $ \operatorname{GL}(2, \mathbb{Q}) $ and consider the group
$G = \langle Q^{i}(\mathbb Z^{2}) \mid i \in \mathbb Z \rangle := \langle Q^{i}(v) \mid i \in \mathbb Z, v \in \...
- 63.9k
1
vote
0
answers
189
views
The existence of solutions to linear systems of equations over the integer ring $\mathbb{Z}$
There are already detailed results on the solutions of linear equations over fields, but I'd like to inquire about any good conclusions regarding the solutions of linear equations over the integer ...
- 30.1k
7
votes
1
answer
633
views
Given a rational matrix $Q$, can we generate $\langle Q^{i}(v)\mid i\in\mathbb Z,v\in\mathbb Z^{2}\rangle$ using only non-negative powers of a matrix?
I have copied this question from StackExchange, thank you to those who helped me to improve the question. (apology if you have seen this question already)
Let $Q $ be a matrix in $ \operatorname{GL}(...
- 7,893
1
vote
1
answer
252
views
Smith normal form and last invariant factor of certain matrices
I've copied over this question from what I asked on Mathematics Stack Exchange, in the hope that some experts can provide some relevant insight.
Suppose we have row vectors $x_1$, $x_2$ , $y_1$ , $y_2 ...
- 5,409
2
votes
1
answer
389
views
Existence of regular semisimple elements in linear group over local field
Let $ L $ be a finite extension of $p$-adic numbers $ \mathbb{Q}_p $. Let $ \text{GL}_{n}(L) $ denote the general linear group $ \text{GL}_{n}(L) $ over $L$ equipped with the topology induced from the ...
- 863
1
vote
0
answers
91
views
Diophantine equation about the automorphism group of lattice by constraints
Fixed $\sigma_x=\left(
\begin{array}{cc}
0 & 1 \\
1 & 0 \\
\end{array}
\right)$ and $K=\left(
\begin{array}{ccc}
3 & 32 & -64 \\
1 & 32 & -32 \\
-2 & -32 & 64 \\
\...
1
vote
0
answers
127
views
Lower and upper bounds of the distance between two Frobenius numbers
I consider two sequences of numbers: $A=\{a_1,...,a_{m-1},n\}$ and $B=\{n-a_{m-1},...,n-a_1,n\}$, where $a_1 < a_2 < ... < a_{m-1} < n$ and $\gcd(A) = \gcd(B) = 1$.
I investigate the ...
- 13
7
votes
2
answers
1k
views
An Expectation of Cohen-Lenstra Measure
The Cohen-Lenstra measure on the set of abelian p-groups assigns $\mathbb{P}(G) = \prod_{i \geq 1} \left( 1 - \frac{1}{p^i}\right) \cdot |\mathrm{Aut}(G)|^{-1} $. Apparently, this is equivalent to ...
CommunityBot
- 1
22
votes
2
answers
1k
views
$GL_n(\Bbb Z_p)$ conjugacy classes in a $GL_n(\Bbb Q_p)$ conjugacy class
It is easy to classify conjugacy classes in $GL_n(\mathbb Q_p)$ by linear algebra. How to classify $GL_n(\Bbb Z_p)$ conjugacy classes in a $GL_n(\Bbb Q_p)$ conjugacy class? For example, for general ...
- 20.8k
115
votes
3
answers
5k
views
The number $\pi$ and summation by $SL(2,\mathbb Z)$
Let $f(a,b,c,d)=\sqrt{a^2+b^2}+\sqrt{c^2+d^2}-\sqrt{(a+c)^2+(b+d)^2}$. (it is the defect in the triangle inequality)
Then, we discovered by heuristic arguments and then verified by computer that
$$\...
- 5,053
13
votes
2
answers
1k
views
Action of SL(2,Z) on upper triangular primitive integer matrices of determinant N, from the right. Is it transitive?
I am porting this question across from StackExchange, since it has received no answers and perhaps is sufficiently deep to fit here.
I am considering the set of upper triangular matrices
$$D_N=\left\...
- 18.4k
2
votes
0
answers
63
views
Determining subgroup of finite group of Lie type from characteristic polynomials
Suppose you have $G$ a finite group of Lie type (say $\mathrm{Sp}_4( \mathbb{F}_5)$ as a case I particularly care about, but there are others.) Your friend picks a subgroup $H$ and selects random ...
- 2,429
5
votes
1
answer
749
views
Why is $(A^\perp)^\perp = A$?
On page 52 of this paper, Iwasawa considered the bilinear symmetric non-degenerate pairing $\Phi_n \times \Phi_n \rightarrow \mathbb{Q}_p/\mathbb{Z}_p$ defined by
$$\langle \alpha, \beta \rangle_n := \...
- 105k