Zum Inhalt springen

Einbettungssatz von Mitchell

aus Wikipedia, der freien Enzyklopädie

Der Einbettungssatz von Mitchell ist ein mathematisches Resultat über abelsche Kategorien. Es sagt aus, dass diese zunächst sehr abstrakt definierten Kategorien sich durchaus als konkrete Kategorien von Moduln auffassen lassen. Als Folge hiervon darf etwa das Beweisverfahren durch elementweise Diagrammjagd in beliebigen abelschen Kategorien verwendet werden. Der Satz ist nach Barry Mitchell benannt.

Aussage des Satzes

Die genaue Aussage lautet: Sei <math>\mathbf A</math> eine kleine abelsche Kategorie. Dann gibt es einen Ring <math>R</math> und einen voll treuen und exakten Funktor <math>F\colon\mathbf A\to R\mbox{-}Mod</math> von <math>\mathbf A</math> in die Kategorie <math>R\mbox{-}Mod</math> der Links-Moduln über <math>R</math>.

Der Funktor <math>F</math> induziert eine Äquivalenz zwischen <math>\mathbf A</math> und einer Unterkategorie von <math>R\mbox{-}Mod</math>. In <math>\mathbf A</math> berechnete Kerne und Kokerne entsprechen über diese Äquivalenz den gewöhnlichen Kernen und Kokernen in <math>R\mbox{-}Mod</math>.

Beweisidee

Die Beweisidee orientiert sich am Yoneda-Lemma. Angenommen <math>\mathbf A</math> läge bereits in <math>R\mbox{-}Mod</math>. Dann liefert jedes Objekt <math>X</math> einen linksexakten Funktor <math>\mathrm{Hom}_\mathbf A(X,-):\mathbf A\to\mathbf {Ab}</math>. Die Zuordnung <math>X\to \mathrm{Hom}_\mathbf A(X,-)</math> liefert dann eine Dualität zwischen <math>R\mbox{-}Mod</math> und der Kategorie der linksexakten Funktoren von <math>\mathbf A</math> nach <math>\mathbf {Ab}</math>. Um <math>R</math> aus <math>\mathbf A</math> zurückzugewinnen, geht man daher wie folgt vor: In der Kategorie <math>{\mathbf D}</math> der linksexakten Funktoren von <math>\mathbf A</math> nach <math>\mathbf {Ab}</math> konstruiert man einen gewissen injektiven Kogenerator <math>H</math>, dessen Endomorphismenring man als <math>R</math> wählt. Indem man für <math>X</math> in <math>\mathbf A</math> jeweils <math>F(X)=\mathrm{Hom}_{\mathbf D}(\mathrm{Hom}_\mathbf A(X,-),H)</math> setzt, erhält man dann einen Funktor <math>F</math> mit den gewünschten Eigenschaften.

Anwendung auf große Kategorien

Unmittelbar scheint der Einbettungssatz von Mitchell das Verfahren der Diagrammjagd nur für alle kleinen abelschen Kategorien zu rechtfertigen. Ist jedoch ein Diagramm zu einer beliebigen abelschen Kategorie <math>\mathbf A</math> gegeben, so betrachte man die kleinste abelsche volle Unterkategorie <math>{\mathbf B}</math> von <math>\mathbf A</math>, die alle im Diagramm auftretenden Objekte enthält. Dies ist eine kleine abelsche Kategorie. Anschaulich formuliert nimmt man die Menge(!) der im Diagramm verwendeten Objekte als Objekte von <math>\mathbf A</math> und fügt dann wiederholt noch fehlende Kerne und Kokerne von Morphismen sowie Biprodukte von Objekten hinzu.

