Length of a module

Length of a module

In abstract algebra, the length of a module is a measure of the module's "size". It is defined as the length of the longest ascending chain of submodules and is a generalization of the concept of dimension for vector spaces. The modules with "finite" length share many important properties with finite-dimensional vector spaces.

Other concepts used to 'count' in ring and module theory are depth and height; these are both somewhat more subtle to define. There are also various ideas of "dimension" that are useful. Finite length commutative rings play an essential role in functorial treatments of formal algebraic geometry.

Definition

Let "M" be a (left or right) module over some ring "R". Given a chain of submodules of "M" of the form:N_0sub N_1 sub cdots sub N_nwe say that "n" is the "length" of the chain. The length of "M" is defined to be the largest length of any of its chains. If no such largest length exists, we say that "M" has infinite length.

A ring "R" is said to have finite length as a ring if it has finite length as left "R" module.

Examples

The zero module is the only one with length 0. Modules with length 1 are precisely the simple modules.

For every finite-dimensional vector space (viewed as a module over the base field), the length and the dimension coincide.

The length of the cyclic group Z/"n"Z (viewed as a module over the integers Z) is equal to the number of prime factors of "n", with multiple prime factors counted multiple times.

Facts

A module "M" has finite length if and only if it is both Artinian and Noetherian.

If "M" has finite length and "N" is a submodule of "M", then "N" has finite length as well, and we have length("N") &le; length("M"). Furthermore, if "N" is a "proper" submodule of "M" (i.e. if it is unequal to "M"), then length("N") < length("M").

If the modules "M"1 and "M"2 have finite length, then so does their direct sum, and the length of the direct sum equals the sum of the lengths of "M"1 and "M"2.

Suppose:0 arr L arr M arr N arr 0is a short exact sequence of "R"-modules. Then "M" has finite length if and only if "L" and "N" have finite length, and we have :length("M") = length("L") + length("N").(This statement implies the two previous ones.)

A composition series of the module "M" is a chain of the form:0=N_0sub N_1 sub cdots sub N_n=Msuch that:N_{i+1}/N_i mbox{ is simple for }i=0,dots,n-1Every finite-length module "M" has a composition series, and the length of every such composition series is equal to the length of "M".

References

Steven H. Weintraub, "Representation Theory of Finite Groups" AMS (2003) ISBN 0821832220, 9780821832226


Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • Length (disambiguation) — Length in its basic meaning is the long dimension of an object.Length may also refer to: *Length (phonetics), in phonetics **Vowel length **Geminate consonant *Arc length *Length of a module, in abstract algebra *Length of a polynomial *Vector… …   Wikipedia

  • Module (musician) — Module Birth name Jeramiah Ross Also known as Module Origin Wellington, New Zealand Genres Electro, Downtempo, Ambient, Classical …   Wikipedia

  • Module (Musician) — Infobox musical artist | Name = Module Img capt = Background = solo singer Birth name = Jeramiah Ross Alias = Module Origin = Wellington, New Zealand Genre = Electro, Downtempo, Ambient, Classical and Synth Years active = 2003 present Associated… …   Wikipedia

  • Module (musique) — Pour les articles homonymes, voir module. Un module est un fichier audio numérique contenant à la fois une partition de musique pour plusieurs instruments, ainsi que des échantillons des notes des instruments en question. Un lecteur de modules… …   Wikipédia en Français

  • module — n. 1 a standardized part or independent unit used in construction, esp. of furniture, a building, or an electronic system. 2 an independent self contained unit of a spacecraft (lunar module). 3 a unit or period of training or education. 4 a a… …   Useful english dictionary

  • Dieudonné module — In mathematics, a Dieudonné module introduced by Dieudonné (1954, 1957b), is a module over the non commutative Dieudonné ring, which is generated over the ring of Witt vectors by two special endomorphisms F and V called the Frobenius and… …   Wikipedia

  • Subscriber Identity Module — Simcard redirects here. For the brand name medication, see Simvastatin. A typical SIM Card …   Wikipedia

  • Indecomposable module — In abstract algebra, a module is indecomposable if it is non zero and cannot be written as a direct sum of two non zero submodules.Indecomposable is a weaker notion than simple module:simple means no proper submodule N < M,while indecomposable… …   Wikipedia

  • Injective module — In mathematics, especially in the area of abstract algebra known as module theory, an injective module is a module Q that shares certain desirable properties with the Z module Q of all rational numbers. Specifically, if Q is a submodule of some… …   Wikipedia

  • Apollo Command/Service Module — Apollo CSM The Apollo 15 CSM in lunar orbit Description Role: Earth and Lunar Orbit Crew: 3; CDR, CM pilot, LM pilot Dimensions Height: 36.2 ft 11.03 m …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”