# Do the usual examples of “dimensive” Lawvere theories form an exhaustive list of such theories?

Call a Lawvere theory $T$ dimensive iff, letting $F_T : \mathbf{Set} \rightarrow \mathbf{Mod}(T)$ denote the free functor, we have the following.

• Every finitely generated $T$-algebra is free.
• From $F_T(J) \cong F_T(I)$ we may deduce $J \cong I$, for all finite sets $I,J$.

Motivation. If $T$ is dimensive, then every finitely-generated $T$-algebra has a well-defined dimension.

Examples.

• The initial Lawvere theory (whose models are sets).
• For each field $K$, the Lawvere theory of $K$-modules.

Question. Is this an exhaustive list of dimensive Lawvere theories?

This is getting too long for a comment, but here are some more examples:

• Modules over a division ring $K$ work.
• Also, pointed sets work.
• Affine spaces over a field, or more generally a division ring, work.

These examples come from here where Lawvere theories with all algebras free are considered.

Some observations from over there still apply. Your Lawvere theory must have at most one constant. If you want all algebras to be free (not just finitely-generated ones), then affine spaces over a division ring and sets themselves are the only examples with no constants, and it seems likely that pointed sets and vector spaces over a division ring are the only examples with constants.

Update If you follow the link above, you'll see that Keith Kearnes and collaborators now have a paper out showing that these are the only Lawvere theories for which every finitely generated algebra is free, regardless of the second condition! They all satisfy the second condition, too.

• Glad to help! I'd be interested to see an example of a Lawvere theory where every finitely-generated algebra is free, but not every algebra is free. I suspect there are examples well-known to the experts... – tcamps Jul 16 '15 at 14:42
• Isn't every finitely generated boolean algebra free? – Zhen Lin Jul 16 '15 at 16:26
• @ZhenLin, nice example; see here for proofs. However, I think that the Lawvere theory of $\mathbb{F}_2$-modules is isomorphic to the Lawvere theory of Boolean algebras; if so, then this isn't really a new example. – goblin Jul 17 '15 at 4:01
• It isn't true. Boolean algebras are $\mathbb{F}_2$-algebras but not every $\mathbb{F}_2$-algebra is a boolean algebra. (There's an extra equation.) – Zhen Lin Jul 17 '15 at 10:35
• @ZhenLin Don't free Boolean algebras on $n$ elements have cardinality $2^{2^n}$, whereas finitely generated Booleans can have more general cardinalities $2^k$? – user43208 Aug 20 '15 at 5:08