Definition:Generator of Algebraic Structure
Jump to navigation
Jump to search
 | This page has been identified as a candidate for refactoring of basic complexity. In particular: This defines substructure. Until this has been finished, please leave {{Refactor}} in the code.
New contributors: Refactoring is a task which is expected to be undertaken by experienced editors only. Because of the underlying complexity of the work needed, it is recommended that you do not embark on a refactoring task until you have become familiar with the structural nature of pages of $\mathsf{Pr} \infty \mathsf{fWiki}$.To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Refactor}} from the code. |
Definition
Let $\struct {A, \circ}$ be an algebraic structure.
Let $G \subset A$ be a subset.
Definition 1
The subset $G$ is a generator of $A$ if and only if $A$ is the algebraic substructure generated by $G$.
Definition 2
The subset $G$ is a generator of $A$ if and only if:
- $\forall x, y \in G: x \circ y \in A$;
- $\forall z \in A: \exists x, y \in \map W G: z = x \circ y$
where $\map W G$ is the set of words of $G$.
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 = \gen G$.
Also see
The concept of a generator is usually defined in the context of particular types of structure: