TOPICS
Search

Resolution


Resolution is a widely used word with many different meanings. It can refer to resolution of equations, resolution of singularities (in algebraic geometry), resolution of modules or more sophisticated structures, etc. In a block design, a partition R of a BIBD's set of blocks B into parallel classes, each of which in turn partitions the set V, is called a resolution (Abel and Furino 1996).

A resolution of the module M over the ring R is a complex of R-modules C_i and morphisms d_i and a morphism epsilon such that

 ...->C_i-->^(d_i)C_(i-1)->...->C_0-->^epsilonM->0
(1)

satisfying the following conditions:

1. The composition of any two consecutive morphisms is the zero map,

2. For all i, (kerd_i)/(imd_(i+1))=0,

3. C_0/(kerepsilon)=M,

where ker is the kernel and im is the image. Here, the quotient

 ((kerd_i))/((imd_(i+1)))
(2)

is the ith homology group.

If all modules C_i are projective (free), then the resolution is called projective (free). There is a similar concept for resolutions "to the right" of M, which are called injective resolutions.

In mathematical logic, the rule

 (F v G,¬G v H)/(F v H)
(3)

is known as resolution and is significant for automated theorem proving.


See also

Homology Group, Module, Morphism, Resolution Principle, Ring

Portions of this entry contributed by Alex Sakharov (author's link)

Explore with Wolfram|Alpha

References

Abel, R. J. R. and Furino, S. C. "Resolvable and Near Resolvable Designs." §I.6 in The CRC Handbook of Combinatorial Designs (Ed. C. J. Colbourn and J. H. Dinitz). Boca Raton, FL: CRC Press, pp. 4 and 87-94, 1996.Jacobson, N. Basic Algebra II, 2nd ed. New York: W. H. Freeman, p. 339, 1989.

Referenced on Wolfram|Alpha

Resolution

Cite this as:

Sakharov, Alex and Weisstein, Eric W. "Resolution." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/Resolution.html

Subject classifications