Literatur

          | )
          | {{#if:{{#ifeq:en|de||{{#if:en|1}}}}| ; 
              | )}}}}}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}}}{{#if:http://planetmath.org/encyclopedia/MitchellsEmbeddingTheorem.html%7C{{#if:{{#invoke:URLutil%7CisResourceURL%7C1=http://planetmath.org/encyclopedia/MitchellsEmbeddingTheorem.html}}%7C%7C}}}}{{#if:Mitchell’s embedding theorem|{{#if:{{#invoke:WLink|isValidLinktext|1=Mitchell’s embedding theorem|lines=0}}||}}}}{{#if: PlanetMath| In: {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=PlanetMath}}}}{{#if: | {{{hrsg}}}{{#if: |,|{{#if: 2010-10-10 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: | {{#if:{{#invoke:DateTime|format|{{{datum}}}|noerror=1}}
            |{{#invoke:DateTime|format|{{{datum}}}|T._Monat JJJJ}}
            |{{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, datum={{{datum}}}|class=Zitationswartung}} }}{{#if: |,|{{#if: 2010-10-10 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: | S. {{{seiten}}}{{#if: |,|{{#if: 2010-10-10 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: {{#invoke:TemplUtl|faculty|}}| {{#if:|{{#if:|archiviert|ehemals}}|{{#if:|Archiviert|Ehemals}}}} {{#if:|vom|im}} Vorlage:Referrer{{#if:{{#invoke:TemplUtl|faculty|}}| (nicht mehr online verfügbar)}}{{#if: | am {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}|{{{archiv-datum}}}{{#if:918575||(?)}}}}}}{{#if: 2010-10-10|;}}}}{{#if: 2010-10-10| {{#if:{{#invoke:TemplUtl|faculty|}}|abgerufen|Abgerufen}} {{#switch: {{#invoke:Str|len| {{#invoke:DateTime|format| 2010-10-10 |ISO|noerror=1}} }}
       |4=im Jahr
       |7=im
       |10=am
       |#default={{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, abruf=2010-10-10|class=Zitationswartung}} }} {{#invoke:DateTime|format|2010-10-10|T._Monat JJJJ}}
    | {{#invoke:TemplUtl|failure|1=Vorlage:Internetquelle | abruf=2026-MM-TT ist Pflichtparameter}} }}{{#if:{{#ifeq:en|de||{{#if:en|1}}}}|{{#if:PlanetMath{{#if: 2010-10-10 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}
       |  (
       | {{#if: | |  (}}
       }}{{#ifeq:{{#if:en|en|de}}|de||
          {{#invoke:Multilingual|format|en|slang=!|split=[%s,]+|shift=m|separator=, }}}}{{#if: |{{#ifeq:{{#if:en|en|de}}|de||, }}{{{kommentar}}}}})}}{{#if: {{#if: 2010-10-10 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}} }}en|{{#if: |: {{
 #if: 
 | „{{
     #ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
     | Vorlage:Str trim
     | {{#invoke:Vorlage:lang|flat}}
     }}“
 | {{#ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
     | „Vorlage:Str trim“
     | {{#invoke:Text|quote
         |1={{#if: 
              | {{#invoke:Vorlage:lang|flat}}
              | {{#invoke:Vorlage:lang|flat}} }}
         |2={{#if: {{#invoke:TemplUtl|faculty|}}|de-CH|de}}
         |3=1}} }}

}}{{#if: 

   |  (<templatestyles src="Person/styles.css" />{{#if:  | :  }}{{#if:  | , deutsch: „“ }})
   | {{#if: 
       |  ({{#if:  | , deutsch: „“ }})
       | {{#if:  |  (deutsch: „“) }}
 }}

}}{{#if: {{{zitat}}} 

   | {{#if: 
       | {{#if: {{{zitat}}}
           | Vorlage:": Text= und 1= gleichzeitig, bzw. Pipe zu viel }} }}
   | Vorlage:": Text= fehlt }}{{#if:  | {{#if: {{#invoke:Text|unstrip|{{{ref}}}}}
             | Vorlage:": Ungültiger Wert: ref=
             | {{{ref}}} }}

}}|.{{#if:{{#invoke:TemplUtl|faculty|}}|{{#if:||{{#ifeq: | JaKeinHinweis |{{#switch: 

   |0|=Vorlage:Toter Link/Core{{#if: http://planetmath.org/encyclopedia/MitchellsEmbeddingTheorem.html
       | {{#if:  | [1] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive (T)){{#if: 
           | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }}
         }}
       |   (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.)
     }}{{#switch: 
         |no|0|=
         |#default={{#if:  ||  }}
    }}{{#invoke:TemplatePar|check
         |opt      = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
    }}{{#if: http://planetmath.org/encyclopedia/MitchellsEmbeddingTheorem.html
      | {{#if:{{#invoke:URLutil|isWebURL|http://planetmath.org/encyclopedia/MitchellsEmbeddingTheorem.html}}
          || {{#if:  ||  }} 
        }}
      | {{#if: 
           | {{#if:  ||  }}
           | {{#if:  ||  }}
        }}
    }}{{#if: 
       | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
         }}
    }}{{#switch: deadurl
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=http://planetmath.org/encyclopedia/MitchellsEmbeddingTheorem.html Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. (T).)  {{#if: 
            | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }}
         }}Vorlage:Toter Link/Core{{#switch: 
          |no|0|=
          |#default= {{#if:  ||  }}
        }}{{#invoke:TemplatePar|check
         |all      = inline= url=
         |opt      = datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
       }}{{#if: http://planetmath.org/encyclopedia/MitchellsEmbeddingTheorem.html
       | {{#if:{{#invoke:URLutil|isWebURL|http://planetmath.org/encyclopedia/MitchellsEmbeddingTheorem.html}}
          || {{#if:  ||  }} 
        }}
    }}{{#if: 
         | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
           }}
    }}{{#switch: deadurl
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}[http://planetmath.org/encyclopedia/MitchellsEmbeddingTheorem.html }}|{{#switch: 
   |0|=Vorlage:Toter Link/Core{{#if: http://planetmath.org/encyclopedia/MitchellsEmbeddingTheorem.html
       | {{#if:  | [2] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive (T)){{#if: 
           | {{#if:  | | Vorlage:Toter Link/archivebot }}
         }}
       |   (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.)
     }}{{#switch: 
         |no|0|=
         |#default={{#if:  ||  }}
    }}{{#invoke:TemplatePar|check
         |opt      = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
    }}{{#if: http://planetmath.org/encyclopedia/MitchellsEmbeddingTheorem.html
      | {{#if:{{#invoke:URLutil|isWebURL|http://planetmath.org/encyclopedia/MitchellsEmbeddingTheorem.html}}
          || {{#if:  ||  }} 
        }}
      | {{#if: 
           | {{#if:  ||  }}
           | {{#if:  ||  }}
        }}
    }}{{#if: 
       | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
         }}
    }}{{#switch: 
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=http://planetmath.org/encyclopedia/MitchellsEmbeddingTheorem.html Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. (T).)  {{#if: 
            | {{#if:  | | Vorlage:Toter Link/archivebot }}
         }}Vorlage:Toter Link/Core{{#switch: 
          |no|0|=
          |#default= {{#if:  ||  }}
        }}{{#invoke:TemplatePar|check
         |all      = inline= url=
         |opt      = datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
       }}{{#if: http://planetmath.org/encyclopedia/MitchellsEmbeddingTheorem.html
       | {{#if:{{#invoke:URLutil|isWebURL|http://planetmath.org/encyclopedia/MitchellsEmbeddingTheorem.html}}
          || {{#if:  ||  }} 
        }}
    }}{{#if: 
         | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
           }}
    }}{{#switch: 
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}[http://planetmath.org/encyclopedia/MitchellsEmbeddingTheorem.html }} }}}}}}}}}}{{#if:|
        {{#invoke:Vorlage:Internetquelle|archivBot|stamp={{{archiv-bot}}}|text={{#if:|Vorlage:Webarchiv/archiv-bot}}

}}}}{{#invoke:TemplatePar|check |all= url= titel= |opt= autor= hrsg= format= sprache= titelerg= werk= seiten= datum= abruf= zugriff= abruf-verborgen= archiv-url= archiv-datum= archiv-bot= kommentar= zitat= AT= CH= offline= |cat= {{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Internetquelle}} |template= Vorlage:Internetquelle |format=0 |preview=1 }}

  • {{#invoke:Vorlage:Literatur|f}}

Vorlage:Navigationsleiste Kategorientheorie

Abgerufen von „https://wiki-de.moshellshocker.dns64.de/index.php?title=Einbettungssatz_von_Mitchell&oldid=918575“