finitely generated group

C51332 concept

A finitely generated group is a group for which there exists a finite set of elements such that every element of the group can be expressed as a finite product of these elements and their inverses.

Instances (1)