Length of a module

In algebra, the length of a module is a generalization of the dimension of a vector space which measures its size. page 153 It is defined to be the length of the longest chain of submodules. The modules of finite length are finitely generated modules, but as opposite to vector spaces, many finitely generated modules have an infinite length. Finitely generated modules of finite length are also called Artinian modules and are at the basis of the theory of Artinian rings. For vector spaces, the length equals the dimension. This is not the case in commutative algebra and algebraic geometry, where a finite length may occur only when the dimension is zero. The degree of an algebraic variety is the length of the ring associated to the algebraic set of dimension zero resulting from the intersection of the variety with generic hyperplanes. In algebraic geometry, the intersection multiplicity is commonly defined as the length of a specific module. Let be a (left or right) module over some ring . Given a chain of submodules of of the form one says that is the length of the chain. The length of is the largest length of any of its chains. If no such largest length exists, we say that has infinite length. Clearly, if the length of a chain equals the length of the module, one has and A ring is said to have finite length as a ring if it has finite length as a left -module. If an -module has finite length, then it is finitely generated. If R is a field, then the converse is also true. An -module has finite length if and only if it is both a Noetherian module and an Artinian module (cf. Hopkins' theorem). Since all Artinian rings are Noetherian, this implies that a ring has finite length if and only if it is Artinian. Supposeis a short exact sequence of -modules. Then M has finite length if and only if L and N have finite length, and we have In particular, it implies the following two properties The direct sum of two modules of finite length has finite length The submodule of a module with finite length has finite length, and its length is less than or equal to its parent module.

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 (32)

Related people (2)

Related units (2)

Related concepts (10)

Related courses (2)

Related lectures (16)

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.

MATH-334: Representation theory

Study the basics of representation theory of groups and associative algebras.

In many situations, the data one has access to at test time follows a different distribution from the training data. Over the years, this problem has been tackled by closed-set domain adaptation techniques. Recently, open-set domain adaptation has emerged ...

IEEE COMPUTER SOC2022

Reduced representations of complexes, signals, and multifiltrations

Celia Camille Hacker

The field of computational topology has developed many powerful tools to describe the shape of data, offering an alternative point of view from classical statistics. This results in a variety of complex structures that are not always directly amenable for ...

EPFL2022

Deformation twinning on a plane is a simple shear that transforms a unit cell attached to the plane into another unit cell equivalent by mirror symmetry or 180 degrees rotation. Thus, crystallographic models of twinning require the determination of the sho ...

INT UNION CRYSTALLOGRAPHY2021

Chow group

In algebraic geometry, the Chow groups (named after Wei-Liang Chow by ) of an algebraic variety over any field are algebro-geometric analogs of the homology of a topological space. The elements of the Chow group are formed out of subvarieties (so-called algebraic cycles) in a similar way to how simplicial or cellular homology groups are formed out of subcomplexes. When the variety is smooth, the Chow groups can be interpreted as cohomology groups (compare Poincaré duality) and have a multiplication called the intersection product.

Intersection number

In mathematics, and especially in algebraic geometry, the intersection number generalizes the intuitive notion of counting the number of times two curves intersect to higher dimensions, multiple (more than 2) curves, and accounting properly for tangency. One needs a definition of intersection number in order to state results like Bézout's theorem. The intersection number is obvious in certain cases, such as the intersection of the x- and y-axes in a plane, which should be one.

Multiplicity (mathematics)

In mathematics, the multiplicity of a member of a multiset is the number of times it appears in the multiset. For example, the number of times a given polynomial has a root at a given point is the multiplicity of that root. The notion of multiplicity is important to be able to count correctly without specifying exceptions (for example, double roots counted twice). Hence the expression, "counted with multiplicity". If multiplicity is ignored, this may be emphasized by counting the number of distinct elements, as in "the number of distinct roots".

Covers the details of the MidTerm Exam for the Vibrational Mechanics course and addresses common questions and feedback from students.

Explores algebraic structures of morphism spaces, including stability properties and injective ring homomorphisms.

Explores the intersection multiplicity of curves and the absence of common tangent lines.