monoid theory in algebra:
One should be able to abstract away the additive structure of an integral domain and just focus on the multiplicative structure, yielding the concept of integral monoid.
An absorption monoid is an integral monoid if it is nontrivial and the submonoid is a cancellative monoid (i.e., and left and right multiplication by is injective if , which may be combined as left and right multiplication by is injective if and only if ).
in constructive mathematics, there are different inequivalent ways to define an integral monoid
If we replace “left and right multiplication by is injective iff is nonzero” in the above definition by “left and right multiplication by is injective xor is zero” (which is equivalent in classical logic but stronger in constructive logic), then we obtain the notion of discrete integral monoid. This condition implies that .
Such an integral monoid is ‘discrete’ in that it decomposes as a coproduct (where is the submomoid of that is cancellative). An advantage is that this is a coherent theory and hence also a geometric theory. A disadvantage is that this axiom is not satisfied (constructively) by the multiplicative monoid of the real numbers (however these are defined), although it is satisfied by the multiplicative monoid of the integers and the multiplicative monoid of the rationals.
If we interpret as a tight apartness relation, such that the absorption monoid becomes strongly extensional, then we obtain the notion of Heyting integral monoid.
This is how ‘practising’ constructive analysts of the Bishop school would define the simple word ‘integral monoid’.
An advantage is that the multiplicative monoid of the (located Dedekind) real numbers form a Heyting integral monoid. A disadvantage is that this is not a coherent axiom and so cannot be internalized in as many categories.
Of course, if the underlying set of the monoid has decidable equality —as is true of the multiplicative monoids of , , , , finite fields, etc— then a Heyting integral monoid is a discrete integral monoid.
An integral monoid whose largest submonoid not containing is a GCD monoid is called an GCD integral monoid.
An commutative integral monoid whose largest submonoid not containing is a unique factorization monoid is called an unique factorization integral monoid.
An integral monoid whose largest submonoid not containing is a Bézout monoid is called an Bézout integral monoid.
An integral monoid whose largest submonoid not containing is a principal ideal monoid is called an principal ideal integral monoid.
An integral monoid whose largest submonoid not containing is a group is called an division monoid.
Last revised on August 21, 2024 at 02:32:44. See the history of this page for a list of all contributions to it.