# nLab commutative algebraic theory

### Context

#### Algebra

higher algebra

universal algebra

# Contents

## Idea

An algebraic theory is said to be commutative if its operations are algebra homomorphisms under any interpretation, generalizing the familiar case of the theory of commutative monoids.

A more general notion is that of monoidal monads.

## Definition

Two operations, $\alpha$ and $\beta$, of an algebraic theory are said to commute if for any matrix $M$ of elements, with the number of rows given by the arity of $\alpha$ and the number of columns by the arity of $\beta$, one gets the same result whether one

1. applies $\alpha$ to each column of $M$ and then $\beta$ to the resulting row, or
2. applies $\beta$ to each row of $M$ and then $\alpha$ to the resulting column.

(We formulate this notion in an element-free way below.)

Note that an operation of arity $0$ or $1$ always commutes with itself; this is not necessarily the case for higher arities. Commuting nullary operations are necessarily equal.

The operations that commute with a given set of operations in an algebraic theory form a subtheory. The centre of an algebraic theory is given by the operations that commute with all the operations of the theory. An algebraic theory is commutative if every pair of its operations commute. Another way of describing the centre is to say that it consists of those operations which are also homomorphisms; an algebraic theory is commutative if all of its operations are homomorphisms.

Here is a more formal definition, expressed in terms of structure on the monad $T:\mathrm{Set}\to \mathrm{Set}$ associated with the algebraic theory.

###### Definition

$T$ is commutative if there is an equality between two maps

$\alpha =\beta :TA×TB\stackrel{\to }{\to }T\left(A×B\right)$\alpha = \beta \colon T A \times T B \stackrel{\to}{\to} T(A \times B)

where

• $\alpha$ is the composite

$TA×TB\stackrel{{\sigma }_{A,TB}}{\to }T\left(A×TB\right)\stackrel{T\left({\tau }_{A,B}\right)}{\to }TT\left(A×B\right)\stackrel{m\left(A×B\right)}{\to }T\left(A×B\right).$T A \times T B \stackrel{\sigma_{A, T B}}{\to} T(A \times T B) \stackrel{T(\tau_{A, B})}{\to} T T(A \times B) \stackrel{m(A \times B)}{\to} T(A \times B).

Here $\sigma$ denotes the strength of the monad $T$, and $\tau$ its symmetric counterpart.

• $\beta$ is the composite

$TA×TB\stackrel{{\tau }_{TA,B}}{\to }T\left(TA×B\right)\stackrel{T\left({\sigma }_{A,B}\right)}{\to }TT\left(A×B\right)\stackrel{m\left(A×B\right)}{\to }T\left(A×B\right).$T A \times T B \stackrel{\tau_{T A, B}}{\to} T(T A \times B) \stackrel{T(\sigma_{A, B})}{\to} T T(A \times B) \stackrel{m(A \times B)}{\to} T(A \times B).

It is worth checking what this description gives more explicitly. Starting with a pair of elements in $TA×TB$,

$⟨\left(\omega ;{a}_{1},\dots ,{a}_{m}\right),\left(\chi ;{b}_{1},\dots ,{b}_{n}\right)⟩$\langle (\omega; a_1, \ldots, a_m), (\chi; b_1, \ldots, b_n)\rangle

(and here we should be considering equivalence classes of such formal operations), the map $\alpha$ sends this to

$\left(\omega \left(\chi ,\dots ,\chi \right);\left({a}_{1},{b}_{1}\right),\dots \left({a}_{1},{b}_{n}\right)\right),\dots ,\left({a}_{m},{b}_{1}\right),\dots ,\left({a}_{m},{b}_{n}\right)\right)$(\omega(\chi, \ldots, \chi); (a_1, b_1), \ldots (a_1, b_n)), \ldots, (a_m, b_1), \ldots, (a_m, b_n))

