Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $R$ be a ring. Say that an $R$-algebra $A$ is $R$-projective if it has the left lifting property with respect to surjections of $R$-algebras: that is, whenever $B \to C$ is a surjection of $R$-algebras, then $\hom_R(A, B) \to \hom_R(A, C)$ is a surjection. A polynomial algebra is an example of a projective $R$-algebra, and conversely any projective $R$-algebra has to be a retract of a polynomial algebra (by the same argument as for modules). It is known that any projective module over a PID is free. Conversely, is it true that any projective algebra over a PID is free?

A bit of background: The Lazard ring $L$ is a ring with the universal property that $\hom(L, R)$ is in natural bijection with formal group laws over $R$. It is a non-obvious fact that $L$ is a polynomial ring on a countable set of generators, and is thus a "projective ring"; thus if $A \to B$ is a surjection of rings then any formal group law on $B$ can be lifted to one on $A$. I don't know how to prove this directly, but I'm curious whether, if I did, it would then be clear that $L$ has to be free.

(Incidentally, what happens in the noncommutative case, where "polynomial" is replaced by "free associative"?)

share|cite|improve this question
up vote 7 down vote accepted

Even over a field this is a difficult problem! It is related, among other things, to the Jacobian conjecture and the constellation of problems around it.

In [D. Costa, Retracts of polynomial rings, J. Algebra 44 (1977), 492-502.] Costa deals with the two variable case (that is, with projective algebras generated by two elements) (he works with coefficient rings which are zero-dimensional and noetherian, for extra fun) He also deals with the non-commutative polynomial algebra.

Then [Picavet, Gabriel. Algebraically flat or projective algebras. J. Pure Appl. Algebra 174 (2002), no. 2, 163--185. MR1921819 (2003i:13009)] shows that over a field, a projective algebra of finite type is either a polynomial algebra or the coordinate algebra of a complete intersection.

share|cite|improve this answer
Thanks. I hadn't realized this problem was so difficult... – Akhil Mathew Jan 12 '12 at 0:11

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.