nLab graded monoid

Contents

Contents

Idea

A graded monoid is like a monoid but where elements of the monoid possess some degree and such that when you multiply, you sum the degrees. It can be defined in any monoidal category.

Definition and properties

Let MM be a commutative monoid (in the category Sets\mathbf{Sets}). A MM-graded monoid Φ\Phi in a monoidal category 𝒱\mathcal{V} with unit object II is the data of

  • for each mMm \in M, an object Φ m\Phi_m,
  • for each m,nMm,n \in M, a morphism
    m,n:Φ mΦ nΦ m+n\nabla_{m,n}: \Phi_m \otimes \Phi_n \to \Phi_{m+n}
  • a morphism
    η:IΦ 0 \eta: I \to \Phi_0

such that the obvious associativity and unit axioms hold.

Thus, a MM-graded monoid is in particular a MM-graded object. In fact, a MM-graded monoid is just a monoid in the monoidal category of MM-graded objects of 𝒱\mathcal{V}, hence a lax monoidal functor M𝒱M \to \mathcal{V} by this proposition (where MM is viewed as a discrete monoidal category).

We say that a MM-graded monoid is connected if η\eta is an isomorphism.

If Φ\Phi is a MM-graded monoid in 𝒱\mathcal{V}, then (Φ 0, 0,0,η)(\Phi_{0},\nabla_{0,0},\eta) is a (non-graded) monoid in 𝒱\mathcal{V}.

Examples

The following are all examples of connected \mathbb{N}-graded monoids.

  • In the symmetric monoidal category of groups with the cartesian product, an example of \mathbb{N}-graded monoid is the trivial one 1=(1) n1 = (1)_n

  • In the same category, another example is the graded monoid of symmetric groups Σ=(Σ n) n\Sigma = (\Sigma_n)_n.

  • In any monoidal category, defining Φ n:=A n\Phi_n := A^{\otimes n}, m,n:A mA nA (m+n)\nabla_{m,n}:A^{\otimes m} \otimes A^{\otimes n} \rightarrow A^{\otimes (m+n)} given by associators and η=1 I\eta = 1_{I}, we obtain the connected \mathbb{N}-graded monoid of tensor powers.

  • In any symmetric monoidal category, defining S n(A)S^n(A) equal to the coequalizer of the n!n! permutations A nA nA^{\otimes n} \rightarrow A^{\otimes n} and defining the multiplication S n(A)S p(A)S n+p(A)S^n(A) \otimes S^p(A) \rightarrow S^{n+p}(A) by using the universal property of the coequalizer, we obtain the connected commutative \mathbb{N}-graded monoid of symmetric powers.

  • In any symmetric monoidal category, defining Γ n(A)\Gamma^n(A) equal to the equalizer of the n!n! permutations A nA nA^{\otimes n} \rightarrow A^{\otimes n} and defining the multiplication Γ n(A)Γ p(A)Γ n+p(A)\Gamma^n(A) \otimes \Gamma^p(A) \rightarrow \Gamma^{n+p}(A) by using the universal property of the equalizer, we obtain the connected commutative \mathbb{N}-graded monoid of divided powers.

  • In any symmetric monoidal category enriched over the category of abelian groups, defining Λ n(A)\Lambda^n(A) equal to the coequalizer of the n!n! signed permutations sgn(σ).σ:A nA sgn(\sigma).\sigma:A^{\otimes n} \rightarrow A^{\otimes} where sgn(σ)sgn(\sigma) is the signature of the permutation σ\sigma and defining the multiplication Λ n(A)Λ p(A)Λ n+p(A)\Lambda^n(A) \otimes \Lambda^p(A) \rightarrow \Lambda^{n+p}(A) by using the universal property of the equalizer, we obtain the connected graded-commutative (ie. such that σ; p,n=sgn(σ).σ:Φ nΦ pΦ n+p\sigma;\nabla_{p,n} = sgn(\sigma).\sigma:\Phi_{n} \otimes \Phi_{p} \rightarrow \Phi_{n+p}) \mathbb{N}-graded monoid of exterior powers. Replacing the coequalizer by an equalizer always provides an isomorphic \mathbb{N}-graded monoid.

The connected commutative \mathbb{N}-graded monoid of symmetric powers and of divided powers are not isomorphic in general, but they are if the symmetric monoidal category is enriched over +\mathbb{Q}^{+}-modules, for instance in the category of vector spaces over a field of characteristic 00 or in the category of sets and relations (where S n(X)Γ n(X)S^{n}(X) \cong \Gamma^{n}(X) is equal to the set of all multisets of nn elements of XX).

See also

Last revised on July 28, 2023 at 19:44:35. See the history of this page for a list of all contributions to it.