Definition:Generator

Generator of a Semigroup
Let $$\varnothing \subset X \subseteq S$$, where $$\left({S, \circ}\right)$$ is a semigroup.

Then there exists $$\left({T, \circ}\right)$$, the smallest subsemigroup of $$\left({S, \circ}\right)$$ which contains $$X$$.

In this case, $$X$$ is the generator (or set of generators) of $$\left({T, \circ}\right)$$, or that $$X$$ generates $$\left({T, \circ}\right)$$.

$$\left({T, \circ}\right)$$ is the subsemigroup generated by $$X$$.

This is written $$T = \left\langle {X} \right\rangle$$.

This subsemigroup is proven to exist by Generator of a Semigroup.

Generator of a Group
If $$\left({G, \circ}\right)$$ is a group, then $$H = \left\langle {X}\right\rangle$$ is the subgroup of $$\left({G, \circ}\right)$$ generated by $$X$$.

If $$X$$ is a singleton, i.e. $$X = \left\{{x}\right\}$$, then we can (and usually do) write $$T = \left\langle {x}\right\rangle$$ for $$T = \left\langle {\left\{{x}\right\}}\right\rangle$$.

This subgroup is proven to exist by Generator of a Group.

Generator of a Ring
Let $$\left({R, +, \circ}\right)$$ be a ring.

Let $$S \subseteq R$$.

The subring generated by $$S$$ is the smallest subring of $$R$$ containing $$S$$.

Generator of an Ideal
Let $$\left({R, +, \circ}\right)$$ be a ring.

Let $$S \subseteq R$$.

The ideal generated by $$S$$ is the smallest ideal of $$R$$ containing $$S$$.

Generator of a Module
Let $$G$$ be an $R$-module.

Let $$S \subseteq G$$.

The submodule generated by $$S$$ is the smallest submodule $$H$$ of $$G$$ containing $$S$$.

In this context, we say that $$S$$ is a generating set for $$H$$, or that $$S$$ generates $$H$$.

If we have $$R$$ as a field, we instead say S is a spanning set or that $$S$$ spans $$H$$.

Notation
We can also write $$\left\langle {X \cup Y} \right\rangle$$ as $$\left\langle {X, Y} \right\rangle$$.