Homological finite derivation type

JM Alonso, SM Hermiller - International Journal of Algebra and …, 2003 - World Scientific
… In this section we define a homological version of finite derivation type for all dimensions.
To do this, we start from homological information and construct a graph resembling the graph X…

[PDF][PDF] For Groups the Property of Having Finite Derivation Type is equivalent to the Homological Finiteness ConditionFP3

R Cremanns, F Otto - Journal of Symbolic Computation, 1996 - core.ac.uk
… that a group has finite derivation type if it is of homology type FP3. … through a finite presentation
〈X; R〉, has finite derivation type if … Thus, for finitely presented groups, the homological

Finite derivation type implies the homological finiteness condition FP3

R Cremanns, F Otto - Journal of Symbolic Computation, 1994 - Elsevier
… notion of finite derivation type. In Section 3 we explain the homological filiteness condition
… We show that for a finitely presented group G the property of having finite derivation type is …

Polygraphs of finite derivation type

Y Guiraud, P Malbos - Mathematical Structures in Computer Science, 2018 - cambridge.org
… having the conditions homological type left/right… finite derivation type for categories using
the structure of 3-polygraph and, in Section 4.3, we relate convergence and finite derivation type

[HTML][HTML] Homotopy bases and finite derivation type for subgroups of monoids

RD Gray, A Malheiro - Journal of Algebra, 2014 - Elsevier
… has finite derivation type then it also satisfies the homological … having finite derivation type
is equivalent to being of type FP … is of type FP 3 then they all have finite derivation type, which …

An elementary derivation of certain homological inequalities

AJ Douglas - Mathematika, 1963 - cambridge.org
… -zero terms, then A is said to have left projective (or homological) dimension n, and we write
\.dim RA = n. If no finite resolutions of this type exist, we write \ Aim RA =oo. As a convention, …

Finite element exterior calculus, homological techniques, and applications

DN Arnold, RS Falk, R Winther - Acta numerica, 2006 - cambridge.org
… commuting projection operators into the finite element spaces, but also smoothed variants
of these, which still commute with the exterior derivative and which have better boundedness …

Complexes of discrete distributional differential forms and their homology theory

MW Licht - Foundations of Computational Mathematics, 2017 - Springer
… compatibility on homology for the standard finite element … access toward homology theory in
a finite element setting, … , this is first derivation in the literature of the homology theory of finite

[CITATION][C] Normal forms of homological vector fields

A Vaintrob - Journal of Mathematical Sciences, 1996 - Springer
… If V is a homological vector field on the supermanifold M … type on M (ie, a vector bundle over
M induced by a finite-dimensional representation of the group GL), then the Lie derivative Lv …

On the homological dimension of algebras of differential operators

SU Chase - 1974 - Taylor & Francis
… k-subalgebra of Endk (A) generated by EndA (A) = A and all k-derivations of A. A study of
the … If A is of finite type over k, we call A smooth over k if 5c®kA is regular (ie, has finite global …