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…
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 …
〈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 …
… 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…
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 …
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, …
\.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
… 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 …
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 …
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 …
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 …
the … If A is of finite type over k, we call A smooth over k if 5c®kA is regular (ie, has finite global …