Smith normal form

GPTKB entity

Statements (19)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:appliesTo integer matrices
gptkbp:category matrix normal forms
gptkbp:field abstract algebra
linear algebra
https://www.w3.org/2000/01/rdf-schema#label Smith normal form
gptkbp:introducedIn 1861
gptkbp:namedAfter gptkb:Henry_John_Stephen_Smith
gptkbp:property diagonal entries divide each other
exists for any integer matrix
unique up to multiplication by units
gptkbp:relatedTo gptkb:Jordan_normal_form
rational canonical form
diagonal matrix
gptkbp:usedFor solving systems of linear Diophantine equations
classifying finitely generated modules over principal ideal domains
computing invariant factors of a matrix
gptkbp:bfsParent gptkb:Henry_John_Stephen_Smith
gptkbp:bfsLayer 6