In
abstract algebra
In mathematics, more specifically algebra, abstract algebra or modern algebra is the study of algebraic structures. Algebraic structures include groups, rings, fields, modules, vector spaces, lattices, and algebras over a field. The term ''a ...
, the weak dimension of a
nonzero right
module
Module, modular and modularity may refer to the concept of modularity. They may also refer to:
Computing and engineering
* Modular design, the engineering discipline of designing complex devices using separately designed sub-components
* Modul ...
''M'' over a
ring
Ring may refer to:
* Ring (jewellery), a round band, usually made of metal, worn as ornamental jewelry
* To make a sound with a bell, and the sound made by a bell
:(hence) to initiate a telephone connection
Arts, entertainment and media Film and ...
''R'' is the largest number ''n'' such that the
Tor group is
nonzero for some left ''R''-module ''N'' (or infinity if no largest such ''n'' exists), and the weak dimension of a left ''R''-module is defined similarly. The weak dimension was introduced by . The weak dimension is sometimes called the flat dimension as it is the shortest length of a
resolution
Resolution(s) may refer to:
Common meanings
* Resolution (debate), the statement which is debated in policy debate
* Resolution (law), a written motion adopted by a deliberative body
* New Year's resolution, a commitment that an individual mak ...
of the module by
flat modules. The weak dimension of a module is at most equal to its
projective dimension.
The weak global dimension of a ring is the largest number ''n'' such that
is nonzero for some right ''R''-module ''M'' and left ''R''-module ''N''. If there is no such largest number ''n'', the weak global dimension is defined to be infinite. It is at most equal to the left or right
global dimension of the ring ''R''.
Examples
*The module
of
rational number
In mathematics, a rational number is a number that can be expressed as the quotient or fraction of two integers, a numerator and a non-zero denominator . For example, is a rational number, as is every integer (e.g. ). The set of all ration ...
s over the ring
of
integer
An integer is the number zero (), a positive natural number (, , , etc.) or a negative integer with a minus sign (−1, −2, −3, etc.). The negative numbers are the additive inverses of the corresponding positive numbers. In the language ...
s has weak dimension 0, but projective dimension 1.
*The module
over the ring
has weak dimension 1, but
injective dimension 0.
*The module
over the ring
has weak dimension 0, but injective dimension 1.
*A
Prüfer domain has weak global dimension at most 1.
*A
Von Neumann regular ring has weak global dimension 0.
*A
product of infinitely many
fields
Fields may refer to:
Music
*Fields (band), an indie rock band formed in 2006
*Fields (progressive rock band), a progressive rock band formed in 1971
* ''Fields'' (album), an LP by Swedish-based indie rock band Junip (2010)
* "Fields", a song by ...
has weak global dimension 0 but its global dimension is nonzero.
*If a ring is right
Noetherian, then the right global dimension is the same as the weak global dimension, and is at most the left global dimension. In particular if a ring is right and left Noetherian then the left and right global dimensions and the weak global dimension are all the same.
*The
triangular matrix ring has right global dimension 1, weak global dimension 1, but left global dimension 2. It is right Noetherian, but not left Noetherian.
References
*
*{{Citation , last1=Năstăsescu , first1=Constantin , last2=Van Oystaeyen , first2=Freddy , author2-link = Fred Van Oystaeyen , title=Dimensions of ring theory , publisher=D. Reidel Publishing Co. , series=Mathematics and its Applications , isbn=9789027724618 , doi=10.1007/978-94-009-3835-9 , mr=894033 , year=1987 , volume=36
Commutative algebra
Ring theory
Homological algebra