CINXE.COM
About: Goursat's lemma
<!DOCTYPE html> <html prefix=" dbp: http://dbpedia.org/property/ dbo: http://dbedia.org/ontology/ dct: http://purl.org/dc/terms/ dbd: http://dbpedia.org/datatype/ og: https://ogp.me/ns# " > <!-- header --> <head> <meta charset="utf-8" /> <meta name="viewport" content="width=device-width, initial-scale=1" /> <title>About: Goursat's lemma</title> <!-- Links --> <link rel="alternate" type="application/rdf+xml" href="http://dbpedia.org/data/Goursat's_lemma.rdf" title="Structured Descriptor Document (RDF/XML format)" /> <link rel="alternate" type="text/n3" href="http://dbpedia.org/data/Goursat's_lemma.n3" title="Structured Descriptor Document (N3 format)" /> <link rel="alternate" type="text/turtle" href="http://dbpedia.org/data/Goursat's_lemma.ttl" title="Structured Descriptor Document (Turtle format)" /> <link rel="alternate" type="application/json+rdf" href="http://dbpedia.org/data/Goursat's_lemma.jrdf" title="Structured Descriptor Document (RDF/JSON format)" /> <link rel="alternate" type="application/json" href="http://dbpedia.org/data/Goursat's_lemma.json" title="Structured Descriptor Document (RDF/JSON format)" /> <link rel="alternate" type="application/atom+xml" href="http://dbpedia.org/data/Goursat's_lemma.atom" title="OData (Atom+Feed format)" /> <link rel="alternate" type="text/plain" href="http://dbpedia.org/data/Goursat's_lemma.ntriples" title="Structured Descriptor Document (N-Triples format)" /> <link rel="alternate" type="text/csv" href="http://dbpedia.org/sparql?default-graph-uri=http%3A%2F%2Fdbpedia.org&query=DESCRIBE%20%3Chttp%3A%2F%2Fdbpedia.org%2Fresource%2FGoursat%27s_lemma%3E&format=text%2Fcsv" title="Structured Descriptor Document (CSV format)" /> <link rel="alternate" type="application/microdata+json" href="http://dbpedia.org/sparql?default-graph-uri=http%3A%2F%2Fdbpedia.org&query=DESCRIBE%20%3Chttp%3A%2F%2Fdbpedia.org%2Fresource%2FGoursat%27s_lemma%3E&format=application%2Fmicrodata%2Bjson" title="Structured Descriptor Document (Microdata/JSON format)" /> <link rel="alternate" type="text/html" href="http://dbpedia.org/sparql?default-graph-uri=http%3A%2F%2Fdbpedia.org&query=DESCRIBE%20%3Chttp%3A%2F%2Fdbpedia.org%2Fresource%2FGoursat%27s_lemma%3E&format=text%2Fhtml" title="Structured Descriptor Document (Microdata/HTML format)" /> <link rel="alternate" type="application/ld+json" href="http://dbpedia.org/sparql?default-graph-uri=http%3A%2F%2Fdbpedia.org&query=DESCRIBE%20%3Chttp%3A%2F%2Fdbpedia.org%2Fresource%2FGoursat%27s_lemma%3E&format=application%2Fld%2Bjson" title="Structured Descriptor Document (JSON-LD format)" /> <link rel="alternate" type="text/x-html-script-ld+json" href="http://dbpedia.org/sparql?default-graph-uri=http%3A%2F%2Fdbpedia.org&query=DESCRIBE%20%3Chttp%3A%2F%2Fdbpedia.org%2Fresource%2FGoursat%27s_lemma%3E&format=text%2Fx-html-script-ld%2Bjson" title="Structured Descriptor Document (HTML with embedded JSON-LD)" /> <link rel="alternate" type="text/x-html-script-turtle" href="http://dbpedia.org/sparql?default-graph-uri=http%3A%2F%2Fdbpedia.org&query=DESCRIBE%20%3Chttp%3A%2F%2Fdbpedia.org%2Fresource%2FGoursat%27s_lemma%3E&format=text%2Fx-html-script-turtle" title="Structured Descriptor Document (HTML with embedded Turtle)" /> <link rel="timegate" type="text/html" href="http://dbpedia.mementodepot.org/timegate/http://dbpedia.org/page/Goursat's_lemma" title="Time Machine" /> <link rel="foaf:primarytopic" href="http://dbpedia.org/resource/Goursat's_lemma"/> <link rev="describedby" href="http://dbpedia.org/resource/Goursat's_lemma"/> <!-- /Links --> <!-- Stylesheets --> <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/bootstrap/5.2.1/css/bootstrap.min.css" integrity="sha512-siwe/oXMhSjGCwLn+scraPOWrJxHlUgMBMZXdPe2Tnk3I0x3ESCoLz7WZ5NTH6SZrywMY+PB1cjyqJ5jAluCOg==" crossorigin="anonymous" /> <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/bootstrap-icons/1.9.1/font/bootstrap-icons.min.css" integrity="sha512-5PV92qsds/16vyYIJo3T/As4m2d8b6oWYfoqV+vtizRB6KhF1F9kYzWzQmsO6T3z3QG2Xdhrx7FQ+5R1LiQdUA==" crossorigin="anonymous" /> <!-- link rel="stylesheet" href="/statics/css/dbpedia.css" --> <!-- /Stylesheets--> <!-- OpenGraph --> <meta property="og:title" content="Goursat's lemma" /> <meta property="og:type" content="article" /> <meta property="og:url" content="http://dbpedia.org/resource/Goursat's_lemma" /> <meta property="og:image" content="/statics/images/dbpedia_logo.png" /> <meta property="og:description" content="Goursat's lemma, named after the French mathematician Édouard Goursat, is an algebraic theorem about subgroups of the direct product of two groups. It can be stated more generally in a (and consequently it also holds in any Maltsev variety), from which one recovers a more general version of Zassenhaus' butterfly lemma. In this form, Goursat's theorem also implies the snake lemma." /> <meta property="og:site_name" content="DBpedia" /> <!-- /OpenGraph--> </head> <body about="http://dbpedia.org/resource/Goursat's_lemma"> <!-- navbar --> <nav class="navbar navbar-expand-md navbar-light bg-light fixed-top align-items-center"> <div class="container-xl"> <a class="navbar-brand" href="http://wiki.dbpedia.org/about" title="About DBpedia" style="color: #2c5078"> <img class="img-fluid" src="/statics/images/dbpedia_logo_land_120.png" alt="About DBpedia" /> </a> <button class="navbar-toggler" type="button" data-bs-toggle="collapse" data-bs-target="#dbp-navbar" aria-controls="dbp-navbar" aria-expanded="false" aria-label="Toggle navigation"> <span class="navbar-toggler-icon"></span> </button> <div class="collapse navbar-collapse" id="dbp-navbar"> <ul class="navbar-nav me-auto mb-2 mb-lg-0"> <li class="nav-item dropdown"> <a class="nav-link dropdown-toggle" href="#" id="navbarDropdownBrowse" role="button" data-bs-toggle="dropdown" aria-expanded="false"> <i class="bi-eye-fill"></i> Browse using<span class="caret"></span></a> <ul class="dropdown-menu" aria-labelledby="navbarDropdownBrowse"> <li class="dropdown-item"><a class="nav-link" href="/describe/?uri=http%3A%2F%2Fdbpedia.org%2Fresource%2FGoursat%27s_lemma">OpenLink Faceted Browser</a></li> <li class="dropdown-item"><a class="nav-link" href="http://osde.demo.openlinksw.com/#/editor?uri=http%3A%2F%2Fdbpedia.org%2Fdata%2FGoursat%27s_lemma.ttl&view=statements">OpenLink Structured Data Editor</a></li> <li class="dropdown-item"><a class="nav-link" href="http://en.lodlive.it/?http%3A%2F%2Fdbpedia.org%2Fresource%2FGoursat%27s_lemma">LodLive Browser</a></li> <!-- li class="dropdown-item"><a class="nav-link" href="http://lodmilla.sztaki.hu/lodmilla/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FGoursat%27s_lemma">LODmilla Browser</a></li --> </ul> </li> <li class="nav-item dropdown"> <a class="nav-link dropdown-toggle" href="#" id="navbarDropdownFormats" role="button" data-bs-toggle="dropdown" aria-expanded="false"> <i class="bi-file-earmark-fill"></i> Formats<span class="caret"></span></a> <ul class="dropdown-menu" aria-labelledby="navbarDropdownFormats"> <li class="dropdown-item-text">RDF:</li> <li><a class="dropdown-item" href="http://dbpedia.org/data/Goursat's_lemma.ntriples">N-Triples</a></li> <li><a class="dropdown-item" href="http://dbpedia.org/data/Goursat's_lemma.n3">N3</a></li> <li><a class="dropdown-item" href="http://dbpedia.org/data/Goursat's_lemma.ttl">Turtle</a></li> <li><a class="dropdown-item" href="http://dbpedia.org/data/Goursat's_lemma.json">JSON</a></li> <li><a class="dropdown-item" href="http://dbpedia.org/data/Goursat's_lemma.rdf">XML</a></li> <li class="dropdown-divider"></li> <li class="dropdown-item-text">OData:</li> <li><a class="dropdown-item" href="http://dbpedia.org/data/Goursat's_lemma.atom">Atom</a></li> <li><a class="dropdown-item" href="http://dbpedia.org/data/Goursat's_lemma.jsod">JSON</a></li> <li class="dropdown-divider"></li> <li class="dropdown-item-text">Microdata:</li> <li><a class="dropdown-item" href="http://dbpedia.org/sparql?default-graph-uri=http%3A%2F%2Fdbpedia.org&query=DESCRIBE%20%3Chttp%3A%2F%2Fdbpedia.org%2Fresource%2FGoursat%27s_lemma%3E&format=application%2Fmicrodata%2Bjson">JSON</a></li> <li><a class="dropdown-item" href="http://dbpedia.org/sparql?default-graph-uri=http%3A%2F%2Fdbpedia.org&query=DESCRIBE%20%3Chttp%3A%2F%2Fdbpedia.org%2Fresource%2FGoursat%27s_lemma%3E&format=text%2Fhtml">HTML</a></li> <li class="dropdown-divider"></li> <li class="dropdown-item-text">Embedded:</li> <li><a class="dropdown-item" href="http://dbpedia.org/sparql?default-graph-uri=http%3A%2F%2Fdbpedia.org&query=DESCRIBE%20%3Chttp%3A%2F%2Fdbpedia.org%2Fresource%2FGoursat%27s_lemma%3E&format=text%2Fx-html-script-ld%2Bjson">JSON</a></li> <li><a class="dropdown-item" href="http://dbpedia.org/sparql?default-graph-uri=http%3A%2F%2Fdbpedia.org&query=DESCRIBE%20%3Chttp%3A%2F%2Fdbpedia.org%2Fresource%2FGoursat%27s_lemma%3E&format=text%2Fx-html-script-turtle">Turtle</a></li> <li class="dropdown-divider"></li> <li class="dropdown-item-text">Other:</li> <li><a class="dropdown-item" href="http://dbpedia.org/sparql?default-graph-uri=http%3A%2F%2Fdbpedia.org&query=DESCRIBE%20%3Chttp%3A%2F%2Fdbpedia.org%2Fresource%2FGoursat%27s_lemma%3E&format=text%2Fcsv">CSV</a></li> <li><a class="dropdown-item" href="http://dbpedia.org/sparql?default-graph-uri=http%3A%2F%2Fdbpedia.org&query=DESCRIBE%20%3Chttp%3A%2F%2Fdbpedia.org%2Fresource%2FGoursat%27s_lemma%3E&format=application%2Fld%2Bjson">JSON-LD</a></li> </ul> </li> </ul> <ul class="navbar-nav ms-auto"> <li class="nav-item"> <a class="nav-link" href="/fct/" title="Switch to /fct endpoint"><i class="bi-box-arrow-up-right"></i> Faceted Browser </a> </li> <li class="nav-item"> <a class="nav-link" href="/sparql/" title="Switch to /sparql endpoint"><i class="bi-box-arrow-up-right"></i> Sparql Endpoint </a> </li> </ul> </div> </div> </nav> <div style="margin-bottom: 60px"></div> <!-- /navbar --> <!-- page-header --> <section> <div class="container-xl"> <div class="row"> <div class="col"> <h1 id="title" class="display-6"><b>About:</b> <a href="http://dbpedia.org/resource/Goursat's_lemma">Goursat's lemma</a> </h1> </div> </div> <div class="row"> <div class="col"> <div class="text-muted"> <span class="text-nowrap">An Entity of Type: <a href="http://dbpedia.org/class/yago/Abstraction100002137">Abstraction100002137</a>, </span> <span class="text-nowrap">from Named Graph: <a href="http://dbpedia.org">http://dbpedia.org</a>, </span> <span class="text-nowrap">within Data Space: <a href="http://dbpedia.org">dbpedia.org</a></span> </div> </div> </div> <div class="row pt-2"> <div class="col-xs-9 col-sm-10"> <p class="lead">Goursat's lemma, named after the French mathematician Édouard Goursat, is an algebraic theorem about subgroups of the direct product of two groups. It can be stated more generally in a (and consequently it also holds in any Maltsev variety), from which one recovers a more general version of Zassenhaus' butterfly lemma. In this form, Goursat's theorem also implies the snake lemma.</p> </div> </div> </div> </section> <!-- page-header --> <!-- property-table --> <section> <div class="container-xl"> <div class="row"> <div class="table-responsive"> <table class="table table-hover table-sm table-light"> <thead> <tr> <th class="col-xs-3 ">Property</th> <th class="col-xs-9 px-3">Value</th> </tr> </thead> <tbody> <tr class="odd"><td class="col-2"><a class="uri" href="http://dbpedia.org/ontology/abstract"><small>dbo:</small>abstract</a> </td><td class="col-10 text-break"><ul> <li><span class="literal"><span property="dbo:abstract" lang="en" >Goursat's lemma, named after the French mathematician Édouard Goursat, is an algebraic theorem about subgroups of the direct product of two groups. It can be stated more generally in a (and consequently it also holds in any Maltsev variety), from which one recovers a more general version of Zassenhaus' butterfly lemma. In this form, Goursat's theorem also implies the snake lemma.</span><small> (en)</small></span></li> <li style="display:none;"><span class="literal"><span property="dbo:abstract" lang="es" >El teorema de Goursat es un resultado en teoría de grupos que describe los subgrupos de un producto directo en términos de grupos cocientes. El teorema fue presentado en 1889 por (1858-1936).</span><small> (es)</small></span></li> <li style="display:none;"><span class="literal"><span property="dbo:abstract" lang="fr" >En algèbre, le lemme de Goursat est un théorème de la théorie des groupes.</span><small> (fr)</small></span></li> <li style="display:none;"><span class="literal"><span property="dbo:abstract" lang="pl" >Lemat Goursata – twierdzenie teorii grup charakteryzujące podgrupy iloczynu prostego dwóch grup. Pierwszy raz pojawiło się ono w pracy Édouarda Goursata pt. Sur les substitutions orthogonales et les divisions régulières de l’espace („O podstawieniach ortogonalnych i podziałach regularnych przestrzeni”) z 1889 roku. W pokazane zostanie, w jaki sposób można udowodnić za jego pomocą lemat Zassenhausa.</span><small> (pl)</small></span></li> </ul></td></tr><tr class="even"><td class="col-2"><a class="uri" href="http://dbpedia.org/ontology/wikiPageID"><small>dbo:</small>wikiPageID</a> </td><td class="col-10 text-break"><ul> <li><span class="literal"><span property="dbo:wikiPageID" datatype="xsd:integer" >5114212</span><small> (xsd:integer)</small></span></li> </ul></td></tr><tr class="odd"><td class="col-2"><a class="uri" href="http://dbpedia.org/ontology/wikiPageLength"><small>dbo:</small>wikiPageLength</a> </td><td class="col-10 text-break"><ul> <li><span class="literal"><span property="dbo:wikiPageLength" datatype="xsd:nonNegativeInteger" >7453</span><small> (xsd:nonNegativeInteger)</small></span></li> </ul></td></tr><tr class="even"><td class="col-2"><a class="uri" href="http://dbpedia.org/ontology/wikiPageRevisionID"><small>dbo:</small>wikiPageRevisionID</a> </td><td class="col-10 text-break"><ul> <li><span class="literal"><span property="dbo:wikiPageRevisionID" datatype="xsd:integer" >1065925656</span><small> (xsd:integer)</small></span></li> </ul></td></tr><tr class="odd"><td class="col-2"><a class="uri" href="http://dbpedia.org/ontology/wikiPageWikiLink"><small>dbo:</small>wikiPageWikiLink</a> </td><td class="col-10 text-break"><ul> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/American_Journal_of_Mathematics" href="http://dbpedia.org/resource/American_Journal_of_Mathematics"><small>dbr</small>:American_Journal_of_Mathematics</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Jordan–Hölder_theorem" href="http://dbpedia.org/resource/Jordan–Hölder_theorem"><small>dbr</small>:Jordan–Hölder_theorem</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Relation_(mathematics)" href="http://dbpedia.org/resource/Relation_(mathematics)"><small>dbr</small>:Relation_(mathematics)</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Category:Articles_containing_proofs" href="http://dbpedia.org/resource/Category:Articles_containing_proofs"><small>dbc</small>:Articles_containing_proofs</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Complex_analysis" href="http://dbpedia.org/resource/Complex_analysis"><small>dbr</small>:Complex_analysis</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Normal_subgroup" href="http://dbpedia.org/resource/Normal_subgroup"><small>dbr</small>:Normal_subgroup</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Function_(mathematics)" href="http://dbpedia.org/resource/Function_(mathematics)"><small>dbr</small>:Function_(mathematics)</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Galois" href="http://dbpedia.org/resource/Galois"><small>dbr</small>:Galois</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Theorem" href="http://dbpedia.org/resource/Theorem"><small>dbr</small>:Theorem</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Snake_lemma" href="http://dbpedia.org/resource/Snake_lemma"><small>dbr</small>:Snake_lemma</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Édouard_Goursat" href="http://dbpedia.org/resource/Édouard_Goursat"><small>dbr</small>:Édouard_Goursat</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Kernel_(algebra)" href="http://dbpedia.org/resource/Kernel_(algebra)"><small>dbr</small>:Kernel_(algebra)</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Subgroup" href="http://dbpedia.org/resource/Subgroup"><small>dbr</small>:Subgroup</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Mathematician" href="http://dbpedia.org/resource/Mathematician"><small>dbr</small>:Mathematician</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Well-defined" href="http://dbpedia.org/resource/Well-defined"><small>dbr</small>:Well-defined</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Vertical_line_test" href="http://dbpedia.org/resource/Vertical_line_test"><small>dbr</small>:Vertical_line_test</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Algebra" href="http://dbpedia.org/resource/Algebra"><small>dbr</small>:Algebra</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/France" href="http://dbpedia.org/resource/France"><small>dbr</small>:France</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Abelian_Variety" href="http://dbpedia.org/resource/Abelian_Variety"><small>dbr</small>:Abelian_Variety</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Graph_of_a_function" href="http://dbpedia.org/resource/Graph_of_a_function"><small>dbr</small>:Graph_of_a_function</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Mathematical_proof" href="http://dbpedia.org/resource/Mathematical_proof"><small>dbr</small>:Mathematical_proof</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Projection_(mathematics)" href="http://dbpedia.org/resource/Projection_(mathematics)"><small>dbr</small>:Projection_(mathematics)</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Group_(mathematics)" href="http://dbpedia.org/resource/Group_(mathematics)"><small>dbr</small>:Group_(mathematics)</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Group_action_(mathematics)" href="http://dbpedia.org/resource/Group_action_(mathematics)"><small>dbr</small>:Group_action_(mathematics)</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Group_homomorphism" href="http://dbpedia.org/resource/Group_homomorphism"><small>dbr</small>:Group_homomorphism</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Inverse_function" href="http://dbpedia.org/resource/Inverse_function"><small>dbr</small>:Inverse_function</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Surjective" href="http://dbpedia.org/resource/Surjective"><small>dbr</small>:Surjective</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Ken_Ribet" href="http://dbpedia.org/resource/Ken_Ribet"><small>dbr</small>:Ken_Ribet</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Zassenhaus_lemma" href="http://dbpedia.org/resource/Zassenhaus_lemma"><small>dbr</small>:Zassenhaus_lemma</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Direct_product_of_groups" href="http://dbpedia.org/resource/Direct_product_of_groups"><small>dbr</small>:Direct_product_of_groups</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Category:Lemmas_in_group_theory" href="http://dbpedia.org/resource/Category:Lemmas_in_group_theory"><small>dbc</small>:Lemmas_in_group_theory</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Group_isomorphism" href="http://dbpedia.org/resource/Group_isomorphism"><small>dbr</small>:Group_isomorphism</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Maltsev_variety" href="http://dbpedia.org/resource/Maltsev_variety"><small>dbr</small>:Maltsev_variety</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Schreier_refinement_theorem" href="http://dbpedia.org/resource/Schreier_refinement_theorem"><small>dbr</small>:Schreier_refinement_theorem</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Subdirect_product" href="http://dbpedia.org/resource/Subdirect_product"><small>dbr</small>:Subdirect_product</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Goursat's_integral_lemma" href="http://dbpedia.org/resource/Goursat's_integral_lemma"><small>dbr</small>:Goursat's_integral_lemma</a></span></li> <li><span class="literal"><a class="uri" rel="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Goursat_variety" href="http://dbpedia.org/resource/Goursat_variety"><small>dbr</small>:Goursat_variety</a></span></li> </ul></td></tr><tr class="even"><td class="col-2"><a class="uri" href="http://dbpedia.org/property/wikiPageUsesTemplate"><small>dbp:</small>wikiPageUsesTemplate</a> </td><td class="col-10 text-break"><ul> <li><span class="literal"><a class="uri" rel="dbp:wikiPageUsesTemplate" resource="http://dbpedia.org/resource/Template:Cite_book" href="http://dbpedia.org/resource/Template:Cite_book"><small>dbt</small>:Cite_book</a></span></li> <li><span class="literal"><a class="uri" rel="dbp:wikiPageUsesTemplate" resource="http://dbpedia.org/resource/Template:Distinguish" href="http://dbpedia.org/resource/Template:Distinguish"><small>dbt</small>:Distinguish</a></span></li> <li><span class="literal"><a class="uri" rel="dbp:wikiPageUsesTemplate" resource="http://dbpedia.org/resource/Template:Expand_section" href="http://dbpedia.org/resource/Template:Expand_section"><small>dbt</small>:Expand_section</a></span></li> </ul></td></tr><tr class="odd"><td class="col-2"><a class="uri" href="http://purl.org/dc/terms/subject"><small>dcterms:</small>subject</a> </td><td class="col-10 text-break"><ul> <li><span class="literal"><a class="uri" rel="dcterms:subject" resource="http://dbpedia.org/resource/Category:Articles_containing_proofs" prefix="dcterms: http://purl.org/dc/terms/" href="http://dbpedia.org/resource/Category:Articles_containing_proofs"><small>dbc</small>:Articles_containing_proofs</a></span></li> <li><span class="literal"><a class="uri" rel="dcterms:subject" resource="http://dbpedia.org/resource/Category:Lemmas_in_group_theory" prefix="dcterms: http://purl.org/dc/terms/" href="http://dbpedia.org/resource/Category:Lemmas_in_group_theory"><small>dbc</small>:Lemmas_in_group_theory</a></span></li> </ul></td></tr><tr class="even"><td class="col-2"><a class="uri" href="http://purl.org/linguistics/gold/hypernym"><small>gold:</small>hypernym</a> </td><td class="col-10 text-break"><ul> <li><span class="literal"><a class="uri" rel="gold:hypernym" resource="http://dbpedia.org/resource/Theorem" prefix="gold: http://purl.org/linguistics/gold/" href="http://dbpedia.org/resource/Theorem"><small>dbr</small>:Theorem</a></span></li> </ul></td></tr><tr class="odd"><td class="col-2"><a class="uri" href="http://www.w3.org/1999/02/22-rdf-syntax-ns#type"><small>rdf:</small>type</a> </td><td class="col-10 text-break"><ul> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://www.w3.org/2002/07/owl#Thing" href="http://www.w3.org/2002/07/owl#Thing"><small>owl</small>:Thing</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://dbpedia.org/class/yago/WikicatLemmas" href="http://dbpedia.org/class/yago/WikicatLemmas"><small>yago</small>:WikicatLemmas</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://dbpedia.org/class/yago/WikicatMathematicalTheorems" href="http://dbpedia.org/class/yago/WikicatMathematicalTheorems"><small>yago</small>:WikicatMathematicalTheorems</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://dbpedia.org/class/yago/Abstraction100002137" href="http://dbpedia.org/class/yago/Abstraction100002137"><small>yago</small>:Abstraction100002137</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://dbpedia.org/class/yago/Communication100033020" href="http://dbpedia.org/class/yago/Communication100033020"><small>yago</small>:Communication100033020</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://dbpedia.org/class/yago/Lemma106751833" href="http://dbpedia.org/class/yago/Lemma106751833"><small>yago</small>:Lemma106751833</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://dbpedia.org/class/yago/Message106598915" href="http://dbpedia.org/class/yago/Message106598915"><small>yago</small>:Message106598915</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://dbpedia.org/class/yago/Proposition106750804" href="http://dbpedia.org/class/yago/Proposition106750804"><small>yago</small>:Proposition106750804</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://dbpedia.org/class/yago/Statement106722453" href="http://dbpedia.org/class/yago/Statement106722453"><small>yago</small>:Statement106722453</a></span></li> <li><span class="literal"><a class="uri" rel="rdf:type" resource="http://dbpedia.org/class/yago/Theorem106752293" href="http://dbpedia.org/class/yago/Theorem106752293"><small>yago</small>:Theorem106752293</a></span></li> </ul></td></tr><tr class="even"><td class="col-2"><a class="uri" href="http://www.w3.org/2000/01/rdf-schema#comment"><small>rdfs:</small>comment</a> </td><td class="col-10 text-break"><ul> <li><span class="literal"><span property="rdfs:comment" lang="en" >Goursat's lemma, named after the French mathematician Édouard Goursat, is an algebraic theorem about subgroups of the direct product of two groups. It can be stated more generally in a (and consequently it also holds in any Maltsev variety), from which one recovers a more general version of Zassenhaus' butterfly lemma. In this form, Goursat's theorem also implies the snake lemma.</span><small> (en)</small></span></li> <li style="display:none;"><span class="literal"><span property="rdfs:comment" lang="es" >El teorema de Goursat es un resultado en teoría de grupos que describe los subgrupos de un producto directo en términos de grupos cocientes. El teorema fue presentado en 1889 por (1858-1936).</span><small> (es)</small></span></li> <li style="display:none;"><span class="literal"><span property="rdfs:comment" lang="fr" >En algèbre, le lemme de Goursat est un théorème de la théorie des groupes.</span><small> (fr)</small></span></li> <li style="display:none;"><span class="literal"><span property="rdfs:comment" lang="pl" >Lemat Goursata – twierdzenie teorii grup charakteryzujące podgrupy iloczynu prostego dwóch grup. Pierwszy raz pojawiło się ono w pracy Édouarda Goursata pt. Sur les substitutions orthogonales et les divisions régulières de l’espace („O podstawieniach ortogonalnych i podziałach regularnych przestrzeni”) z 1889 roku. W pokazane zostanie, w jaki sposób można udowodnić za jego pomocą lemat Zassenhausa.</span><small> (pl)</small></span></li> </ul></td></tr><tr class="odd"><td class="col-2"><a class="uri" href="http://www.w3.org/2000/01/rdf-schema#label"><small>rdfs:</small>label</a> </td><td class="col-10 text-break"><ul> <li style="display:none;"><span class="literal"><span property="rdfs:label" lang="es" >Teorema de Goursat</span><small> (es)</small></span></li> <li><span class="literal"><span property="rdfs:label" lang="en" >Goursat's lemma</span><small> (en)</small></span></li> <li style="display:none;"><span class="literal"><span property="rdfs:label" lang="fr" >Lemme de Goursat</span><small> (fr)</small></span></li> <li style="display:none;"><span class="literal"><span property="rdfs:label" lang="pl" >Lemat Goursata</span><small> (pl)</small></span></li> </ul></td></tr><tr class="even"><td class="col-2"><a class="uri" href="http://www.w3.org/2002/07/owl#sameAs"><small>owl:</small>sameAs</a> </td><td class="col-10 text-break"><ul> <li><span class="literal"><a class="uri" rel="owl:sameAs" resource="http://rdf.freebase.com/ns/m.0d3884" href="http://rdf.freebase.com/ns/m.0d3884"><small>freebase</small>:Goursat's lemma</a></span></li> <li><span class="literal"><a class="uri" rel="owl:sameAs" resource="http://yago-knowledge.org/resource/Goursat's_lemma" href="http://yago-knowledge.org/resource/Goursat's_lemma"><small>yago-res</small>:Goursat's lemma</a></span></li> <li><span class="literal"><a class="uri" rel="owl:sameAs" resource="http://www.wikidata.org/entity/Q2387837" href="http://www.wikidata.org/entity/Q2387837"><small>wikidata</small>:Goursat's lemma</a></span></li> <li><span class="literal"><a class="uri" rel="owl:sameAs" resource="http://es.dbpedia.org/resource/Teorema_de_Goursat" href="http://es.dbpedia.org/resource/Teorema_de_Goursat"><small>dbpedia-es</small>:Goursat's lemma</a></span></li> <li><span class="literal"><a class="uri" rel="owl:sameAs" resource="http://fr.dbpedia.org/resource/Lemme_de_Goursat" href="http://fr.dbpedia.org/resource/Lemme_de_Goursat"><small>dbpedia-fr</small>:Goursat's lemma</a></span></li> <li><span class="literal"><a class="uri" rel="owl:sameAs" resource="http://pl.dbpedia.org/resource/Lemat_Goursata" href="http://pl.dbpedia.org/resource/Lemat_Goursata"><small>dbpedia-pl</small>:Goursat's lemma</a></span></li> <li><span class="literal"><a class="uri" rel="owl:sameAs" resource="https://global.dbpedia.org/id/2FfWh" href="https://global.dbpedia.org/id/2FfWh">https://global.dbpedia.org/id/2FfWh</a></span></li> </ul></td></tr><tr class="odd"><td class="col-2"><a class="uri" href="http://www.w3.org/ns/prov#wasDerivedFrom"><small>prov:</small>wasDerivedFrom</a> </td><td class="col-10 text-break"><ul> <li><span class="literal"><a class="uri" rel="prov:wasDerivedFrom" resource="http://en.wikipedia.org/wiki/Goursat's_lemma?oldid=1065925656&ns=0" href="http://en.wikipedia.org/wiki/Goursat's_lemma?oldid=1065925656&ns=0"><small>wikipedia-en</small>:Goursat's_lemma?oldid=1065925656&ns=0</a></span></li> </ul></td></tr><tr class="even"><td class="col-2"><a class="uri" href="http://xmlns.com/foaf/0.1/isPrimaryTopicOf"><small>foaf:</small>isPrimaryTopicOf</a> </td><td class="col-10 text-break"><ul> <li><span class="literal"><a class="uri" rel="foaf:isPrimaryTopicOf" resource="http://en.wikipedia.org/wiki/Goursat's_lemma" href="http://en.wikipedia.org/wiki/Goursat's_lemma"><small>wikipedia-en</small>:Goursat's_lemma</a></span></li> </ul></td></tr><tr class="odd"><td class="col-2">is <a class="uri" href="http://dbpedia.org/ontology/knownFor"><small>dbo:</small>knownFor</a> of</td><td class="col-10 text-break"><ul> <li><span class="literal"><a class="uri" rev="dbo:knownFor" resource="http://dbpedia.org/resource/Édouard_Goursat" href="http://dbpedia.org/resource/Édouard_Goursat"><small>dbr</small>:Édouard_Goursat</a></span></li> </ul></td></tr><tr class="even"><td class="col-2">is <a class="uri" href="http://dbpedia.org/ontology/wikiPageRedirects"><small>dbo:</small>wikiPageRedirects</a> of</td><td class="col-10 text-break"><ul> <li><span class="literal"><a class="uri" rev="dbo:wikiPageRedirects" resource="http://dbpedia.org/resource/Goursat_lemma" href="http://dbpedia.org/resource/Goursat_lemma"><small>dbr</small>:Goursat_lemma</a></span></li> </ul></td></tr><tr class="odd"><td class="col-2">is <a class="uri" href="http://dbpedia.org/ontology/wikiPageWikiLink"><small>dbo:</small>wikiPageWikiLink</a> of</td><td class="col-10 text-break"><ul> <li><span class="literal"><a class="uri" rev="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/List_of_lemmas" href="http://dbpedia.org/resource/List_of_lemmas"><small>dbr</small>:List_of_lemmas</a></span></li> <li><span class="literal"><a class="uri" rev="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Édouard_Goursat" href="http://dbpedia.org/resource/Édouard_Goursat"><small>dbr</small>:Édouard_Goursat</a></span></li> <li><span class="literal"><a class="uri" rev="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Automorphism" href="http://dbpedia.org/resource/Automorphism"><small>dbr</small>:Automorphism</a></span></li> <li><span class="literal"><a class="uri" rev="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Zassenhaus_lemma" href="http://dbpedia.org/resource/Zassenhaus_lemma"><small>dbr</small>:Zassenhaus_lemma</a></span></li> <li><span class="literal"><a class="uri" rev="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Direct_product_of_groups" href="http://dbpedia.org/resource/Direct_product_of_groups"><small>dbr</small>:Direct_product_of_groups</a></span></li> <li><span class="literal"><a class="uri" rev="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Subdirect_product" href="http://dbpedia.org/resource/Subdirect_product"><small>dbr</small>:Subdirect_product</a></span></li> <li><span class="literal"><a class="uri" rev="dbo:wikiPageWikiLink" resource="http://dbpedia.org/resource/Goursat_lemma" href="http://dbpedia.org/resource/Goursat_lemma"><small>dbr</small>:Goursat_lemma</a></span></li> </ul></td></tr><tr class="even"><td class="col-2">is <a class="uri" href="http://dbpedia.org/property/knownFor"><small>dbp:</small>knownFor</a> of</td><td class="col-10 text-break"><ul> <li><span class="literal"><a class="uri" rev="dbp:knownFor" resource="http://dbpedia.org/resource/Édouard_Goursat" href="http://dbpedia.org/resource/Édouard_Goursat"><small>dbr</small>:Édouard_Goursat</a></span></li> </ul></td></tr><tr class="odd"><td class="col-2">is <a class="uri" href="http://xmlns.com/foaf/0.1/primaryTopic"><small>foaf:</small>primaryTopic</a> of</td><td class="col-10 text-break"><ul> <li><span class="literal"><a class="uri" rev="foaf:primaryTopic" resource="http://en.wikipedia.org/wiki/Goursat's_lemma" href="http://en.wikipedia.org/wiki/Goursat's_lemma"><small>wikipedia-en</small>:Goursat's_lemma</a></span></li> </ul></td></tr> </tbody> </table> </div> </div> </div> </section> <!-- property-table --> <!-- footer --> <section> <div class="container-xl"> <div class="text-center p-4 bg-light"> <a href="https://virtuoso.openlinksw.com/" title="OpenLink Virtuoso"><img class="powered_by" src="/statics/images/virt_power_no_border.png" alt="Powered by OpenLink Virtuoso"/></a>    <a href="http://linkeddata.org/"><img alt="This material is Open Knowledge" src="/statics/images/LoDLogo.gif"/></a>     <a href="http://dbpedia.org/sparql"><img alt="W3C Semantic Web Technology" src="/statics/images/sw-sparql-blue.png"/></a>     <a href="https://opendefinition.org/"><img alt="This material is Open Knowledge" src="/statics/images/od_80x15_red_green.png"/></a>    <span style="display:none;" about="" resource="http://www.w3.org/TR/rdfa-syntax" rel="dc:conformsTo"> <a href="https://validator.w3.org/check?uri=referer"> <img src="https://www.w3.org/Icons/valid-xhtml-rdfa" alt="Valid XHTML + RDFa" /> </a> </span> <br /> <small class="text-muted"> This content was extracted from <a href="http://en.wikipedia.org/wiki/Goursat's_lemma">Wikipedia</a> and is licensed under the <a href="http://creativecommons.org/licenses/by-sa/3.0/">Creative Commons Attribution-ShareAlike 3.0 Unported License</a> </small> </div> </div> </section> <!-- #footer --> <!-- scripts --> <script src="https://cdnjs.cloudflare.com/ajax/libs/bootstrap/5.2.1/js/bootstrap.bundle.min.js" integrity="sha512-1TK4hjCY5+E9H3r5+05bEGbKGyK506WaDPfPe1s/ihwRjr6OtL43zJLzOFQ+/zciONEd+sp7LwrfOCnyukPSsg==" crossorigin="anonymous"> </script> </body> </html>