Structure theorem for finitely generated modules over a principal ideal domain

In mathematics, in the field of abstract algebra, the structure theorem for finitely generated modules over a principal ideal domain is a generalization of the fundamental theorem of finitely generated abelian groups and roughly states that finitely generated modules over a principal ideal domain (PID) can be uniquely decomposed in much the same way that integers have a prime factorization. The result provides a simple framework to understand various canonical form results for square matrices over fields. When a vector space over a field F has a finite generating set, then one may extract from it a basis consisting of a finite number n of vectors, and the space is therefore isomorphic to Fn. The corresponding statement with the F generalized to a principal ideal domain R is no longer true, since a basis for a finitely generated module over R might not exist. However such a module is still isomorphic to a quotient of some module Rn with n finite (to see this it suffices to construct the morphism that sends the elements of the canonical basis of Rn to the generators of the module, and take the quotient by its kernel.) By changing the choice of generating set, one can in fact describe the module as the quotient of some Rn by a particularly simple submodule, and this is the structure theorem. The structure theorem for finitely generated modules over a principal ideal domain usually appears in the following two forms. For every finitely generated module M over a principal ideal domain R, there is a unique decreasing sequence of proper ideals such that M is isomorphic to the sum of cyclic modules: The generators of the ideals are unique up to multiplication by a unit, and are called invariant factors of M. Since the ideals should be proper, these factors must not themselves be invertible (this avoids trivial factors in the sum), and the inclusion of the ideals means one has divisibility . The free part is visible in the part of the decomposition corresponding to factors . Such factors, if any, occur at the end of the sequence.

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related publications (87)

Related people (21)

Related units (11)

Related concepts (16)

Related courses (14)

Related lectures (46)

Frobenius normal form

In linear algebra, the Frobenius normal form or rational canonical form of a square matrix A with entries in a field F is a canonical form for matrices obtained by conjugation by invertible matrices over F. The form reflects a minimal decomposition of the vector space into subspaces that are cyclic for A (i.e., spanned by some vector and its repeated images under A). Since only one normal form can be reached from a given matrix (whence the "canonical"), a matrix B is similar to A if and only if it has the same rational canonical form as A.

Smith normal form

In mathematics, the Smith normal form (sometimes abbreviated SNF) is a normal form that can be defined for any matrix (not necessarily square) with entries in a principal ideal domain (PID). The Smith normal form of a matrix is diagonal, and can be obtained from the original matrix by multiplying on the left and right by invertible square matrices. In particular, the integers are a PID, so one can always calculate the Smith normal form of an integer matrix.

Torsion-free module

In algebra, a torsion-free module is a module over a ring such that zero is the only element annihilated by a regular element (non zero-divisor) of the ring. In other words, a module is torsion free if its torsion submodule is reduced to its zero element. In integral domains the regular elements of the ring are its nonzero elements, so in this case a torsion-free module is one such that zero is the only element annihilated by some non-zero element of the ring.

A Reduced Order Model for Domain Decompositions with Non-conforming Interfaces

Alfio Quarteroni, Andrea Manzoni

In this paper, we propose a reduced-order modeling strategy for two-way Dirichlet-Neumann parametric coupled problems solved with domain-decomposition (DD) sub-structuring methods. We split the original coupled differential problem into two sub-problems wi ...

New York2024

Correlating long-term performance and aging behaviour of building integrated PV modules

Christophe Ballif, Alessandro Francesco Aldo Virtuani, Ebrar Özkalay

Because building-integrated photovoltaic (BIPV) modules are fully integrated into a building envelope, the back of the module can be exposed to little or no ventilation, resulting in increased operating temperatures. As the temperature increases, the perfo ...

Elsevier Science Sa2024

The multivariate Serre conjecture ring

Luc Guyot

It is well-known that for any integral domain R, the Serre conjecture ring R(X), i.e., the localization of the univariate polynomial ring R[X] at monic polynomials, is a Bezout domain of Krull dimension

San Diego2023

MATH-311: Algebra IV - rings and modules

Ring and module theory with a major emphasis on commutative algebra and a minor emphasis on homological algebra.

ENG-645: Create-Protect-Innovate: Bringing ideas to market

The entry level of the course developed by the European Patent Office is aimed at PhD candidates and will teach them how to protect inventions, bring them to market and provide them with valuable insi

PENS-319: Ludic streets

Ce cours se focalise sur la conception de l'espace public et sur les rapports qu'il entretient avec les usages. Au prisme de la place de l'enfant en ville, les étudiant·es construiront des dispositifs

Group Cohomology MATH-506: Topology IV.b - cohomology rings

Covers the concept of group cohomology, focusing on chain complexes, cochain complexes, cup products, and group rings.

The classical Lie algebras MATH-479: Linear algebraic groups

Covers the classical Lie algebras, focusing on calculations and dimensions.

Lattices: Theory and Applications MATH-417: Number theory II.b - selected topics

Explores the theory of lattices, their properties, and applications in different mathematical contexts, emphasizing local-global principles.