Mitchell's embedding theorem

Mitchell's embedding theorem, also known as the Freyd–Mitchell theorem or the full embedding theorem, is a result about abelian categories; it essentially states that these categories, while rather abstractly defined, are in fact concrete categories of modules. This allows one to use element-wise diagram chasing proofs in these categories. The theorem is named after Barry Mitchell and Peter Freyd.

Details

The precise statement is as follows: if A is a small abelian category, then there exists a ring R (with 1, not necessarily commutative) and a full, faithful and exact functor F: A → R-Mod (where the latter denotes the category of all left R-modules).

The functor F yields an equivalence between A and a full subcategory of R-Mod in such a way that kernels and cokernels computed in A correspond to the ordinary kernels and cokernels computed in R-Mod. Such an equivalence is necessarily additive. The theorem thus essentially says that the objects of A can be thought of as R-modules, and the morphisms as R-linear maps, with kernels, cokernels, exact sequences and sums of morphisms being determined as in the case of modules. However, projective and injective objects in A do not necessarily correspond to projective and injective R-modules.

Sketch of the proof

Let ${\mathcal {L}}\subset \operatorname {Fun} ({\mathcal {A}},Ab)$ be the category of left exact functors from the abelian category ${\mathcal {A}}$ to the category of abelian groups $Ab$ . First we construct a contravariant embedding $H:{\mathcal {A}}\to {\mathcal {L}}$ by $H(A)=h^{A}$ for all $A\in {\mathcal {A}}$ , where $h^{A}$ is the covariant hom-functor, $h^{A}(X)=\operatorname {Hom} _{\mathcal {A}}(A,X)$ . The Yoneda Lemma states that $H$ is fully faithful and we also get the left exactness of $H$ very easily because $h^{A}$ is already left exact. The proof of the right exactness of $H$ is harder and can be read in Swan, Lecture Notes in Mathematics 76.

After that we prove that ${\mathcal {L}}$ is an abelian category by using localization theory (also Swan). This is the hard part of the proof.

It is easy to check that the abelian category ${\mathcal {L}}$ is an AB5 category with a generator $\bigoplus _{A\in {\mathcal {A}}}h^{A}$ . In other words it is a Grothendieck category and therefore has an injective cogenerator $I$ .

The endomorphism ring $R:=\operatorname {Hom} _{\mathcal {L}}(I,I)$ is the ring we need for the category of R-modules.

By $G(B)=\operatorname {Hom} _{\mathcal {L}}(B,I)$ we get another contravariant, exact and fully faithful embedding $G:{\mathcal {L}}\to R\operatorname {-Mod} .$ The composition $GH:{\mathcal {A}}\to R\operatorname {-Mod}$ is the desired covariant exact and fully faithful embedding.

Note that the proof of the Gabriel–Quillen embedding theorem for exact categories is almost identical.

References

R. G. Swan (1968). Algebraic K-theory, Lecture Notes in Mathematics 76. Springer. doi:10.1007/BFb0080281. ISBN 978-3-540-04245-7.
Peter Freyd (1964). Abelian Categories: An Introduction to the Theory of Functors. Harper and Row. reprinted with a forward as "Abelian Categories". Reprints in Theory and Applications of Categories. 3: 23–164. 2003.
Mitchell, Barry (July 1964). "The Full Imbedding Theorem". American Journal of Mathematics. 86 (3). The Johns Hopkins University Press: 619–637. doi:10.2307/2373027. JSTOR 2373027.
Charles A. Weibel (1993). An introduction to homological algebra. Cambridge Studies in Advanced Mathematics. doi:10.1017/CBO9781139644136. ISBN 9781139644136.

Read other articles:

perusahaan

artikel ini perlu dirapikan agar memenuhi standar Wikipedia. Tidak ada alasan yang diberikan. Silakan kembangkan artikel ini semampu Anda. Merapikan artikel dapat dilakukan dengan wikifikasi atau membagi artikel ke paragraf-paragraf. Jika sudah dirapikan, silakan hapus templat ini. (Pelajari cara dan kapan saatnya untuk menghapus pesan templat ini) PFN Di Jakarta,Indonesia Perusahaan adalah tempat terjadinya kegiatan produksi dan berkumpulnya semua faktor produksi barang dan jasa. Ada perusah...

Sochi

City in Krasnodar Krai, Russia This article is about the city in Russia. For other uses, see Sochi (disambiguation). City in Krasnodar Krai, RussiaSochi СочиCity[1] From top: Port of Sochi, Sochi Park, Winter Theatre, Sochi Olympic Park, Adler Railway StationBird's-eye view of Sochi FlagCoat of armsLocation of Sochi SochiLocation of SochiShow map of Krasnodar KraiSochiSochi (Russia)Show map of RussiaSochiSochi (Europe)Show map of EuropeCoordinates: 43°35′07″N 39°43′13″E&...

Bernard Fellay

