finite free resolution
1Free abelian group — In abstract algebra, a free abelian group is an abelian group that has a basis in the sense that every element of the group can be written in one and only one way as a finite linear combination of elements of the basis, with integer coefficients …
2SLD resolution — ( Selective Linear Definite clause resolution) is the basic inference rule used in logic programming. It is a refinement of resolution, which is both sound and refutation complete for Horn clauses. The SLD inference ruleGiven a goal clause: eg L… …
3Hilbertscher Syzygiensatz — Der hilbertsche Syzygiensatz ist ein mathematischer Satz der Invariantentheorie, den David Hilbert 1890 in seiner Abhandlung „Ueber die Theorie der algebraischen Formen“ (Mathematische Annalen, Band 36, 1900, Seiten 473–534) veröffentlicht hat.… …
4Projective 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… …
5Homological conjectures in commutative algebra — In mathematics, the homological conjectures have been a focus of research activity in commutative algebra since the early 1960s. They concern a number of interrelated (sometimes surprisingly so) conjectures relating various homological properties …
6Algebraic K-theory — In mathematics, algebraic K theory is an important part of homological algebra concerned with defining and applying a sequence Kn(R) of functors from rings to abelian groups, for all integers n. For historical reasons, the lower K groups K0 and… …
7Cohomological dimension — In abstract algebra, cohomological dimension is an invariant which measures the homological complexity of representations of a group. It has important applications in geometric group theory, topology, and algebraic number theory. Contents 1… …
8Nakayama lemma — In mathematics, more specifically modern algebra and commutative algebra, Nakayama s lemma also known as the Krull–Azumaya theorem[1] governs the interaction between the Jacobson radical of a ring (typically a commutative ring) and its finitely… …
9Clifford's theorem on special divisors — In mathematics, Clifford s theorem on special divisors is a result of W. K. Clifford on algebraic curves, showing the constraints on special linear systems on a curve C. If D is a divisor on C, then D is (abstractly) a formal sum of points P on C …
10Mechanosensitive channels — Finite Element Model of MscL transmembrane model. This figure is similar to the Tang et al. [28]. Mechanosensitive channels or mechanosensitive ion channels are membrane proteins capable of responding over a wide dynamic range to external… …
