free hull
Let be an arbitrary set,
let be the free monoid on ,
and let be a subset of
It follows from the characterization of free submonoids
that the intersection of all the free submonoids of
that contain is a free submonoid of .
The minimal
generating set of
is called the free hull of .
Title | free hull |
---|---|
Canonical name | FreeHull |
Date of creation | 2013-03-22 18:21:40 |
Last modified on | 2013-03-22 18:21:40 |
Owner | Ziosilvio (18733) |
Last modified by | Ziosilvio (18733) |
Numerical id | 4 |
Author | Ziosilvio (18733) |
Entry type | Definition |
Classification | msc 20M05 |
Classification | msc 20M10 |