finite presentation
1Presentation of a group — In mathematics, one method of defining a group is by a presentation. One specifies a set S of generators so that every element of the group can be written as a product of some of these generators, and a set R of relations among those generators.… …
2Présentation d'un groupe — En théorie des groupes, un groupe peut se définir par une présentation autrement dit la donnée d un ensemble de générateurs et d un ensemble de relations que ceux ci vérifient. La possibilité d une telle définition découle de ce que tout groupe… …
3Presentation of a monoid — In algebra, a presentation of a monoid (or semigroup) is a description of a monoid (or semigroup) in terms of a set Sigma; of generators and a set of relations on the free monoid Sigma; lowast; (or free semigroup Sigma;+) generated by Sigma;. The …
4Absolute presentation of a group — In mathematics, one method of defining a group is by an absolute presentation.B. Neumann, The isomorphism problem for algebraically closed groups, in: Word Problems, Decision Problems, and the Burnside Problem in Group Theory, Amsterdam London… …
5Dehn function — In the mathematical subject of geometric group theory, a Dehn function, named after Max Dehn, is an optimal function associated to a finite group presentation which bounds the area of a relation in that group (that is a freely reduced word in the …
6Glossary of scheme theory — This is a glossary of scheme theory. For an introduction to the theory of schemes in algebraic geometry, see affine scheme, projective space, sheaf and scheme. The concern here is to list the fundamental technical definitions and properties of… …
7Word problem for groups — In mathematics, especially in the area of abstract algebra known as combinatorial group theory, the word problem for a recursively presented group G is the algorithmic problem of deciding whether two words represent the same element. Although it… …
8Small cancellation theory — In the mathematical subject of group theory, small cancellation theory studies groups given by group presentations satisfying small cancellation conditions, that is where defining relations have small overlaps with each other. It turns out that… …
9Étale morphism — In algebraic geometry, a field of mathematics, an étale morphism (pronunciation IPA|) is an algebraic analogue of the notion of a local isomorphism in the complex analytic topology. They satisfy the hypotheses of the implicit function theorem,… …
10Coherent sheaf — In mathematics, especially in algebraic geometry and the theory of complex manifolds, coherent sheaves are a specific class of sheaves having particularly manageable properties closely linked to the geometrical properties of the underlying space …
