Intereting Posts

How is Cauchy's estimate derived?
Does every nonempty definable finite set have a definable member?
No simple group of order $300$
How to tell if some power of my integer matrix is the identity?
Complete calculus of first-order logic working for empty structures too
Why is there no generalization of the determinant to infinite dimensional vector spaces?
A Curious Binomial Sum Identity without Calculus of Finite Differences
The fractional part of $n\log(n)$
What is an example of pairwise independent random variables which are not independent?
Finding circumference without using $\pi$
PDE – solution with power series
number of pairs formed from $2n$ people sitting in a circle
Finding $\lim_{n \to \infty} \frac{\sqrt{n!}}{2^n}$
Zeta function zeros and analytic continuation
Rationalizing expressions

Free modules are projective, and projective modules are direct summands of free modules.

Are there examples of projective modules that are not free?

(I know this is not possible for modules of fields.)

- 2 Tricks to prove Every group with an identity and x*x = identity is Abelian - Fraleigh p. 48 4.32
- Existence of Zero Divisors in $C(X,\mathbb{R})$
- Prove that $G = \langle x,y\ |\ x^2=y^2 \rangle $ is torsion free.
- Over a PID, $\text{rank}(F/N)=0 \Longleftrightarrow\text{rank}(F)=\text{rank}(N)$?
- Pathologies in “rng”
- Is $\bigl(X(X-a)(X-b)\bigr)^{2^n} +1$ an irreducible polynomial over $\mathbb{Q}$?

Free modules are torsion-free. But is the inverse true?

Are there examples of torsion-free modules that are not free?

Thank you~

- G is group of order pq, pq are primes
- The Krull dimension of a module
- $\mathbb{Q}/(Y^2-X^3)$ is not a UFD
- Eigenvalues for matrices over general rings
- Prove that $(0)$ is a radical ideal in $\mathbb{Z}/n\mathbb{Z}$ iff $n$ is square free
- Is $f'(x)-3f(x) = 0$ subspace of differentiable functions $f\colon (0,1)\to \mathbb{R}$
- Let $p$ be a prime, then does $p^{\alpha} \mid |G| \Longrightarrow p \mid Aut(G)$?
- Applications of Abstract Algebra to elementary mathematics
- Every maximal ideal is principal. Is $R$ principal?
- Two exercises on characters on Marcus (Part 2)

Let $R=\mathbb{Z}/6\mathbb{Z}$. Obviously, $R$ is a free module over itself. Because $\mathbb{Z}/2\mathbb{Z}\oplus\mathbb{Z}/3\mathbb{Z}\cong R$, we have that $\mathbb{Z}/2\mathbb{Z}$, considered as an $R$-module, is projective, but it cannot be free – any non-trivial direct sum of $R$’s would have at least 6 elements.

The Baer-Specker group is an example of a torsion-free $\mathbb{Z}$-module which is not free.

The issue of when projective modules are free is discussed in $\S 3.5.4$ of my commutative algebra notes. In particular one gets very easy (but not very satisfying) examples by looking at disconnected rings: e.g. $\mathbb{C} \times \{0\}$ is quite clearly projective but not free over $\mathbb{C} \times \mathbb{C}$.

It is more interesting to ask for examples over domains. One huge class of examples comes from invertible fractional ideals which are not principal. In particular a Dedekind domain possesses such ideals iff it is not a PID. This is worked out much later in my notes in the section on Dedekind domains (currently $\S 22$, but this is subject to change). However, in $\S 3.5.4$ I take some time to exhibit from scratch a specific projective, nonfree module over $R=\mathbb{Z}[\sqrt{-5}]$.

Note that free implies torsionfree holds for modules over a *domain* $R$. (In fact the usual definition of “torsionfree module” is only useful over domains, so far as I know. I seem to recall that Lam’s book *Lectures on modules and rings* gives a more sophisticated definition for modules over a general ring…) To be more precise, over any commutative ring $R$, free $\implies$ projective $\implies$ flat, and over a domain flat $\implies$ torsionfree. So any example of a projective nonfree module over a domain is also an example of a torsionfree nonfree module.

Over a general domain there is a vast gap between torsion free modules and flat modules. For instance, a prime ideal $\mathfrak{p}$ in a Noetherian domain is always a torsionfree module, but it is flat only if it has height at most one. However, a torsionfree module over a PID is flat — see e.g. $\S 3.11$ of my notes — but need not be free. For instance, let $R$ be any PID which is not a field and let $K$ be its field of fractions. Then $K$ is a nontrivial torsionfree $R$-module which is divisible, hence not free.

If $k$ is a field and $A = \operatorname{Mat}_n(k) = \operatorname{End}_k(V)$ is the ring of $n\times n$ matrices with coefficients in $k$, then the (simple, left) $A$-module $V = k^n$ of “column vectors” is a projective $A$-module, but it is not free as an $A$-module as soon as $n>1$ (this non-freeness is easy to see by comparing the dimension of $V$ and of $A$ as $k$-vector spaces).

To see the fact that $V$ is projective $A$-module, fix a basis $b_1,\dots,b_n$ for $V$ as a vector space, and for each $j=1,\dots,n$, let $e_j \in A$ be the “idempotent” given by

projection on the 1 dimensional linear subspace of $V$ spanned by $b_j$. Form the left ideal $I_j = Ae_j$. The mapping

$$X \mapsto Xb_j$$

defines an $A$-module isomorphism $I_j \to V$, and it is straightforward to check that

$$A = \bigoplus_{j=1}^n I_j,$$

so indeed $V \simeq I_1$ is a direct summand of a free $A$-module, hence projective.

An ideal $I$ of an integral domain $R$ is a free $R$-module iff it is generated by one element.

In a Dedekind domain every non-zero ideal is invertible, thus projective. However Dedekind domains are usually not principal ideal domains – algebraic number theory yields many examples.

This way one gets torsion-free, finitely generated, projective modules that are not free.

Given any two rings $R_\pm$.

Take the ring $R:=R_+\oplus R_-$.

Consider the free $R$-module $F:=R$.

Then it is projective as it is free.

Consider the summand $R$-module $P:=R_+\oplus 0_-$.

Then it is projective as a summand of a projective.

Now for any finite rings $\#R_\pm<\infty$:

By counting argument the constructed module is not free!

- How to prove that $\lVert \Delta u \rVert_{L^2} + \lVert u \rVert_{L^2}$ and $\lVert u \rVert_{H^2}$ are equivalent norms?
- How to find $ \lim\limits_{ x\to 100 } \frac { 10-\sqrt { x } }{ x-100 }$
- Proving $\int_{0}^1\frac{x-1}{\log x}dx=\log 2$ and $\int_{0}^1\frac{\log x}{x-1}dx=\frac{\pi^2}{6}$
- Verification of integral over $\exp(\cos x + \sin x)$
- Linear Transformation and Matrices
- How can a structure have infinite length and infinite surface area, but have finite volume?
- Finding asymptotes of exponential function and one-sided limit
- A differentiation under the integral sign
- Vandermonde-type convolution with geometric term
- Proving that second derivative is perpendicular to curve
- Sum of binomial coefficients $\sum_{k=0}^{n}(-1)^k\binom{n}{k}\binom{2n – 2k}{n – 1} = 0$
- Generating a $\sigma$-algebra from a $\sigma$-ring
- The marriage problem with the constraint that a particular boy has to find a wife.
- Parametric Equation of a Circle in 3D Space?
- Is there a more elegant way of proving $\langle (1,2)(3,4), (1,2,3,4,5) \rangle = A_5$