Definition:Generator of Algebraic Structure

Definition
Let $\left({A, \circ}\right)$ be an algebraic structure.

Let $G \subset A$ be a subset.

Definition 1
The subset $G$ is a generator of $A$ $A$ is the algebraic substructure generated by $G$.

Definition 2
The subset $G$ is a generator of $A$ :

where $W \left({G}\right)$ is the set of words of $G$.
 * $\forall x, y \in G: x \circ y \in A$;
 * $\forall z \in A: \exists x, y \in W \left({G}\right): z = x \circ y$

That is, every element in $A$ can be formed as the product of a finite number of elements of $G$.

If $G$ is such a set, then we can write $A = \left \langle {G}\right \rangle$.

Also see

 * Definition:Generated Algebraic Substructure
 * Definition:Generator of Magma
 * Definition:Generator of Semigroup
 * Definition:Generator of Monoid
 * Definition:Generator of Group