How to determine whether a finitely presented group is finite

a repository of mathematical know-how

How to determine whether a finitely presented group is finite

Title: *

Area of mathematics: *

A comma-separated list of areas of mathematics to which this article applies. Use ">" to tag in a subcategory. Example: Analysis > Harmonic analysis, Combinatorics

Keywords:

A comma-separated list of keywords associated with this article. Example: free group

Used in:

A comma-separated list of examples of where this technique is used. Example: Cauchy-Schwarz inequality

Parent articles:		Order

Body:

[QUICK DESCRIPTION]

There is no general algorithm that will determine whether a given finitely presented group is finite or not. However, there are a number of strategies to try.

[PREREQUISITES]

Basic definitions of combinatorial group theory.

[GENERAL DISCUSSION]

[note article contributions wanted]I have another idea or two to add, but other strategies would be greatly appreciated![/note]

Suppose that $G$ is a finitely presented group. It is easy to find quotients of $G$; adding relations to the presentation and determining the consequences amounts to passing to a quotient of $G$ by the normal closure of the relations. Then if you can add relations to $G$ and end up with a group that you know to be infinite, it follows that the original group was infinite.

[EXAMPLE]
Let $G$ be the finitely presented group with presentation $\langle a, b, c, d \mid ada, a^2, (bd)^2, c^2, d^4, (abdadb)^2, (bc)^4, (acd)^2 \rangle$. Trying to determine explicitly whether there are infinitely many reduced words in $G$ seems hopelessly complicated. Instead, let's notice that if we add the relation $d = 1$, then this group collapses to $\langle a, b, c \mid a^2, b^2, c^2, (ab)^4, (bc)^4, (ac)^2 \rangle$, which we recognize as the infinite Coxeter group $[4,4]$.

This is a stub

A stub is an article that is not sufficiently complete to be interesting.

Notifications

File attachments

Changes made to the attachments are not permanent until you save this post. The first "listed" file will be included in RSS feeds.

Attach new file:

Images are larger than 640x480 will be resized. The maximum upload size is 1 MB. Only files with the following extensions may be uploaded: jpg jpeg gif png svg.

Revision information

Log message:

An explanation of the additions or updates being made to help other authors understand your motivations.

How to determine whether a finitely presented group is finite

Recent articles

Active forum topics

Recent comments