http://dbpedia.org/ontology/abstract
|
In mathematics, a semigroup with two eleme … In mathematics, a semigroup with two elements is a semigroup for which the cardinality of the underlying set is two. There are exactly five distinct nonisomorphic semigroups having two elements:
* O2, the null semigroup of order two,
* LO2 and RO2, the left zero semigroup of order two and right zero semigroup of order two, respectively,
* ({0,1}, ∧) (where "∧" is the logical connective "and"), or equivalently the set {0,1} under multiplication: the only semilattice with two elements and the only non-null semigroup with zero of order two, also a monoid, and ultimately the two-element Boolean algebra,
* (Z2, +2) (where Z2 = {0,1} and "+2" is "addition modulo 2"), or equivalently ({0,1}, ⊕) (where "⊕" is the logical connective "xor"), or equivalently the set {−1,1} under multiplication: the only group of order two. The semigroups LO2 and RO2 are antiisomorphic. O2, ({0,1}, ∧) and (Z2, +2) are commutative, and LO2 and RO2 are noncommutative. LO2, RO2 and ({0,1}, ∧) are bands and also inverse semigroups. ∧) are bands and also inverse semigroups.
|
rdfs:comment |
In mathematics, a semigroup with two eleme … In mathematics, a semigroup with two elements is a semigroup for which the cardinality of the underlying set is two. There are exactly five distinct nonisomorphic semigroups having two elements:
* O2, the null semigroup of order two,
* LO2 and RO2, the left zero semigroup of order two and right zero semigroup of order two, respectively,
* ({0,1}, ∧) (where "∧" is the logical connective "and"), or equivalently the set {0,1} under multiplication: the only semilattice with two elements and the only non-null semigroup with zero of order two, also a monoid, and ultimately the two-element Boolean algebra,
* (Z2, +2) (where Z2 = {0,1} and "+2" is "addition modulo 2"), or equivalently ({0,1}, ⊕) (where "⊕" is the logical connective "xor"), or equivalently the set {−1,1} under multiplication: ttly the set {−1,1} under multiplication: t
|