where $\omega \left(\chi ,\dots ,\chi \right)$ is the evident operation of arity $mn=n+\dots +n$. In more detail, $\alpha \left(⟨\left(\omega ;\stackrel{⇀}{a}\right),\left(\chi ;\stackrel{⇀}{b}⟩\right)$ is the end result of the sequence

$⟨\left(\omega ;\stackrel{⇀}{a}\right),\left(\chi ;\stackrel{⇀}{b}\right)⟩\stackrel{\sigma }{↦}\left(\omega ;\left({a}_{1},\left(\chi ;\stackrel{⇀}{b}\right)\right),\dots ,\left({a}_{m},\left(\chi ;\stackrel{⇀}{b}\right)\right)\right)\stackrel{T\tau }{↦}\left(\omega ;\left(\chi ;\left({a}_{1},\stackrel{⇀}{b}\right)\right),\dots ,\left(\chi ;\left({a}_{m},\stackrel{⇀}{b}\right)\right)\right)\stackrel{m}{↦}\left(\omega \left(\chi ,\dots ,\chi \right);\left({a}_{1},\stackrel{⇀}{b}\right),\dots ,\left({a}_{m},\stackrel{⇀}{b}\right)\right).$\langle (\omega; \vec{a}), (\chi; \vec{b}) \rangle \stackrel{\sigma}{\mapsto} (\omega; (a_1, (\chi; \vec{b})), \ldots, (a_m, (\chi; \vec{b}))) \stackrel{T\tau}{\mapsto} (\omega; (\chi; (a_1, \vec{b})), \ldots, (\chi; (a_m, \vec{b}))) \stackrel{m}{\mapsto} (\omega(\chi, \ldots, \chi); (a_1, \vec{b}), \ldots, (a_m, \vec{b})).

Similarly, the map $\beta$ sends the pair $⟨\left(\omega ;\stackrel{⇀}{a}\right),\left(\chi ;\stackrel{⇀}{b}\right)⟩$ to

$\left(\chi \left(\omega ,\dots ,\omega \right);\left(\stackrel{⇀}{a},{b}_{1}\right),\dots ,\left(\stackrel{⇀}{a},{b}_{n}\right)\right)$(\chi(\omega, \ldots, \omega); (\vec{a}, b_1), \ldots, (\vec{a}, b_n))

where $\chi \left(\omega ,\dots ,\omega \right)$ is the evident operation of arity $nm=m+\dots +m$.

### Abstract formulation

The category $\mathrm{Th}$ of Lawvere theories is endowed with a symmetric monoidal product (called Kronecker product; see Freyd’s article in the references),

$\otimes :\mathrm{Th}×\mathrm{Th}\to \mathrm{Th},$\otimes \colon \mathbf{Th} \times \mathbf{Th} \to \mathbf{Th},

whereby $\left(S\otimes T\right)$-algebras are $S$-algebras internal to $T$-algebras, or equally well $T$-algebras internal to $S$-algebras. A commutative theory is tantamount to a commutative monoid in the symmetric monoidal category $\mathrm{Th}$.

If $S$ and $T$ are commutative theories, then their coproduct in the category of commutative theories is $S\otimes T$.

### Commutative theory as monoidal monad

Let $T$ be the $\mathrm{Set}$-monad of a commutative theory. Then the map

${\alpha }_{A,B}:TA×TB\to T\left(A×B\right)$\alpha_{A, B}: T A \times T B \to T(A \times B)

as defined above can be shown to be the structure map for a monoidal structure on $T$, i.e., making $T$ a lax (symmetric) monoidal functor, and in fact the monad multiplication and unit become monoidal transformations. In other words, we get a monad in the 2-category of symmetric monoidal categories, lax symmetric monoidal functors, and monoidal transformations: a monoidal monad.

In fact, it may be shown that commutative Lawvere theories on $\mathrm{Set}$ are precisely the same things as (finitary) symmetric monoidal monad structures on $\left(\mathrm{Set},×\right)$, as shown by Anders Kock. For more on this, see monoidal monad.

## Properties

### Closed monoidal structure on algebras

If ${f}_{1},\dots ,{f}_{n}$ are homomorphisms $A\to B$ of models (algebras) of a commutative algebraic theory, and $\omega$ is an $n$-ary operation of it, then the function $A\to B$ given by sending $a\in A$ to $\omega \left({f}_{1}\left(a\right),\dots ,{f}_{n}\left(a\right)\right)\in B$ is again a homomorphism, which is naturally called $\omega \left({f}_{1},\dots ,{f}_{n}\right)$. In this way $\mathrm{Hom}\left(A,B\right)$ is enriched as a model of the algebraic theory, and we have a closed category of models and homorphisms. Furthermore, this internal $\mathrm{Hom}$ has a left adjoint $\otimes$ for which the free model on one generator is a unit, so we have a closed monoidal category, in fact a closed symmetric monoidal category.

The monoidal structure $\otimes$ can be extracted by a straightforward generalization of the usual tensor product of abelian groups (or of commutative monoids), where “bilinearity conditions” = “linearity in separate variables” is replaced by ”$T$-homomorphicity in separate variables”, where $T$ is the monad of the algebraic theory. In slightly more detail, if $A$ and $B$ are $T$-algebras, the tensor product $A\otimes B$ ought to be $T\left(A×B\right)$ modulo equivalences which we may write suggestively as

$\omega \left({a}_{1},\dots ,{a}_{m}\right)\otimes \chi \left({b}_{1},\dots ,{b}_{n}\right)\sim \left(\omega \left(\chi ,\dots ,\chi \right);{a}_{1}\otimes {b}_{1},\dots ,{a}_{m}\otimes {b}_{n}\right)$\omega(a_1, \ldots, a_m) \otimes \chi(b_1, \ldots, b_n) \sim (\omega(\chi, \ldots, \chi); a_1 \otimes b_1, \ldots, a_m \otimes b_n)

where the left side is represented by a composite

$TA×TB\stackrel{{\xi }_{A}×{\xi }_{B}}{\to }A×B\stackrel{u\left(A×B\right)}{\to }T\left(A×B\right)$T A \times T B \stackrel{\xi_A \times \xi_B}{\to} A \times B \stackrel{u(A \times B)}{\to} T(A \times B)

(the $\xi$’s are $T$-algebra structures), and the right side by the monoidal structure map on $T$,

${\alpha }_{A,B}:TA×TB\to T\left(A×B\right).$\alpha_{A, B} \colon T A \times T B \to T(A \times B).

In more detail still, $A\otimes B$ is the following coequalizer in ${\mathrm{Alg}}_{T}$:

$\begin{array}{cccc}T\left(TA×TB\right)& \stackrel{T\alpha }{\to }& TT\left(A×B\right)& \\ & {}^{T\left({\xi }_{A}×{\xi }_{B}\right)}↘& {↓}^{m}& \\ & & T\left(A×B\right)& \to & A\otimes B\end{array}$\array{ T(T A \times T B) & \stackrel{T\alpha}{\to} & T T(A \times B) & \\ & ^\mathllap{T(\xi_A \times \xi_B)} \searrow & \downarrow^\mathrlap{m} & \\ & & T(A \times B) & \to & A \otimes B }

This construction carries over to the wider context of monoidal monads.

## References

The notion of commutative algebraic theory was formulated in terms of monads by Anders Kock.

• Anders Kock, Monads on symmetric monoidal closed categories, Arch. Math. 21 (1970), 1–10.

• Anders Kock, Strong functors and monoidal monads, Arhus Universitet, Various Publications Series No. 11 (1970). PDF.

• Anders Kock, Closed categories generated by commutative monads

• William Keigher, Symmetric monoidal closed categories generated by commutative adjoint monads

The Kronecker product of theories was introduced in an article of Freyd:

• Peter Freyd, Algebra valued functors in general and tensor products in particular, Colloq. Math. 14 (1966), 89-106.

Recently Nikolai Durov rediscovered that notion for the purposes of geometry (under the name commutative algebraic monad), constructed their spectra (generalizing the spectrum of Grothendieck) and theory of generalized schemes on this basis. There is a generalized version of the Eckmann–Hilton argument concerning commutative finitary monads. Much detail including many examples and further constructions are in his thesis

Revised on May 9, 2013 21:50:15 by Cale Gibbard? (99.247.230.21)