<?xml version="1.0" encoding="UTF-8"?>

<record version="2" id="1369">
 <title>flat module</title>
 <name>FlatModule</name>
 <created>2002-01-05 16:06:05</created>
 <modified>2003-09-14 14:58:31</modified>
 <type>Definition</type>
 <creator id="11" name="antizeus"/>
 <author id="11" name="antizeus"/>
 <classification>
	<category scheme="msc" code="16D40"/>
 </classification>
 <synonyms>
	<synonym concept="flat module" alias="flat"/>
 </synonyms>
 <preamble>\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{graphicx}
\usepackage{xypic}</preamble>
 <content>A right module $M$ over a ring $R$ is {\it flat}
if the tensor product functor $M \otimes_R (-)$ 
is an exact functor.

Similarly, a left module $N$ over $R$ is {\it flat}
if the tensor product functor $(-) \otimes_R N$ 
is an exact functor.</content>
</record>
