Definition:Finitely Generated Algebraic Structure

Definition

Let $\struct {A, \circ}$ be an algebraic structure.

Let $\struct {A, \circ}$ have a generator which is finite.

Then $\struct {A, \circ}$ is finitely generated.

Sources

• 1967: John D. Dixon: Problems in Group Theory ... (previous) ... (next): Introduction: Notation
• 1974: Thomas W. Hungerford: Algebra ... (previous) ... (next): $\S 1.2$