Swiss bishop (born 1958) The Most ReverendBernard FellaySSPXSuperior General Emeritus of the Society of St. Pius XFellay, circa 2008ElectedJuly 1994Term ended11 July 2018PredecessorFranz SchmidbergerSuccessorDavide PagliaraniOrdersOrdination29 June 1982by Marcel LefebvreConsecration30 June 1988by Marcel LefebvrePersonal detailsBorn (1958-04-12) 12 April 1958 (age 65)Sierre, SwitzerlandNationalitySwissDenominationCatholic ChurchAlma materThe International Seminary of Saint Pius ...

Études de pharmacie en France

Études de pharmacie en France Certification du Ministère de l'Enseignement Supérieur garantissant son contrôle et l'authenticité du diplôme. Lieu France Établissement Université Direction Ministère de l'Enseignement Supérieur et de la santé, Sélection Diplômes ou concours requis Inscription de droit puis concours en fin de parcours accès santé spécifique (PASS) et la licence option accès santé (LAS). Niveau ougrade requis niveau 4 CEC Diplôme Durée de la formation 6 ans �...

AT&T

Halaman ini berisi artikel tentang the company known as AT&T since 2005. Untuk the original AT&T (American Telephone and Telegraph) founded in 1885, lihat AT&T Corporation. Untuk the telephone company founded in 1882, lihat Southwestern Bell. Untuk kegunaan lain, lihat AT&T (disambiguation). Artikel atau sebagian dari artikel ini mungkin diterjemahkan dari AT&T di en.wikipedia.org. Isinya masih belum akurat, karena bagian yang diterjemahkan masih perlu diperhalus dan disem...

Club Deportivo Guaraní Antonio Franco

