Flachheit (Algebra)

Flachheit von Moduln ist eine Verallgemeinerung des Begriffs „freier Modul“.

Dieser Artikel beschäftigt sich mit kommutativer Algebra. Insbesondere sind alle betrachteten Ringe kommutativ und haben ein Einselement. Für weitere Details siehe Kommutative Algebra.

Definition

Ein Modul <math>M</math> über einem Ring <math>A</math> heißt flach, wenn der Funktor

<math>N\mapsto M\otimes_A N</math>

exakt ist. (Siehe Tensorprodukt von Moduln.)

Äquivalente Charakterisierungen sind:<ref>Hideyuki Matsumura, Commutative ring theory. Cambridge University Press, Cambridge 1989, Theorem 7.7 und Theorem 7.8, S. 51f.</ref>

<math>\operatorname{Tor}_1(N,M) = 0</math> für alle <math>A</math>-Moduln <math>N</math>. (Siehe Tor (Mathematik).)
Für jedes Ideal <math>I</math> von <math>A</math> ist <math>I\otimes_A M\to IM</math> injektiv.
<math>\operatorname{Tor}_1(A/I,M) = 0</math> für alle Ideale <math>I</math> von <math>A</math>.

Eigenschaften

Datei:Moduleigenschaften kommutative Algebra.svg

