PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Medium Entry average rating: No information on entry rating
[parent] example of a projective module which is not free (Example)

Let $R_1$ and $R_2$ be two nontrivial, unital rings and let $R=R_1\oplus R_2$ . Furthermore let $\pi_i:R\to R_i$ be a projection for $i=1,2$ . Note that in this case both $R_1$ and $R_2$ are (left) modules over $R$ via $$\cdot:R\times R_i\to R_i;$$ $$(r,s)\cdot x = \pi_i(r,s)x,$$ where on the right side we have the multiplication in a ring $R_i$ .

Proposition. Both $R_1$ and $R_2$ are projective $R$ -modules, but neither $R_1$ nor $R_2$ is free.

Proof. Obviously $R_1\oplus R_2$ is isomorphic (as a $R$ -modules) with $R$ thus both $R_1$ and $R_2$ are projective as a direct summands of a free module.

Assume now that $R_1$ is free, i.e. there exists $\mathcal{B}=\{e_i\}_{i\in I}\subseteq R_1$ which is a basis. Take any $i_0\in I$ . Both $R_1$ and $R_2$ are nontrivial and thus $1\neq 0$ in both $R_1$ and $R_2$ . Therefore $(1,0)\neq (1,1)$ in $R$ , but $$(1,1)\cdot e_{i_0}=\pi_1(1,1)e_{i_0}=1 e_{i_0}=\pi_1(1,0) e_{i_0}=(1,0)\cdot e_{i_0}.$$ This situation is impossible in free modules (linear combination is uniquely determined by scalars). Contradiction. Analogously we prove that $R_2$ is not free. $\square$




"example of a projective module which is not free" is owned by joking.
(view preamble | get metadata)

View style:


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: contradiction, scalars, linear combination, basis, free module, direct summands, isomorphic, proposition, ring, multiplication, side, right, modules, projection, unital rings

This is version 3 of example of a projective module which is not free, born on 2009-02-19, modified 2009-02-19.
Object id is 11636, canonical name is ExampleOfAProjectiveModuleWhichIsNotFree.
Accessed 397 times total.

Classification:
AMS MSC16D40 (Associative rings and algebras :: Modules, bimodules and ideals :: Free, projective, and flat modules and ideals)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)