http://dbpedia.org/ontology/abstract
|
In mathematics, an ordered semigroup is a … In mathematics, an ordered semigroup is a semigroup (S,•) together with a partial order ≤ that is compatible with the semigroup operation, meaning that x ≤ y implies z•x ≤ z•y and x•z ≤ y•z for all x, y, z in S. An ordered monoid and an ordered group are, respectively, a monoid or a group that are endowed with a partial order that makes them ordered semigroups. The terms posemigroup, pogroup and pomonoid are sometimes used, where "po" is an abbreviation for "partially ordered". The positive integers, the nonnegative integers and the integers form respectively a posemigroup, a pomonoid, and a pogroup under addition and the natural ordering. Every semigroup can be considered as a posemigroup endowed with the trivial (discrete) partial order "=". A morphism or homomorphism of posemigroups is a semigroup homomorphism that preserves the order (equivalently, that is monotonically increasing).lently, that is monotonically increasing).
|
http://dbpedia.org/ontology/wikiPageID
|
19132161
|
http://dbpedia.org/ontology/wikiPageLength
|
1732
|
http://dbpedia.org/ontology/wikiPageRevisionID
|
978175111
|
http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Semigroup +
, http://dbpedia.org/resource/Monoid +
, http://dbpedia.org/resource/Category:Semigroup_theory +
, http://dbpedia.org/resource/Positive_integer +
, http://dbpedia.org/resource/Ordered_group +
, http://dbpedia.org/resource/Thin_category +
, http://dbpedia.org/resource/Nonnegative_integer +
, http://dbpedia.org/resource/Group_%28mathematics%29 +
, http://dbpedia.org/resource/Mathematics +
, http://dbpedia.org/resource/Category:Ordered_algebraic_structures +
, http://dbpedia.org/resource/Monoidal_category +
, http://dbpedia.org/resource/Skeletal_category +
, http://dbpedia.org/resource/Integer +
, http://dbpedia.org/resource/Monotonically_increasing +
, http://dbpedia.org/resource/Semigroup_homomorphism +
, http://dbpedia.org/resource/Partial_order +
|
http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Math +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Isbn +
, http://dbpedia.org/resource/Template:Abstract-algebra-stub +
|
http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Semigroup_theory +
, http://dbpedia.org/resource/Category:Ordered_algebraic_structures +
|
http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Semigroup +
|
http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Ordered_semigroup?oldid=978175111&ns=0 +
|
http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Ordered_semigroup +
|
owl:sameAs |
http://dbpedia.org/resource/Ordered_semigroup +
, http://yago-knowledge.org/resource/Ordered_semigroup +
, http://ta.dbpedia.org/resource/%E0%AE%92%E0%AE%B4%E0%AF%81%E0%AE%99%E0%AF%8D%E0%AE%95%E0%AF%81_%E0%AE%85%E0%AE%B0%E0%AF%88%E0%AE%95%E0%AF%81%E0%AE%B2%E0%AE%AE%E0%AF%8D +
, http://rdf.freebase.com/ns/m.04jnh79 +
, http://www.wikidata.org/entity/Q7100714 +
, https://global.dbpedia.org/id/4sUCG +
|
rdf:type |
http://dbpedia.org/class/yago/Whole100003553 +
, http://dbpedia.org/class/yago/WikicatOrderedAlgebraicStructures +
, http://dbpedia.org/class/yago/YagoGeoEntity +
, http://dbpedia.org/class/yago/Artifact100021939 +
, http://dbpedia.org/class/yago/Object100002684 +
, http://dbpedia.org/class/yago/YagoPermanentlyLocatedEntity +
, http://dbpedia.org/class/yago/Structure104341686 +
, http://dbpedia.org/class/yago/PhysicalEntity100001930 +
|
rdfs:comment |
In mathematics, an ordered semigroup is a … In mathematics, an ordered semigroup is a semigroup (S,•) together with a partial order ≤ that is compatible with the semigroup operation, meaning that x ≤ y implies z•x ≤ z•y and x•z ≤ y•z for all x, y, z in S. An ordered monoid and an ordered group are, respectively, a monoid or a group that are endowed with a partial order that makes them ordered semigroups. The terms posemigroup, pogroup and pomonoid are sometimes used, where "po" is an abbreviation for "partially ordered". Every semigroup can be considered as a posemigroup endowed with the trivial (discrete) partial order "=". the trivial (discrete) partial order "=".
|
rdfs:label |
Ordered semigroup
|