Alle projektiven und damit alle freien Moduln sind flach.
Umgekehrt ist jeder endlich präsentierte flache Modul projektiv.<ref>David Eisenbud, Commutative algebra with a view toward algebraic geometry. Springer-Verlag, New York 1995, Corollary 6.6, S. 166; Hideyuki Matsumura, Commutative ring theory. Cambridge University Press, Cambridge 1989, Corollary 7.12, S. 53</ref><ref group="Anm">Gemäß dem Artikel über Daniel Lazard folgt diese Tatsache aus einem Kriterium für Flachheit, dass Daniel Lazard in seiner Dissertation Autour de la platitude gegeben hat: Ein Modul ist genau dann flach, wenn er direkter Limes endlich erzeugter freier Moduln ist. Siehe: Lazard Autour de la platitude, Bulletin de la Société Mathématique de France, Band 97, 1969, S. 81–128, <templatestyles src="Webarchiv/styles.css" />{{#if:20140806035225

      | {{#ifeq: 20140806035225 | *
    | Vorlage:Webarchiv/Wartung/Stern{{#if: numdam | {{#invoke:WLink|getEscapedTitle|numdam}} | {{#invoke:Webarchiv|getdomain|http://www.numdam.org/numdam-bin/fitem?id=BSMF_1969__97__81_0}} }} (Archivversionen)
    | {{#iferror: {{#time: j. F Y|20140806035225}}
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/DatumDer Wert des Parameters {{#if: wayback | wayback | Datum }} muss ein gültiger Zeitstempel der Form YYYYMMDDHHMMSS sein!
         | {{#if: numdam | {{#invoke:WLink|getEscapedTitle|numdam}} | {{#invoke:Webarchiv|getdomain|http://www.numdam.org/numdam-bin/fitem?id=BSMF_1969__97__81_0}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y|20140806035225}} im Internet Archive{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
      }}
  }}
      | {{#if:
          | {{#iferror: {{#time: j. F Y|{{{webciteID}}}}}
    | {{#switch: {{#invoke:Str|len|{{{webciteID}}}}}
       | 16= {{#if: numdam | {{#invoke:WLink|getEscapedTitle|numdam}} | {{#invoke:Webarchiv|getdomain|http://www.numdam.org/numdam-bin/fitem?id=BSMF_1969__97__81_0}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{{webciteID}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | 9 = {{#if: numdam | {{#invoke:WLink|getEscapedTitle|numdam}} | {{#invoke:Webarchiv|getdomain|http://www.numdam.org/numdam-bin/fitem?id=BSMF_1969__97__81_0}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{#invoke:Expr|base62|{{{webciteID}}}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | #default= Der Wert des Parameters {{#if: webciteID | webciteID | ID }} muss entweder ein Zeitstempel der Form YYYYMMDDHHMMSS oder ein Schüsselwert mit 9 Zeichen oder eine 16-stellige Zahl sein!Vorlage:Webarchiv/Wartung/webcitation{{#if:  || }}
      }}
    | c|{{{webciteID}}}}} {{#if: numdam | {{#invoke:WLink|getEscapedTitle|numdam}} | {{#invoke:Webarchiv|getdomain|http://www.numdam.org/numdam-bin/fitem?id=BSMF_1969__97__81_0}} }} (Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y|{{{webciteID}}}}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
  }}
          | {{#if: 
              | Vorlage:Webarchiv/Today
              | {{#if:
                      | Vorlage:Webarchiv/Generisch
                      | {{#if: numdam | {{#invoke:WLink|getEscapedTitle|numdam}} | {{#invoke:Webarchiv|getdomain|http://www.numdam.org/numdam-bin/fitem?id=BSMF_1969__97__81_0}} }}  
                 }}}}}}}}{{#if:
    | Vorlage:Webarchiv/archiv-bot
  }}{{#invoke:TemplatePar|check
     |all      = url=
     |opt      = text= wayback= webciteID= archive-is= archive-today= archiv-url= archiv-datum= ()= archiv-bot= format= original=
     |cat      = Wikipedia:Vorlagenfehler/Vorlage:Webarchiv
     |errNS    = 0
     |template = Vorlage:Webarchiv
     |format   = *
     |preview  = 1
  }}{{#ifexpr: {{#if:20140806035225|1|0}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}} <> 1
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Genau einer der Parameter 'wayback', 'webciteID', 'archive-today', 'archive-is' oder 'archiv-url' muss angegeben werden.|1}}
  }}{{#if: 
    | {{#switch: {{#invoke:Webarchiv|getdomain|{{{archiv-url}}}}}
        | web.archive.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von Internet Archive erkannt, bitte Parameter 'wayback' benutzen.|1}} 
        | webcitation.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von WebCite erkannt, bitte Parameter 'webciteID' benutzen.|1}} 
        | archive.today |archive.is |archive.ph |archive.fo |archive.li |archive.md |archive.vn = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von archive.today erkannt, bitte Parameter 'archive-today' benutzen.|1}}
      }}{{#if: 
         | {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|Vorlage:FormatDate/Wartung/Error}}
             | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Wert des Parameter 'archiv-datum' ist ungültig oder hat ein ungültiges Format.|1}}
          |  }} 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Pflichtparameter 'archiv-datum' wurde nicht angegeben.|1}}
      }}
    | {{#if: 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Parameter 'archiv-datum' ist nur in Verbindung mit 'archiv-url' angebbar.|1}}
      }}
  }}{{#if:{{#invoke:URLutil|isHostPathResource|http://www.numdam.org/numdam-bin/fitem?id=BSMF_1969__97__81_0}}
    || {{#if:  || }} URL/Pfad ungültig.
  }}{{#if: numdam
    | {{#if: {{#invoke:WLink|isBracketedLink|numdam}}
        | {{#if:  || }} Linktext ungültig.
      }}
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Linktext_fehlt Linktext fehlt.
  }}{{#switch: 
    |addlarchives|addlpages= {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/Parameter}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: enWP-Wert im Parameter 'format'.|1}}
  }}{{#ifeq: {{#invoke:Str|find|http://www.numdam.org/numdam-bin/fitem?id=BSMF_1969__97__81_0%7Carchiv}} |-1
    || {{#ifeq: {{#invoke:Str|find|{{#invoke:Str|cropleft|http://www.numdam.org/numdam-bin/fitem?id=BSMF_1969__97__81_0%7C4}}%7Chttp}} |-1
         || {{#switch: {{#invoke:Webarchiv|getdomain|http://www.numdam.org/numdam-bin/fitem?id=BSMF_1969__97__81_0 }}
              | abendblatt.de | daserste.ndr.de | inarchive.com | webcitation.org = 
              | #default = {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/URL}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Archiv-URL im Parameter 'url' anstatt URL der Originalquelle. Entferne den vor der Original-URL stehenden Mementobestandteil und setze den Archivierungszeitstempel in den Parameter 'wayback', 'webciteID', 'archive.today' oder 'archive-is' ein, sofern nicht bereits befüllt.|1}}
            }} 
       }}
  }}. Lazard veröffentlichte dieses Kriterium bereits fünf Jahre zuvor in seinem Artikel Sur les modules plats, C. R. Acad. Sci. Paris 258, 6313–6316 (1964)</ref>

Flache Moduln sind torsionsfrei.<ref>David Eisenbud, Commutative algebra with a view toward algebraic geometry. Springer-Verlag, New York 1995, Corollary 6.3, S. 164</ref>
Über Dedekindringen (insbesondere also über Hauptidealringen) stimmen die Begriffe „flach“ und „torsionsfrei“ sogar überein.<ref>Qing Liu, Algebraic Geometry and Arithmetic Curves. Oxford University Press, Oxford 2006, Corollary 1.2.14, S. 11</ref>
Es sei

eine exakte Sequenz. Dann ist die Sequenz

<math>0\to M\otimes N'\to M\otimes N\to M\otimes N\to0</math>

exakt, falls <math>M</math> oder <math>N</math> flach ist.<ref>Qing Liu, Algebraic Geometry and Arithmetic Curves. Oxford University Press, Oxford 2006, Proposition 2.6, S. 9</ref> Dies entspricht der Symmetrie des Funktors Tor.

Sind <math>M</math> und <math>N</math> flache <math>A</math>-Moduln, so auch <math> M\otimes_A N </math>.
Im Ring der dualen Zahlen ist flach äquivalent zu frei.
Sei <math> M=\bigoplus_{i\in I}M_i </math>. Dann ist <math>M</math> genau dann flach, wenn <math>M_i</math> für alle <math>i\in I</math> flach ist.

Beispiele

<math> \mathbb{Q} </math> ist ein flacher, aber nicht projektiver <math> \mathbb{Z} </math>-Modul.
Für jeden Ring <math>A</math> ist der <math>A</math>-Modul <math>A</math> flach.
Sei <math>A</math> ein kommutativer Ring mit Einselement und <math> S\subseteq A </math> eine multiplikativ abgeschlossene Menge, dann ist die Lokalisierung <math>S^{-1}A</math> ein flacher <math>A</math>-Modul.

Damit ist insbesondere <math> k(t_1,\ldots,t_n) </math> ein flacher <math> k[t_1,\ldots,t_n] </math>-Modul.

<math> A[X] </math> ist eine flache <math>A</math>-Algebra.

Anmerkungen

Literatur

David Eisenbud, Commutative algebra with a view toward algebraic geometry. Springer-Verlag, New York 1995, ISBN 0-387-94269-6.
Hideyuki Matsumura, Commutative ring theory. Cambridge University Press, Cambridge 1989, ISBN 0-521-36764-6.
Qing Liu, Algebraic Geometry and Arithmetic Curves. Oxford University Press, Oxford 2006, ISBN 0-19-920249-4.

Einzelnachweise