Noetherian not implies finitely presented

From Groupprops
Jump to: navigation, search
This article gives the statement and possibly, proof, of a non-implication relation between two group properties. That is, it states that every group satisfying the first group property (i.e., Noetherian group) need not satisfy the second group property (i.e., finitely presented group)
View a complete list of group property non-implications | View a complete list of group property implications
Get more facts about Noetherian group|Get more facts about finitely presented group

Statement

A Noetherian group (also called slender group, and defined as a group in which every subgroup is finitely generated) need not be a finitely presented group, i.e., it need not possess any finite presentation. In particular, it need not be a Group in which every subgroup is finitely presented (?).

Related facts

Similar facts

Opposite facts

Proof

Example of the Tarski group

Further information: Tarski group, Tarski group is not finitely presented

For a sufficiently large prime number p, we can construct a Tarski group (also called Tarski monster): an infinite simple group in which the only proper nontrivial subgroups are cyclic of order p. Clearly, the group is Noetherian and in fact has subgroup rank 2: the whole group needs two generators and every proper nontrivial subgroup needs 1 generator.

However, Tarski monsters are not finitely presented.