I'd like to know more about varieties (in the sense of universal algebra) where every algebra is free. Another way to state the condition is that the comparison functor from the Kleisli category to the Elienberg-Moore category is an equivalence. For example, every object is free in 


* The category of sets
* The category of pointed sets
* The category of vector spaces (over a specified field), or more generally, the category of modules over a division ring
* (Added 3/14/14) The category of affine spaces (vector spaces without a zero) and affine maps (linear maps + translations) over a division ring $R$. The algebraic structure is given by, for each $r \in R$, a ternary operation $f\_r(x,y,z)$ meaning essentially $r(x-y)+z$, with appropriate relations to specify this. In the vector space case this example is mentioned in the paper John Baldwin links to below.


Is there a name for this property? [Over at the n-Category Café](http://golem.ph.utexas.edu/category/2014/01/formal_theory_of_monads_follow.html#c045878), Zhen Lin suggested the term "absolutely free", but I gather this has a different meaning in universal algebra.


Has this property been studied in the literature? Are there other good examples? It seems like a very restrictive condition: is it restrictive enough to obtain some kind of structure theory for varieties with this property?


In the commutative algebra case: If all the modules over a ring $k$ are free, then is $k$ necessarily a division ring?


**EDIT** (2/19/14)
The Masked Avenger mentions below that this property can be parsed in terms of categoricity in the sense of model theory. This reminds me that on the n-Category Café, Zhen Lin mentioned there should be an approach in terms of elimination of imaginaries. If anybody could flesh out the model-theoretic aspects I'd really appreciate it. Perhaps the topic has been well-covered model-theoretically?


I think the linear case has been clarified by multiple people. Benjamin Steinberg has some interesting results related to the classification aspect; any further observations would be great. I'm still looking for a name for this property[3/14/14: "pantofree" sounds joke-y to my ear, but maybe it is apt after all...], and still looking for further interesting examples. Maybe I'll also mention: one variation that might be interesting is to require only that finitely generated algebras be free.



Varieties where every algebra is free
If there are no constant symbols in the language, $\mathcal L$, then the nontrivial varieties where every algebra is free are exactly the varieties term equivalent to sets or to affine spaces over a division ring. Here is why.


1. If there are no constants in the language, $F\_{\mathcal V}(\emptyset)$ is empty, so $F\_{\mathcal V}(1)$ must be the 1-element algebra. This forces the variety to be idempotent.
2. $\mathcal V$ is $\kappa$-categorical for $\kappa\geq |\mathcal L|$. This forces the first-order theory of infinite members of $\mathcal V$ to be complete, so $\mathcal V$ is a minimal variety.
3. The minimal idempotent varieties were partially classified in my paper


Almost all minimal idempotent varieties are congruence modular, Algebra Universalis 44 (2000), 39-45.


Each one must be equivalent to the variety of sets, the variety of semilattices, a variety of affine modules over a simple ring, or must be congruence distributive.


4. So what is left is to rule out the nonabelian ones and to show that a variety of affine modules over a simple ring where ever member is free is actually affine over a division ring. The division ring conclusion can be reached in various ways, e.g., by referring to the answer by Mariano Suárez-Alvarez. (You can shorten that argument a bit by noting that $\mathcal V$ has a simple member, and for a simple module to be free the ring must be a division ring.)


What is still left is to rule out the varieties equivalent to semilattices and the congruence distributive varieties. This can be done directly or we can cite papers of Baldwin + coauthors.


A variety equivalent to semilattices is locally finite, so by his paper with Lachlan (cited in Baldwin's answer), which applies to locally finite varieties whose infinite members are free, $\mathcal V$ is totally categorical. These varieties are known. A congruence distributive variety is congruence modular, so by his paper with McKenzie called "Counting models in universal Horn classes", Algebra Universalis 15 (1982), 359-384, the $\kappa$-categoricity and the congruence modularity of $\mathcal V$ jointly imply that $\mathcal V$ is abelian. (Their paper assumes a countable language, but this part of their argument doesn't require it.)


I don't know how to do the case where there are constants in the language. What can be shown is that there is at most one constant up to equivalence, that $F\_{\mathcal V}(1)$ is abelian and simple, and that $\mathcal V = SPP\_U(F\_{\mathcal V}(1))$ is a minimal variety that is minimal as a quasivariety. The only examples I know are the varieties of pointed sets and the varieties of vector spaces over a division ring.


**EDIT** (8/16/15) I know more now. Steve Givant solved the main question posed here (Which varieties have the property that all members are free?) in his 1975 PhD thesis. The answer is: only those varieties term equivalent to sets, pointed sets, vector spaces over a division ring or affine spaces over a division ring. His methods do not seem to apply to the variation suggested by Tim: For which varieties are the *finitely generated* members free? However Emil Kiss, Agnes Szendrei and I just worked out the answer to that question (it is the same answer): sets, pointed sets, vectors spaces and affine spaces. I just submitted a short note on this to the [arxiv](http://arxiv.org/abs/1508.03807).


