free hull

Let A be an arbitrary set, let A be the free monoid on A, and let X be a subset of A. It follows from the characterization of free submonoids that the intersectionMathworldPlanetmathPlanetmath M of all the free submonoids of A that contain X is a free submonoid of A. The minimalPlanetmathPlanetmath generating set H of M is called the free hull of X.

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