<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of tel-01415910</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-19T08:00:50+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">The lattice of reduction operators: applications to noncommutative Gröbner bases and homological algebra</title>
            <title xml:lang="fr">Le treillis des opérateurs de réduction : applications aux bases de Gröbner non commutatives et en algèbre homologique</title>
            <author role="aut">
              <persName>
                <forename type="first">Cyrille</forename>
                <surname>Chenavier</surname>
              </persName>
              <email type="md5">eaf886fd551194902355493b562456e9</email>
              <email type="domain">pps.univ-paris-diderot.fr</email>
              <idno type="idhal" notation="numeric">1208837</idno>
              <idno type="halauthorid" notation="string">906524-1208837</idno>
              <idno type="IDREF">https://www.idref.fr/250387638</idno>
              <idno type="VIAF">https://viaf.org/viaf/110160789623202680274</idno>
              <affiliation ref="#struct-444497"/>
              <affiliation ref="#struct-454672"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Cyrille</forename>
                <surname>Chenavier</surname>
              </persName>
              <email type="md5">2675dc10b9090f48f7eb437066979d7c</email>
              <email type="domain">unilim.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2016-12-13 17:16:46</date>
              <date type="whenModified">2026-03-17 11:09:57</date>
              <date type="whenReleased">2016-12-15 15:32:54</date>
              <date type="whenProduced">2016-12-09</date>
              <date type="whenEndEmbargoed">2016-12-13</date>
              <ref type="file" target="https://theses.hal.science/tel-01415910v1/document">
                <date notBefore="2016-12-13"/>
              </ref>
              <ref type="file" n="1" target="https://theses.hal.science/tel-01415910v1/file/Th%C3%A8se.pdf" id="file-1415910-1501907">
                <date notBefore="2016-12-13"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="312844">
                <persName>
                  <forename>Cyrille</forename>
                  <surname>Chenavier</surname>
                </persName>
                <email type="md5">2675dc10b9090f48f7eb437066979d7c</email>
                <email type="domain">unilim.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">tel-01415910</idno>
            <idno type="halUri">https://theses.hal.science/tel-01415910</idno>
            <idno type="halBibtex">chenavier:tel-01415910</idno>
            <idno type="halRefHtml">Mathématiques [math]. Université paris Diderot, 2016. Français. &lt;a target="_blank" href="https://www.theses.fr/"&gt;&amp;#x27E8;NNT : &amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Mathématiques [math]. Université paris Diderot, 2016. Français. &amp;#x27E8;NNT : &amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-1415910-1501907"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-PARIS7" corresp="UNIV-PARIS">Université Denis Diderot - Paris VII</idno>
            <idno type="stamp" n="PPS">Laboratoire Preuves, Programmes et Systèmes</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="INRIA-ROCQ">INRIA Paris - Rocquencourt</idno>
            <idno type="stamp" n="LORIA2">Publications du LORIA</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="USPC">Université Sorbonne Paris Cité</idno>
            <idno type="stamp" n="UNIV-PARIS">Université Paris Cité</idno>
            <idno type="stamp" n="UP-SCIENCES">Université Paris Cité - Faculté des Sciences</idno>
            <idno type="stamp" n="IRIF">Institut de Recherche en Informatique Fondamentale</idno>
          </seriesStmt>
          <notesStmt/>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">The lattice of reduction operators: applications to noncommutative Gröbner bases and homological algebra</title>
                <title xml:lang="fr">Le treillis des opérateurs de réduction : applications aux bases de Gröbner non commutatives et en algèbre homologique</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Cyrille</forename>
                    <surname>Chenavier</surname>
                  </persName>
                  <email type="md5">eaf886fd551194902355493b562456e9</email>
                  <email type="domain">pps.univ-paris-diderot.fr</email>
                  <idno type="idhal" notation="numeric">1208837</idno>
                  <idno type="halauthorid" notation="string">906524-1208837</idno>
                  <idno type="IDREF">https://www.idref.fr/250387638</idno>
                  <idno type="VIAF">https://viaf.org/viaf/110160789623202680274</idno>
                  <affiliation ref="#struct-444497"/>
                  <affiliation ref="#struct-454672"/>
                </author>
              </analytic>
              <monogr>
                <imprint>
                  <date type="dateDefended">2016-12-09</date>
                </imprint>
                <authority type="institution">Université paris Diderot</authority>
                <authority type="supervisor">Yves Guiraud</authority>
                <authority type="supervisor">Philippe Malbos</authority>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="fr">French</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Reduction operators</term>
                <term xml:lang="en">Lattice</term>
                <term xml:lang="en">Rewriting</term>
                <term xml:lang="en">Noncommutative Gröbner bases</term>
                <term xml:lang="en">Contracting homotopy for the Koszul complex</term>
                <term xml:lang="fr">Treillis</term>
                <term xml:lang="fr">Réécriture</term>
                <term xml:lang="fr">Bases de Gröbner non commutatives</term>
                <term xml:lang="fr">Homotopie contractante du complexe de Koszul</term>
                <term xml:lang="fr">Opérateurs de réduction</term>
              </keywords>
              <classCode scheme="halDomain" n="math">Mathematics [math]</classCode>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</classCode>
              <classCode scheme="halTypology" n="THESE">Theses</classCode>
              <classCode scheme="halOldTypology" n="THESE">Theses</classCode>
              <classCode scheme="halTreeTypology" n="THESE">Theses</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>In this thesis, we study unital associative algebras using rewriting methods. The theory of noncommutative Gröbner bases enables us to solve decision problems or compute homological invariants using such methods.In order to study homological properties, Berger gives a lattice characterisation of quadratic Gröbner bases. This characterisation uses reduction operators. The latter are specific projectors of a vector space equipped with a well-founded basis. When this vector space is finite dimensional, Berger proved that the set of reduction operators admits a lattice structure. He deduced a lattice formulation of confluence and used it to characterise quadratic Gröbner bases.In this thesis, we extend the approach using reduction operators to non-necessarily quadratic algebras. For that, we show that the set of reduction operators still admits a lattice structure when the underlying vector space is infinite dimensional. We deduce a general formulation of confluence as well as a lattice interpretation of completion.The algebraic formulation of confluence provides a lattice characterisation of noncommutative Gröbner bases. Moreover, we show that a completion can be obtained using a construction in the lattice of reduction operators. We deduce a method to construct noncommutative Gröbner bases.We also construct a contracting homotopy for the Koszul complex. The algebraic formulation of confluence enables us to characterise it by with equations. These equations induce representations of a family of algebras called confluence algebras. The contracting homotopy is constructed using these representations.</p>
            </abstract>
            <abstract xml:lang="fr">
              <p>Dans cette thèse, on étudie les algèbres associatives unitaires par des méthodes de réécriture. La théorie des bases de Gröbner non commutatives permet de résoudre des problèmes de décidabilité ou de calculer des invariants homologiques par de telles méthodes.Motivé par des questions d'algèbre homologique, Berger caractérise les bases de Gröbner quadratiques en termes de treillis. Cette caractérisation a pour base les opérateurs de réduction. Ceux-ci sont des projecteurs particuliers d'un espace vectoriel admettant une base totalement ordonnée. Berger montre que, dans le cas où cet espace vectoriel est de dimension finie, l'ensemble des opérateurs de réduction admet une structure de treillis. Il en déduit une formulation de la confluence en termes de treillis lui permettant de caractériser les bases de Gröbner quadratiques.Dans ce travail, on étend l'approche par les opérateurs de réduction en l'appliquant au cas des algèbres non nécessairement quadratiques. Pour cela, on montre qu'en dimension quelconque l'ensemble des opérateurs de réduction admet également une structure de treillis. En dimension finie, celle-ci coïncide avec celle exhibée par Berger. On en déduit une formulation de la confluence en termes de treillis généralisant celle de Berger. En outre, on donne une interprétation de la complétion en termes de treillis.La formulation algébrique de la confluence permet en particulier des caractériser les bases de Gröbner non commutatives en termes de treillis. De plus, la formulation algébrique de la complétion, nous permet de montrer que celle-ci peut être obtenue via une construction dans le treillis des opérateurs de réduction. On en déduit une méthode pour construire des bases de Gröbner non commutatives.On construit également une homotopie contractante du complexe de Koszul en termes d'opérateurs de réduction. La formulation de la confluence en termes de treillis nous permet de caractériser celle-ci par des équations. Ces équations induisent des représentations d'une famille d'algèbres que sont les algèbres de confluence. L'homotopie contractante est construite à partir de ces représentations.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-444497" status="OLD">
          <idno type="IdRef">193993007</idno>
          <idno type="RNSR">201621976X</idno>
          <orgName>Institut de Recherche en Informatique Fondamentale</orgName>
          <orgName type="acronym">IRIF (UMR_8243)</orgName>
          <date type="start">2016-01-01</date>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>Université de ParisBâtiment Sophie Germain, Case courrier 70148 Place Aurélie Nemours75205 Paris Cedex 13</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.irif.fr/</ref>
          </desc>
          <listRelation>
            <relation name="UMR_8243" active="#struct-300301" type="direct"/>
            <relation name="UMR8243" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-454672" status="OLD">
          <idno type="RNSR">200920939A</idno>
          <orgName>Design, study and implementation of languages for proofs and programs</orgName>
          <orgName type="acronym">PI.R2</orgName>
          <date type="start">2016-01-01</date>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>8 Place Aurélie Nemours75205 Paris Cedex 13</addrLine>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-300301" type="direct"/>
            <relation active="#struct-441569" type="direct"/>
            <relation active="#struct-444497" type="direct"/>
            <relation name="UMR_8243" active="#struct-300301" type="direct"/>
            <relation name="UMR8243" active="#struct-441569" type="direct"/>
            <relation active="#struct-454310" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300301" status="OLD">
          <idno type="IdRef">027542084</idno>
          <idno type="ISNI">0000000121514068</idno>
          <idno type="ROR">https://ror.org/02n7qrg46</idno>
          <orgName>Université Paris Diderot - Paris 7</orgName>
          <orgName type="acronym">UPD7</orgName>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>5 rue Thomas-Mann - 75205 Paris cedex 13</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-paris-diderot.fr</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-441569" status="VALID">
          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <idno type="ROR">https://ror.org/02feahw73</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cnrs.fr/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-454310" status="VALID">
          <idno type="IdRef">241614864</idno>
          <idno type="RNSR">196718247G</idno>
          <idno type="ROR">https://ror.org/05eyd5d35</idno>
          <orgName>Centre Inria de Paris</orgName>
          <date type="start">2016-03-10</date>
          <desc>
            <address>
              <addrLine>48 Rue Barrault, 75013 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/paris</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300009" status="VALID">
          <idno type="ROR">https://ror.org/02kvxyf05</idno>
          <orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
          <orgName type="acronym">Inria</orgName>
          <desc>
            <address>
              <addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/en/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>