Questions tagged [smith-normal-form]
The smith-normal-form tag has no usage guidance.
13
questions
28
votes
5
answers
3k
views
Does Smith normal form imply PID?
Let $R$ be a nonzero commutative ring with $1$, such that all finite matrices over $R$ have a Smith normal form. Does it follow that $R$ is a principal ideal domain?
If this fails, suppose we ...
19
votes
1
answer
814
views
Number of matrices with given Smith normal form
Denote with $\mathcal{M}$ the set of $(m \times n)$-matrices with integer coefficients bounded by some $K$. Given a matrix $B \in \mathcal{M}$ that is in Smith normal form, is anything known about the ...
17
votes
1
answer
1k
views
Smith Normal Form of powers of a matrix
What invariants of a matrix determine the Smith Normal Form (SNF) of all the powers of a matrix?
The question makes sense over any PID $R$. If we let $M = M_n(R)$ and $G=Gl_n(R)$, then SNF is a ...
9
votes
1
answer
356
views
Smith Normal Form of a Cayley Graph of the Symmetric Group
Let $A_n$ be the adjacency matrix of the Cayley graph $\text{Cay}(S_n,C_n)$ where $C_n \subseteq S_n$ is the conjugacy class of $n$-cycles of the symmetric group $S_n$. Since the generating set of ...
9
votes
0
answers
109
views
Smith normal form of conjugacy class actions
This question was inspired by Smith Normal Form of a Cayley Graph of the Symmetric Group.
Let $\mathbb{Q}S_n$ denote the group algebra over $\mathbb{Q}$ of the
symmetric group $S_n$. Identify a ...
8
votes
1
answer
1k
views
Computation time of Smith normal form in Maple
I am using Maple to compute the Smith normal form (SNF) of a $120 \times 120$ matrix and it seems that I will never get an answer back. I have checked my code for small cases and I believe that it is ...
8
votes
2
answers
393
views
Generalized Smith Theorem for the torsion of cokernels
Let $R$ be a (commutative) domain and let $Q$ be its fraction field.
Consider a morphism $f\colon R^n \to R^m$, i.e. a matrix $A \in M(m,n;R)$, and let $K= \operatorname{coker} f$.
Let $I_k=(\det \...
4
votes
1
answer
555
views
Smith Normal Form for block matrices over the integers
Are there any known results on the Smith Normal Form for block matrices over the integers?
In particular, I am interested in matrices of size $kr \times ks$ made of square blocks of size $k$ such that ...
4
votes
1
answer
454
views
Smith Normal Form
Let $R=Z[x_{1},x_{2},\dots,x_{n}]$ be a multivariate polynomial ring. Is it possible to define a normal form for a general $m \times m$ matrix $M$ with entries from $R$?
4
votes
1
answer
165
views
Smith normal form and affine buildings
In Smith Normal Form of powers of a matrix someone has commented saying that one can reformulate many questions about Smith normal forms in the language of affine buildings. I wanted to know of a ...
3
votes
0
answers
210
views
Efficient way to calculate Smith Normal Form of large integer matrices
I am interested in calculating the Smith Normal Form for Laplacian matrices of hypercube graphs. Using the elementary divisors method from SAGE, I was able calculate up to the 11-cube (which has a $2^{...
2
votes
0
answers
120
views
Distribution of Smith normal forms for lower triangular matrices with given diagonals
Given integers $m$ and $n$ and $d_1, \ldots, d_m \in \mathbb{Z}/n \mathbb{Z}$, consider the set of all lower-triangular matrices of dimension $m$ with diagonal elements equal to $d_i$. What can be ...
-1
votes
0
answers
19
views
Find a conditional for factorizing the sum of a set of gaussian integer-valued matrices
In my research project, we're exploring the decomposition of Gaussian integer-valued square matrices as a cross-product of other Gaussian integer matrices (GIM) with the same dimension. One of the ...