Revision #606 → #1414 · back to history
addedGroup as special monoid118c6a0b8d90
addedSubmonoidbd0048dd0ffe
addedClosed subset need not be a submonoid2e25392864f1
addedGenerating set / finitely generated monoida47d80c6a62c
addedCommutative monoid229c7842d410
addedAlgebraic preordering742b1621a03f
addedOrder-unit570d11f17597
addedTrace monoid7439cee7ad73
addedBoolean operator monoids2535dff47010
addedNatural numbers monoid9aedf045ef6f
addedPositive integers under multiplication2d403ba6a48e
addedSubsets under intersection40c9b3f57f61
addedSubsets under union240e0d6f68d1
addedBounded semilattice monoidc00de6a23134
addedTrivial monoid7154c0970a7d
addedGroups as monoids719eee8b8394
addedAdjoining an identity to a semigroup8be58db37082
addedUnderlying set of a ring2c4e63f6d72f
addedMatrices under addition/multiplicationef1cc20bbeab
addedFree monoid of strings14c51cfeaf34
addedOpposite monoidfcb0da775474
addedDirect product of monoidsb2194d63d1a7
addedFunctions into a monoid618785d2bcc3
addedPower set monoidb4e5522c3fbb
addedFull transformation monoid0b250a52a416
addedEndomorphism monoidaceebd5473e8
addedMonoid of compact surfaces under connected sum089d7f76d2c9
addedCyclic monoide01d1f8f4774
addedCyclic group from cyclic monoid (k = 0)9aea7a63bb51
addedUniqueness of the identity element48e98cc49637
addedProduct of a sequence0051f57e93ff
addedNonnegative integer powersf1b904876e6d
addedInvertible element314ee5656ab2
addedUniqueness of inverses4521d778f95c
addedNegative powers6ca69e9ebd67
addedInvertible elements form a group9cfc7b21faf6
addedNot every monoid embeds in a groupdfcc0fb9bb91
addedCancellation propertye92095c376d0
addedGrothendieck group embeddingdaca2e27fe1d
addedFinite cancellative monoid is a groupf894bc5cc564
addedCancellative elements form a submonoid1d657a55c1ce
addedCommutativity suffices for Grothendieck construction88ac06633723
addedInverse monoida12c4c61f9da
addedCancellative inverse monoid is a groupec638d35c1ae
addedZerosumfree monoidad487eba9766
addedOperator monoid535ab4507c5b
addedMonoid homomorphisma09867e1e3a6
addedSemigroup homomorphism need not be a monoid homomorphism1cd451559fab
addedSemigroup homomorphism between groups is a group homomorphism11311c405798
addedMonoid isomorphism651096997012
addedMonoid presentation40b5e6033ad9
addedSymmetric closure of a relationfe5bcf33a667
addedBicyclic monoid0a87ee548e6e
addedPlactic monoid of degree 27926d1031d31
addedMonoid as one-object categorya88b8f4604bf
addedCategory construction from a monoidcf2a435054d6
addedMonoid homomorphisms as functors7f197e3d1ce7
addedCategory of monoids Mon4015e788e9ee
addedMonoid object448b38514788
addedFold operationec416b36fe4c
addedComplete monoid3caedde7a578
addedOrdered commutative monoid982780ff9d31
addedContinuous monoid100b890ff029
addedContinuous monoid is complete56fea6c2ee24