# nLab locally free module

### Context

#### Algebra

higher algebra

universal algebra

# Contents

## Idea

Under the interpretation of modules as generalized vector bundles a module being locally free corresponds to the corresponding bundle being locally trivial bundle, hence a fiber bundle.

Since a trivial bundle corresponds to a free module, a locally free module is such that its localization to any maximal ideal is a free module.

## Definition

###### Definition

An $R$-module $N$ over a Noetherian ring $R$ is called a locally free module if there is a cover by ideals $I↪R$ such that the localization ${N}_{I}$ is a free module over the localization ${R}_{I}$.

###### Definition

For $R$ a commutative ring, an $R$-module $N$ is called a stalkwise free module if for every maximal ideal $I↪R$ the localization ${N}_{I}$ is a free module over the localization ${R}_{I}$.

## Properties

###### Proposition

Let $R$ be a ring and $N\in R$Mod.

The following are equivalent

1. $N$ is finitely generated and projective,

2. $N$ is locally free, def. 1 and locally finitely generated.

For instance (Clark, theorem 7.20).

###### Proposition

For $R$ a Noetherian ring and $N$ a finitely generated module over $R$, $N$ is a locally free module precisely if it is a flat module.

## References

• Pete Clark, Commutative algebra (pdf)
• Michel Raynaud, Laurent Gruson, Critères de platitude et de projectivité, Techniques de “platification” d’un module. Invent. Math. 13 (1971), 1–89.

Revised on October 8, 2012 18:47:36 by Urs Schreiber (82.169.65.155)