Free Monoid - Free Hull

Free Hull

The intersection of free submonoids of a free monoid A∗ is again free. If S is a subset of a free monoid A* then the intersection of all free submonoids of A* containing S is well-defined, since A* itself is free, and contains S; it is a free monoid. A basis for this intersection is the free hull of S.

The defect theorem states that if X is finite and C is the free hull of X, then either X is a code and C = X, or

|C| ≤ |X| − 1 .

Read more about this topic:  Free Monoid

Famous quotes containing the word free:

    African rights and liberty is a subject that ought to fire the breast of every free man of color in these United States, and excite in his bosom a lively, deep, decided and heart-felt interest.
    Maria Stewart (1803–1879)