Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $R \subseteq S$ be an extension of rings with unit. Suppose that $S$ is free as left $R$-module. I wonder what can said about the freeness of $S$ as right $R$-module. To be a little more precise let's consider the following questions:

  1. Does someone know an example such that $S$ is free as left $R$-module, but isn't free as right $R$-module.

  2. What are conditions that imply that $S$ is free as left module iff it's free as right module ?

  3. What are categorial examples such that $S$ is free as left as well as right $R$-module ?

An examples for 2. is

  • $R$ is a subring of the center of $S$

and examples for 3. are:

  • $R \subseteq S$ is a Frobenius extension

  • $S$ is a Hopf algebra over a field and $R$ a sub-Hopf algebra (freeness holds by the Nichols-Zoeller theorem)

share|improve this question
add comment

1 Answer

up vote 6 down vote accepted

Let $M$ be an $(R, R)$-bimodule and let $S$ be the square-zero extension $R \oplus M$ of $R$ with multiplication $$(r_1 \oplus m_1)(r_2 \oplus m_2) = r_1 r_2 \oplus (m_1 r_2 + r_1 m_2).$$

If $M$ is free as a left $R$-module then so is $S$, and if $S$ is free as a right $R$-module then $M$ is projective. So it suffices to find $M$ which is free as a left $R$-module but not projective as a right $R$-module.

So let $R = T \times T$ where $T$ is some nonzero ring and let $M = R$ with $R$ acting on the left by left multiplication but acting on the right as follows: the second factor of $T$ acts diagonally by right multiplication and the first factor of $T$ acts trivially. Then $M$ is free as a left $R$-module but torsion as a right $R$-module. Taking $T = \mathbb{F}_2$ gives a minimal counterexample in a fairly strong sense; we have $|R| = 4$ and if $|R| < 4$ then $R$ is a field.

share|improve this answer
add comment

Your Answer

 
discard

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.