Smith forms of matrices in Companion Rings, with group theoretic and topological applications
Loading...
Access rights
openAccess
CC BY
CC BY
publishedVersion
URL
Journal Title
Journal ISSN
Volume Title
A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä
This publication is imported from Aalto University research portal.
View publication in the Research portal (opens in new window)
View/Open full text file from the Research portal (opens in new window)
Other link related to publication (opens in new window)
View publication in the Research portal (opens in new window)
View/Open full text file from the Research portal (opens in new window)
Other link related to publication (opens in new window)
Authors
Date
Major/Subject
Mcode
Degree programme
Language
en
Pages
33
Series
Linear Algebra and Its Applications, Volume 708, pp. 372-404
Abstract
Let R be a commutative ring and g(t)∈R[t] a monic polynomial. The commutative ring of polynomials f(Cg) in the companion matrix Cg of g(t), where f(t)∈R[t], is called the Companion Ring of g(t). Special instances include the rings of circulant matrices, skew-circulant matrices, pseudo-circulant matrices, or lower triangular Toeplitz matrices. When R is an Elementary Divisor Domain, we develop new tools for computing the Smith forms of matrices in Companion Rings. In particular, we obtain a formula for the second last non-zero determinantal divisor, we provide an f(Cg)↔g(Cf) swap theorem, and a composition theorem. When R is a principal ideal domain we also obtain a formula for the number of non-unit invariant factors. By applying these to families of circulant matrices that arise as relation matrices of cyclically presented groups, in many cases we compute the groups' abelianizations. When the group is the fundamental group of a three dimensional manifold, this provides the homology of the manifold. In other cases we obtain lower bounds for the rank of the abelianization and record consequences for finiteness or solvability of the group, or for the Heegaard genus of a corresponding manifold.Description
Publisher Copyright: © 2024 The Author(s)
Other note
Citation
Noferini, V & Williams, G 2025, 'Smith forms of matrices in Companion Rings, with group theoretic and topological applications', Linear Algebra and Its Applications, vol. 708, pp. 372-404. https://doi.org/10.1016/j.laa.2024.12.003