<?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 hal-00004373</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-22T06:41:49+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="it">Embedding simple commutative monoids into simple refinement monoids</title>
            <author role="aut">
              <persName>
                <forename type="first">Friedrich</forename>
                <surname>Wehrung</surname>
              </persName>
              <email type="md5">a4fb939e96dc76ce262586e5356724d3</email>
              <email type="domain">unicaen.fr</email>
              <idno type="idhal" notation="string">friedrich-wehrung</idno>
              <idno type="idhal" notation="numeric">14905</idno>
              <idno type="halauthorid" notation="string">27461-14905</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-4868-606X</idno>
              <idno type="IDREF">https://www.idref.fr/033352798</idno>
              <affiliation ref="#struct-105"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Friedrich</forename>
                <surname>Wehrung</surname>
              </persName>
              <email type="md5">a4fb939e96dc76ce262586e5356724d3</email>
              <email type="domain">unicaen.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2005-03-06 21:23:25</date>
              <date type="whenModified">2024-03-21 03:09:14</date>
              <date type="whenReleased">2005-03-08 10:58:10</date>
              <date type="whenProduced">1998</date>
              <date type="whenEndEmbargoed">2005-03-06</date>
              <ref type="file" target="https://hal.science/hal-00004373v1/document">
                <date notBefore="2005-03-06"/>
              </ref>
              <ref type="file" n="1" target="https://hal.science/hal-00004373v1/file/EmbedSimple.pdf" id="file-29499-119240">
                <date notBefore="2005-03-06"/>
              </ref>
              <ref type="externalLink" target="http://arxiv.org/pdf/math.GM/0503155"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="101433">
                <persName>
                  <forename>Friedrich</forename>
                  <surname>Wehrung</surname>
                </persName>
                <email type="md5">a4fb939e96dc76ce262586e5356724d3</email>
                <email type="domain">unicaen.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00004373</idno>
            <idno type="halUri">https://hal.science/hal-00004373</idno>
            <idno type="halBibtex">wehrung:hal-00004373</idno>
            <idno type="halRefHtml">&lt;i&gt;Semigroup Forum&lt;/i&gt;, 1998, 56 (1), pp.104--129. &lt;a target="_blank" href="https://dx.doi.org/10.1007/s00233-002-7008-0"&gt;&amp;#x27E8;10.1007/s00233-002-7008-0&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Semigroup Forum, 1998, 56 (1), pp.104--129. &amp;#x27E8;10.1007/s00233-002-7008-0&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-29499-119240"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="ARINRAE-ARCHIVES">Archives des revues INRA</idno>
            <idno type="stamp" n="COMUE-NORMANDIE">Normandie Université</idno>
            <idno type="stamp" n="UNICAEN">Université de Caen Normandie</idno>
            <idno type="stamp" n="LMNO" corresp="CNRS">Laboratoire de Mathématiques Nicolas Oresme</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="it">Embedding simple commutative monoids into simple refinement monoids</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Friedrich</forename>
                    <surname>Wehrung</surname>
                  </persName>
                  <email type="md5">a4fb939e96dc76ce262586e5356724d3</email>
                  <email type="domain">unicaen.fr</email>
                  <idno type="idhal" notation="string">friedrich-wehrung</idno>
                  <idno type="idhal" notation="numeric">14905</idno>
                  <idno type="halauthorid" notation="string">27461-14905</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-4868-606X</idno>
                  <idno type="IDREF">https://www.idref.fr/033352798</idno>
                  <affiliation ref="#struct-105"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">10288</idno>
                <idno type="issn">0037-1912</idno>
                <idno type="eissn">1432-2137</idno>
                <title level="j">Semigroup Forum</title>
                <imprint>
                  <publisher>Springer Verlag</publisher>
                  <biblScope unit="volume">56</biblScope>
                  <biblScope unit="issue">1</biblScope>
                  <biblScope unit="pp">104--129</biblScope>
                  <date type="datePub">1998</date>
                </imprint>
              </monogr>
              <idno type="arxiv">math.GM/0503155</idno>
              <idno type="doi">10.1007/s00233-002-7008-0</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">refinement monoids</term>
                <term xml:lang="en">simple commutative monoids</term>
                <term xml:lang="en">order-embeddings</term>
                <term xml:lang="en">unitary embeddings</term>
                <term xml:lang="en">divisibility</term>
              </keywords>
              <classCode scheme="classification">06F20, 20M14</classCode>
              <classCode scheme="halDomain" n="math.math-gm">Mathematics [math]/General Mathematics [math.GM]</classCode>
              <classCode scheme="halTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halOldTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halTreeTypology" n="ART">Journal articles</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>Say that a cone is a commutative monoid in which x+y=0 implies that x=y=0. We show that cones (resp. simple cones) of many kinds order-embed or even embed unitarily into refinement cones (resp. simple refinement cones) of the same kind, satisfying in addition various divisibility conditions. We do this in particular for all cones, or for all separative cones, or for all cancellative cones (positive cones of partially ordered abelian groups). We also settle both the torsion-free case and the unperforated case. Most of our results extend to arbitrary commutative monoids.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-105" status="VALID">
          <idno type="IdRef">185216021</idno>
          <idno type="RNSR">200212207P</idno>
          <idno type="ROR">https://ror.org/03jm2hc44</idno>
          <idno type="Wikidata">Q67154985</idno>
          <orgName>Laboratoire de Mathématiques Nicolas Oresme</orgName>
          <orgName type="acronym">LMNO</orgName>
          <date type="start">2002-01-01</date>
          <desc>
            <address>
              <addrLine>Boulevard du Maréchal Juin 14032 CAEN CEDEX 5</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.lmno.cnrs.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-7127" type="direct"/>
            <relation active="#struct-455934" type="indirect"/>
            <relation name="UMR6139" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-7127" status="VALID">
          <idno type="IdRef">026403064</idno>
          <idno type="ISNI">0000000121864076</idno>
          <idno type="ROR">https://ror.org/051kpcy16</idno>
          <orgName>Université de Caen Normandie</orgName>
          <orgName type="acronym">UNICAEN</orgName>
          <date type="start">1432-01-01</date>
          <desc>
            <address>
              <addrLine>Esplanade de la Paix - CS 14032 - 14032 CAEN Cedex 5</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.unicaen.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-455934" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-455934" status="VALID">
          <idno type="IdRef">190906332</idno>
          <idno type="ISNI">0000000417859671 </idno>
          <idno type="ROR">https://ror.org/01k40cz91</idno>
          <orgName>Normandie Université</orgName>
          <orgName type="acronym">NU</orgName>
          <date type="start">2015-01-01</date>
          <desc>
            <address>
              <addrLine>Esplanade de la Paix - CS 14032 - 14032 Caen Cedex 5</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.normandie-univ.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>
      </listOrg>
    </back>
  </text>
</TEI>