Guaraní Antonio Franco Datos generalesNombre Club Deportivo Guaraní Antonio FrancoApodo(s) La FranjaFundación 12 de junio de 1932 (91 años)Presidente Patricio VedoyaEntrenador Manuel DuttoInstalacionesEstadio Clemente Fernández de OliveiraCapacidad 12.000Inauguración 15 de agosto de 1963Uniforme Titular Alternativo Última temporadaLiga Torneo Regional Federal AmateurTítulos 36 (por última vez en Clausura 2023)Copa Copa ArgentinaRegional Liga Posadeña [editar datos en ...

Abandoned (2001 film)

2001 film by Arpád Sopsits AbandonedTorzókDirected byÁrpád SopsitsWritten byÁrpád SopsitsProduced byFerenc KardosLászló KántorStarringTamás MészárosSzabolcs CsizmadiaAttila ZsilákPéter MüllerCinematographyPéter SzatmáriEdited byBéla BarsiMusic byTamás GörgényiPeter PejtsikRelease date 1 February 2001 (2001-02-01) (Hungarian Film Week) Running time100 minutesCountryHungaryLanguageHungarian Abandoned (Hungarian: Torzók) is a 2001 Hungarian film written a...

Religion in Belarus

Overview of religion in Belarus Religion in Belarus (2020)[1] Eastern Orthodoxy (83.3%) Catholicism (including Roman Catholic and Belarusian Greek Catholic) (6.7%) Other Christian (1.0%) No religion (7.8%) Other religions (0.2%) Church of All Saints (Eastern Orthodox) in Minsk. Christianity is the main religion in Belarus, with Eastern Orthodoxy being the largest denomination. The legacy of the state atheism of the Soviet era is ...

Giorgio Tinazzi (calciatore)

Questa voce sull'argomento calciatori italiani è solo un abbozzo. Contribuisci a migliorarla secondo le convenzioni di Wikipedia. Segui i suggerimenti del progetto di riferimento. Giorgio Tinazzi Giorgio Tinazzi con la maglia del Palermo Nazionalità Italia Altezza 172 cm Peso 71 kg Calcio Ruolo Centrocampista Termine carriera 1970 CarrieraSquadre di club1 1954-1955 Inter1 (0)1955-1957 Alessandria46 (11)1957-1958 Inter12 (2)1958-1960 Verona65 (18)1960-1961...

Canoga Park, Los Angeles

It has been suggested that Owensmouth be merged into this article. (Discuss) Proposed since April 2024. Neighborhood of Los AngelesCanoga Park, Los AngelesNeighborhood of Los AngelesThe Platt Building, also known as The Victorian — a c. 1970s office building at 19725 Sherman Way, Canoga Park−WinnetkaCanoga Park, Los AngelesLocation within Los Angeles/San Fernando ValleyShow map of San Fernando ValleyCanoga Park, Los AngelesCanoga Park, Los Angeles (the Los Angeles metropolitan area)...

Departments of France

Administrative subdivision in France Departments of FranceDépartements (French)Also known as:Departamant gall (Breton) Dèpartament francês (Arpitan) Departament francés (Occitan) Frantziako departamendu (Basque) Departament francès (Catalan)LocationFranceFound inRegionsNumber101 (not including Metropolis of Lyon) (as of January 2021)Possible typesMetropolitan DepartmentsOverseas DepartmentsPopulationsLargest: Nord, Hauts-de-France—2,613,000 (2022 cens...

Giovannino de' Grassi

Italian artist Office Book - God the Father and Hermit Saints Giovannino de' Grassi (c.1350 - 6 July 1398) was an Italian architect, sculptor, painter and illuminator.[1][2] Life He was born in Milan, Italy, in the 14th century, although the year of his birth is uncertain. References ^ Jane Turner (editor), The Dictionary of Art. 13, p. 318. New York, Grove, 1996. ISBN 1-884446-00-0 ^ Colum Hourihane (6 December 2012). The Grove Encyclopedia of Medieval Art and Architectu...

Sweden Finns

Finnish-speaking national minority in Sweden Not to be confused with Swedish-speaking population of Finland who comprise a linguistic minority in Finland. Ethnic group Sweden Finnsruotsinsuomalaiset sverigefinnarFlag of the Sweden FinnsTotal populationestimated c. 426,000–712,000Regions with significant populationsStockholm46,927[1]Gothenburg20,372Eskilstuna12,072Västerås11,592Södertälje10,722Borås9,821Uppsala8,838Botkyrka Municipality8,408Huddinge Municipality7,729Haninge Muni...

Fornication

Name for pre-marital sexual intercourse Not to be confused with Formication. Paolo and Francesca, whom Dante's Inferno describes as damned for fornication (Jean-Auguste-Dominique Ingres, 1819) Sex and the law Social issues Consent Reproductive rights Homophobia (Criminalization · Capital punishment) LGBT rights (Conversion therapy · Decriminalization · Civil union · Same-sex marriage · Adoption · Intersex · Transgender) Age of consent Marriageable age Pedophile advocacy Deviant sexual ...

Pope Nicholas I

Head of the Catholic Church from 858 to 867 Pope SaintNicholas the GreatBishop of RomeChurchCatholic ChurchPapacy began24 April 858Papacy ended13 November 867PredecessorBenedict IIISuccessorAdrian IIPersonal detailsBornc. 800Rome, Papal StatesDied(867-11-13)13 November 867 (aged c. 67)Rome, Papal StatesSainthoodFeast day13 November (from 1883)6 December (until 1883)Venerated inCatholic ChurchOther popes named Nicholas Pope Nicholas I (Latin: Nicolaus I; c. 800 – 13 November 867), called Nic...

Frente de Libertação de Moçambique

Frente de Libertação de Moçambique (FRELIMO) Frente de Libertação de Moçambique Presidente Filipe Nyusi Primeiro-secretário Roque Silva Samuel Fundação 25 de junho de 1962 (62 anos) Sede Rua da Frente de Libertação de Moçambique nº 10, Bairro da Sommerschield, Maputo, Moçambique Ideologia Social-democraciaSocialismo democráticoHistoricamente:ComunismoMarxismo–LeninismoNacionalismo de esquerda Espectro político Centro-esquerda à esquerdaHistoricamente:Extrema...

Kima raksasa

Kima raksasa kima raksasa difoto di karang penghalang besar pada tahun 2002 Status konservasi Punah EXSingkatan dari Extinct (Punah) EWSingkatan dari Extinct in the Wild (Punah di Alam Liar)Terancam CRSingkatan dari Critical (Kritis) ENSingkatan dari Endangered (Genting) VUSingkatan dari Vulnerable (Rentan) NTSingkatan dari Not Threatened (Tidak terancam)Aman LCSingkatan dari Least-Concern (Aman) ICHEL Red Book: Vulnerable Kima raksasa diklasifikasikan sebagai bahasa rentan (VU) ...

KWAM

Talk radio station in Memphis, Tennessee, United States KWAMMemphis, TennesseeBroadcast areaMemphis metropolitan areaFrequency990 kHzBrandingThe Mighty 990ProgrammingLanguage(s)EnglishFormatConservative talkAffiliationsCompass Media NetworksPremiere NetworksSalem Radio NetworkTownhall NewsWestwood OneOwnershipOwnerTodd Starnes(Starnes Media Group, LLC)HistoryFirst air dateFebruary 9, 1947(77 years ago) (1947-02-09)Former call signsKWEM (1947–1959)Call sign meaningRhymes with wham&...

2010 Catalan regional election

Election to the Parliament of Catalonia 2010 Catalan regional election ← 2006 28 November 2010 2012 → All 135 seats in the Parliament of Catalonia68 seats needed for a majorityOpinion pollsRegistered5,363,688 0.8%Turnout3,152,630 (58.8%)2.8 pp First party Second party Third party Leader Artur Mas José Montilla Alicia Sánchez-Camacho Party CiU PSC–PSOE PP Leader since 7 January 2002 15 July 2006 6 July 2008 Leader's seat Barcelona Barcelon...

Supercoppa UEFA 2007

Voce principale: Supercoppa UEFA. Supercoppa UEFA 2007UEFA Super Cup 2007 Competizione Supercoppa UEFA Sport Calcio Edizione 32ª Organizzatore UEFA Date 31 agosto 2007 Luogo Monaco Partecipanti 2 Impianto/i stadio Louis II Risultati Vincitore Milan(5º titolo) Secondo Siviglia Statistiche Incontri disputati 1 Gol segnati 4 (4 per incontro) Cronologia della competizione 2006 2008 Manuale La Supercoppa UEFA 2007 è stata la trentaduesima edizione della Supercoppa UEFA. Si è svolta il 31...