Flat module

Flat module

In abstract algebra, a flat module over a ring "R" is an "R"-module "M" such that taking the tensor product over "R" with "M" preserves exact sequences.

Vector spaces over a field are flat modules. Free modules, or more generally projective modules, are also flat, over any "R". Over a Noetherian local ring, flatness, projectivity, and freeness are all equivalent.

In commutative algebra, and more generally in algebraic geometry, flatness has come to play a major role since Serre's paper "Géometrie Algébrique et Géométrie Analytique". See also flat morphism.

Case of commutative rings

In the case when "R" is a commutative ring, one can say that flatness for an "R"-module "M" is equivalent to tensor product with "M" being an exact functor from the category of "R"-modules to itself.

For any multiplicatively closed subset "S" of "R", the localization ring S^{-1}R is flat as an "R"-module.

When R is Noetherian and M is a finitely-generated R-module, being flat is the same as being locally free in the following sense: M is a flat R-module if and only if for every prime ideal (or even just for every maximal ideal) P of R, the localization M_P is free as a module over the localization R_P.

General rings

When "R" isn't commutative one needs the more careful statement, that (if "M" is a left "R"-module) the tensor product with "M" maps exact sequences of right "R"-modules to exact sequences of abelian groups.

Taking tensor products (over arbitrary rings) is always a right exact functor. Therefore, the "R"-module "M" is flat if and only if for any injective homomorphism "K" → "L" of "R"-modules, the induced homomorphism "K"otimes"M" → "L"otimes"M" is also injective.

Categorical colimits

In general, arbitrary direct sums and direct limits of flat modules are flat, a consequence of the fact that the tensor product commutes with direct sums and direct limits (in fact with all colimits), and that both direct sums and direct limits are exact functors. Submodules and factor modules of flat modules need not be flat in general. However we have the following result: the homomorphic image of a flat module "M" is flat if and only if the kernel is a pure submodule of "M".

D.Lazard proved in 1969 that a module "M" is flat if and only if it is a direct limit of finitely-generated free modules. As a consequence, one can deduce that every finitely-presented flat module is projective.

An abelian group is flat (viewed as a Z-module) if and only if it is torsion-free.

Homological algebra

Flatness may also be expressed using the Tor functors, the left derived functors of the tensor product. A left "R"-module "M" is flat if and only if Torn"R"(–, "M") = 0 for all n ge 1 (i.e., if and only if Torn"R"("X", "M") = 0 for all n ge 1 and all right "R"-modules "X"). Similarly, a right "R"-module "M" is flat if and only if Torn"R"("M", "X") = 0 for all n ge 1 and all left "R"-modules "X". Using the Tor functor's long exact sequences, one can then easily prove facts about a short exact sequence:
* If "A" and "C" are flat, then so is "B"
* If "B" and "C" are flat, then so is "A"If "A" and "B" are flat, "C" need not be flat in general. However, it can be shown that
* If "A" is pure in "B" and "B" is flat, then "A" and "C" are flat.

Flat resolutions

A flat resolution of a module is a resolution by flat modules. Any projective resolution is therefore a flat resolution. These flat resolutions can also be used to compute the Tor functor.

In some areas of module theory, a flat resolution must satisfy the additional requirement that each map is a flat pre-cover of the kernel of the map to the right. For projective resolutions, this condition is almost invisible: a projective pre-cover is simply an epimorphism from a projective module. These ideas are inspired from Auslander's work in approximations. These ideas are also familiar from the more common notion of minimal projective resolutions, where each map is required to be a projective cover of the kernel of the map to the right. However, projective covers need not exist in general, so minimal projective resolutions are only of limited use over rings like the integers. Flat covers exist for all modules over all rings, so minimal flat resolutions can take their place in many circumstances. The measurement of the departure of flat resolutions from projective resolutions is called relative homological algebra, and is covered in classics such as harv|MacLane|1963 and in more recent works focussing on flat resolutions such as harv|Enochs|Jenda|2000.

In constructive mathematics

Flat modules have increased importance in constructive mathematics, where projective modules are less useful. For example, that all free modules are projective is equivalent to the full axiom of choice, so theorems about projective modules, even if proved constructively, do not necessarily apply to free modules. In contrast, no choice is needed to prove that free modules are flat, so theorems about flat modules can still apply, harv|Richman|1997.

References

* - page 33
* | year=2000 | volume=30
* | year=1995 | volume=150
* | year=1963
* | year=1997 | journal=New Zealand Journal of Mathematics | issn=1171-6096 | volume=26 | issue=2 | pages=263–273

See also

*localization of a module
*flat morphism
*von Neumann regular ring: those rings over which "all" modules are flat.


Wikimedia Foundation. 2010.

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

Look at other dictionaries:

  • Flat topology — In mathematics, the flat topology is a Grothendieck topology used in algebraic geometry. It is used to define the theory of flat cohomology; it also has played a fundamental role in the theory of descent (faithfully flat descent). [… …   Wikipedia

  • Module (mathematics) — For other uses, see Module (disambiguation). In abstract algebra, the concept of a module over a ring is a generalization of the notion of vector space, wherein the corresponding scalars are allowed to lie in an arbitrary ring. Modules also… …   Wikipedia

  • Module de skatepark — Modules de skatepark Cette page présente une liste détaillée des modules de skatepark existants, adaptés à la pratique du skateboard ou du roller agressif. Sommaire 1 Flat 2 Rampes 3 Bowls 4 Autre …   Wikipédia en Français

  • Flat Holm — Infobox Islands name = Flat Holm image caption = image size = 240px locator map custom = no native name = Ynys Echni native name link = nickname = location = Bristol Channel coordinates = coord|51.37687| 3.12207|type:landmark… …   Wikipedia

  • Flat map — The flat map in differential geometry is a name for the mapping that converts coordinate basis vectors into corresponding coordinate 1 forms.A flat map in ring theory is homomorphism f from a ring R to a ring S if S becomes a flat R module when… …   Wikipedia

  • flat-plate PV —   Refers to a PV array or module that consists of nonconcentrating elements. Flat plate arrays and modules use direct and diffuse sunlight, but if the array is fixed in position, some portion of the direct sunlight is lost because of oblique sun… …   Energy terms

  • Flat-Plate Solar Photovoltaic Module —   An arrangement of photovoltaic cells or material mounted on a rigid flat surface with the cells exposed freely to incoming sunlight …   Energy terms

  • 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

  • Projective module — In mathematics, particularly in abstract algebra and homological algebra, the concept of projective module over a ring R is a more flexible generalisation of the idea of a free module (that is, a module with basis vectors). Various equivalent… …   Wikipedia

  • Finitely-generated module — In mathematics, a finitely generated module is a module that has a finite generating set. A finitely generated R module also may be called a finite R module or finite over R.[1] Related concepts include finitely cogenerated modules, finitely… …   Wikipedia

Share the article and excerpts

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