nLab
flat module

Contents

Definition

In terms of exact functors

Definition

Given a ring (or k-algebra) A, a left A-module, say M, is flat if tensoring with M over A as a functor from left A-modules to left k-modules is an exact functor (sends short exact sequences to short exact sequences).

Remarks

In terms of identities

There is a characterisation of flatness that says that a left A-module M is flat if and only if “everything (that happens in M) happens for a reason (in A)”.

The meaning of this is akin to the existence of bases in vector spaces. In a vector space, say V, if we have an identity of the form iα iv i=0 then we cannot necessarily assume that the α i are all zero. However, if we choose a basis then we can write each v i in terms of the basis elements, say v i= jβ iju j, and substitute in to get ijα iβ iju j=0. Now as {u j} forms a basis, we can deduce from this that for each j, iα iβ ij=0. These last identities happen in the coefficient field, which is standing in place of A in the analogy.

When translating this into the language of modules we cannot use bases so we have to be a little more relaxed. The following statement is the right one.

Suppose there is some identity in M of the form ia im i=0 with m iM and a iA. Then there is a family {n j} in M such that every m i can be written in the form m i= jb ijn j and the coefficients b ij have the property that ia ib ij=0.

The module M being flat is equivalent to being able always to do this.

There is an alternative way to phrase this which is less element-centric. The elements m i correspond to a morphism into M from a free module, say m:FM. The a i correspond to a morphism a:FF, multiplying the ith term by a i. That we have the identity ia im i=0 says that the composition ma is zero, or that m:FM factors through the coequaliser of a and 0. Now we consider the elements n j. These define another morphism from a free module, say n:EM. That the m i can be expressed in terms of the n j says that the morphism m factors through n. That is, there is a morphism b:FM such that m=nb. We therefore have to factorisations of m: one through n and one through cokera. The question is as to whether these have any relation to each other. In particular, does cokeraM factor through n? We can represent all of this in the following diagram.

Layer 1 F F F F M M coker a \coker a E E a a b b n n m m

Saying that M is flat says that this lift always occurs.

Taking this a step further, we consider the filtered family of all finite subsets of M. This generates a filtered family of finitely generated free modules with compatible morphisms to M. So there is a morphism from the colimit of this family to M. This morphism is surjective by construction. To show that it is injective, we need to show that any element in one of the terms in the family that dies by the time it reaches M has actually died on the way. This is precisely what the above characterisation of flatness is saying: the element corresponding to ia im i that dies in M is already dead by the time it reaches E.

Hence a module is flat if and only if it is a filtered colimit of free modules.

This observation (Wraith, Blass) can be put into the more general context of modelling geometric theories by geometric morphisms from their classifying toposes, or equivalently, certain flat functors from sites for such topoi.