This is an old revision of the document!
Monoid kernel
Definition
$ X $ |
$ M $ … monoid |
$ f:X\to M $ |
$ x\in\mathrm{ker}(f) $ |
$ f(x)=e $ |
Discussion
$\mathrm{ker}(f)$ is $\mathrm{sol}(f)$ w.r.t. the unit of the monoid.
Reference
Wikipedia: Solution set