symmetric monoidal (∞,1)-category of spectra
monoid theory in algebra:
Absorption monoids are the monoid objects in pointed sets, in the same way that rings are the monoid objects in abelian groups. Thus, the theory of absorption monoids and the theory of rings are very similar to each other, except that rings have additive structure whereas absorption monoids do not have additive structure.
An absorption monoid or annihilation monoid is a monoid $(M,1,\cdot)$ that is also an absorption magma $(M,0)$.
Equivalently, it is a monoid object in the category of pointed sets, since left and right multiplication $\cdot$ by any element $x$ preserves the point $0$.
The initial absorption monoid is the boolean domain $\mathbb{2}$ with elements $0 \in \mathbb{2}$ representing false, $1 \in \mathbb{2}$ representing true, and $(-)\cdot(-):\mathbb{2} \times \mathbb{2} \to \mathbb{2}$ representing conjunction.
The terminal absorption monoid is the trivial monoid $\mathbb{1}$, the monoid whose underlying set is a singleton. The trivial monoid is also strictly terminal.
Given absorption monoids $M$ and $N$, an absorption monoid homomorphism is a function $h:M \to N$ such that
A two-sided ideal of an absorption monoid $M$ is a subset $I$ of $M$ such that
A two-sided anti-ideal of an absorption monoid $M$ is a subset $A$ of $M$ such that
Given an absorption monoid $M$ and a two-sided ideal $I$, the quotient of $M$ by $I$ is the initial absorption monoid $M/I$ with absorption monoid homomorphism $i:M \to M/I$ such that for all elements $a \in I$, $i(a) = 0$.
An element $a \in M$ is an invertible element or a unit if there exists an element $b \in M$ such that $a \cdot b = 1$ and $b \cdot a = 1$.
The set of invertible elements $M^\times$ in an absorption monoid $M$ is always closed under multiplication; i.e. $M^\times$ is a submonoid of $M$. In fact, since every element is invertible, $M^\times$ forms a subgroup of $M$, called the group of units.
An absorption monoid $M$ is a division monoid if every non-invertible element in $M$ is equal to zero. $M$ is Heyting if there is a tight apartness relation on $M$ such that every invertible element is apart from zero, and $M$ is discrete if every element in $M$ is either zero or invertible.
An element $a \in M$ is a regular element, cancellative element, or cancellable element if for all elements $b \in M$ and $c \in M$, $b = c$ if and only if $a \cdot b = a \cdot c$ and $c \cdot a = c \cdot b$.
The set of regular elements $\mathrm{Reg}(M)$ in an absorption monoid $M$ is always closed under multiplication; i.e. $\mathrm{Reg}(M)$ is a submonoid of $M$.
An absorption monoid $M$ is an integral monoid if every non-regular element in $M$ is equal to zero. $M$ is Heyting if there is a tight apartness relation on $M$ such that every regular element is apart from zero, and $M$ is discrete if every element in $M$ is either zero or regular.
Given an absorption monoid $M$, an Ore set is a submonoid $S$ of $\mathrm{Reg}(M)$ such that every element of $S$ satisfies the left and right Ore conditions:
A absorption monoid is an Ore absorption monoid if $\mathrm{Reg}(M)$ is an Ore set.
The localization of an Ore integral monoid $M$ at $\mathrm{Reg}(M)$ is a division monoid. The localization of an absorption monoid at $0$ is the trivial group; thus, the group completion of any absorption monoid is the trivial group.
Given an absorption monoid $M$, an left $M$-action on a pointed set $(P, 0)$ is an ternary function $\alpha_L:M \times P \to P$ such that:
A right $M$-action on a pointed set $(P, 0)$ is a binary function $\alpha_R:P \times M \to P$ such that:
Given absorption monoids $M$ and $N$, an $M$-$N$-biaction on a pointed set $(P, 0)$ is a ternary function $\alpha:M \times P \times N \to P$ such that:
Pointed sets equipped with left or right $M$-actions are called left or right $M$-modules, and pointed sets equipped with $M$-$N$-biactions are called $M$-$N$-bimodules.
The multiplicative monoid of the natural numbers $\mathbb{N}^\times$ is the free commutative absorption monoid on the natural numbers, the initial commutative absorption monoid $\mathbb{N}^\times$ with a function $\mathrm{prime}:\mathbb{N} \to \mathbb{N}^\times$. $\mathbb{N}^\times$ has decidable equality. The localization of $\mathbb{N}^\times$ at the image of $\mathrm{prime}$, or equivalently at the non-zero elements of $\mathbb{N}^\times$, is the multiplicative monoid of the non-negative rational numbers, $\mathbb{Q}_{\geq 0}^\times$.
The extended natural numbers $(\bar{\mathbb{N}}, 0, +, \infty)$ are an absorption monoid.
Every integral monoid is an absorption monoid.
The multiplicative monoid of every rig is an absorption monoid.
Every join-semilattice with a top element and evety meet-semilattice with a bottom element is an absorption monoid.
Last revised on March 17, 2023 at 15:01:21. See the history of this page for a list of all contributions to it.