Template:Basic decision problem

This article describes a basic decision problem in computational group theory