Questions tagged [smith-normal-form]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
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 ...
user avatar
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 ...
Martin's user avatar
  • 1,101
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 ...
Robert Bruner's user avatar
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 ...
Nathan Lindzey's user avatar
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 ...
Richard Stanley's user avatar
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 ...
Yibo Gao's user avatar
  • 346
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 \...
Roberto Pagaria's user avatar
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 ...
user53075's user avatar
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$?
Turbo's user avatar
  • 13.7k
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 ...
Lars's user avatar
  • 41
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^{...
presidentediniente's user avatar
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 ...
hao chen's user avatar
-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 ...
IV-301's user avatar
  • 1