Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Compact_semigroup> ?p ?o. }
Showing items 1 to 14 of
14
with 100 items per page.
- Compact_semigroup abstract "In mathematics, an compact semigroup is a semigroup in which the sets of solutions to equations can be described by finite sets of equations. The term "compact" here does not refer to any topology on the semigroup.Let S be a semigroup and X a finite set of letters. A system of equations is a subset E of the Cartesian product X∗ × X∗ of the free monoid (finite strings) over X with itself. The system E is satisfiable in S if there is a map f from X to S, which extends to a semigroup morphism f from X+ to S, such that for all (u,v) in E we have f(u) = f(v) in S. Such an f is a solution, or satisfying assignment, for the system E.Two systems of equations are equivalent if they have the same set of satisfying assignments. A system of equations if independent if it is not equivalent to a proper subset of itself. A semigroup is compact if every independent system of equations is finite.".
- Compact_semigroup wikiPageID "37442539".
- Compact_semigroup wikiPageRevisionID "550097964".
- Compact_semigroup hasPhotoCollection Compact_semigroup.
- Compact_semigroup subject Category:Combinatorics_on_words.
- Compact_semigroup subject Category:Formal_languages.
- Compact_semigroup subject Category:Semigroup_theory.
- Compact_semigroup comment "In mathematics, an compact semigroup is a semigroup in which the sets of solutions to equations can be described by finite sets of equations. The term "compact" here does not refer to any topology on the semigroup.Let S be a semigroup and X a finite set of letters. A system of equations is a subset E of the Cartesian product X∗ × X∗ of the free monoid (finite strings) over X with itself.".
- Compact_semigroup label "Compact semigroup".
- Compact_semigroup sameAs m.0nb7x6w.
- Compact_semigroup sameAs Q5155317.
- Compact_semigroup sameAs Q5155317.
- Compact_semigroup wasDerivedFrom Compact_semigroup?oldid=550097964.
- Compact_semigroup isPrimaryTopicOf Compact_semigroup.