@prefix psr: <http://data.loterre.fr/ark:/67375/PSR> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .

psr: a skos:ConceptScheme .
psr:-D681HJ5Q-G
  skos:prefLabel "anneau commutatif"@fr, "commutative ring"@en ;
  a skos:Concept ;
  skos:narrower psr:-HMT8WTM7-4 .

psr:-HMT8WTM7-4
  skos:definition """En algèbre commutative, l'<b>anneau des entiers</b> est une construction que l'on peut obtenir à partir de tout corps de nombres en considérant ses éléments entiers. Par exemple, l'anneau des entiers de <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\\\\displaystyle \\\\mathbb {Q} }">
<br/>  <semantics>
<br/>    <mrow class="MJX-TeXAtom-ORD">
<br/>      <mstyle displaystyle="true" scriptlevel="0">
<br/>        <mrow class="MJX-TeXAtom-ORD">
<br/>          <mi mathvariant="double-struck">Q</mi>
<br/>        </mrow>
<br/>      </mstyle>
<br/>    </mrow>
<br/>    <annotation encoding="application/x-tex">{\\\\displaystyle \\\\mathbb {Q} }</annotation>
<br/>  </semantics>
<br/></math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/c5909f0b54e4718fa24d5fd34d54189d24a66e9a" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:1.808ex; height:2.509ex;" alt="\\\\mathbb{Q} "></span> est <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\\\\displaystyle {\\\\mathcal {O}}_{\\\\mathbb {Q} }=\\\\mathbb {Z} }">
<br/>  <semantics>
<br/>    <mrow class="MJX-TeXAtom-ORD">
<br/>      <mstyle displaystyle="true" scriptlevel="0">
<br/>        <msub>
<br/>          <mrow class="MJX-TeXAtom-ORD">
<br/>            <mrow class="MJX-TeXAtom-ORD">
<br/>              <mi class="MJX-tex-caligraphic" mathvariant="script">O</mi>
<br/>            </mrow>
<br/>          </mrow>
<br/>          <mrow class="MJX-TeXAtom-ORD">
<br/>            <mrow class="MJX-TeXAtom-ORD">
<br/>              <mi mathvariant="double-struck">Q</mi>
<br/>            </mrow>
<br/>          </mrow>
<br/>        </msub>
<br/>        <mo>=</mo>
<br/>        <mrow class="MJX-TeXAtom-ORD">
<br/>          <mi mathvariant="double-struck">Z</mi>
<br/>        </mrow>
<br/>      </mstyle>
<br/>    </mrow>
<br/>    <annotation encoding="application/x-tex">{\\\\displaystyle {\\\\mathcal {O}}_{\\\\mathbb {Q} }=\\\\mathbb {Z} }</annotation>
<br/>  </semantics>
<br/></math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/37b7b925658a586a0981edb76cc9d259ecb2f0aa" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:8.01ex; height:2.676ex;" alt="{\\\\displaystyle {\\\\mathcal {O}}_{\\\\mathbb {Q} }=\\\\mathbb {Z} }"></span>. Il existe des algorithmes efficaces pour calculer cet anneau pour tout corps de nombres 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Anneau_des_entiers">https://fr.wikipedia.org/wiki/Anneau_des_entiers</a>)"""@fr, """In mathematics, the <b>ring of integers</b> of an algebraic number field <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\\\\displaystyle K}">
<br/>  <semantics>
<br/>    <mrow class="MJX-TeXAtom-ORD">
<br/>      <mstyle displaystyle="true" scriptlevel="0">
<br/>        <mi>K</mi>
<br/>      </mstyle>
<br/>    </mrow>
<br/>    <annotation encoding="application/x-tex">{\\\\displaystyle K}</annotation>
<br/>  </semantics>
<br/></math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/2b76fce82a62ed5461908f0dc8f037de4e3686b0" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.066ex; height:2.176ex;" alt="K"></span> is the ring of all algebraic integers contained in <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\\\\displaystyle K}">
<br/>  <semantics>
<br/>    <mrow class="MJX-TeXAtom-ORD">
<br/>      <mstyle displaystyle="true" scriptlevel="0">
<br/>        <mi>K</mi>
<br/>      </mstyle>
<br/>    </mrow>
<br/>    <annotation encoding="application/x-tex">{\\\\displaystyle K}</annotation>
<br/>  </semantics>
<br/></math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/2b76fce82a62ed5461908f0dc8f037de4e3686b0" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.066ex; height:2.176ex;" alt="K"></span>. An algebraic integer is a root of a monic polynomial with integer coefficients: <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\\\\displaystyle x^{n}+c_{n-1}x^{n-1}+\\\\cdots +c_{0}}">
<br/>  <semantics>
<br/>    <mrow class="MJX-TeXAtom-ORD">
<br/>      <mstyle displaystyle="true" scriptlevel="0">
<br/>        <msup>
<br/>          <mi>x</mi>
<br/>          <mrow class="MJX-TeXAtom-ORD">
<br/>            <mi>n</mi>
<br/>          </mrow>
<br/>        </msup>
<br/>        <mo>+</mo>
<br/>        <msub>
<br/>          <mi>c</mi>
<br/>          <mrow class="MJX-TeXAtom-ORD">
<br/>            <mi>n</mi>
<br/>            <mo>−<!-- − --></mo>
<br/>            <mn>1</mn>
<br/>          </mrow>
<br/>        </msub>
<br/>        <msup>
<br/>          <mi>x</mi>
<br/>          <mrow class="MJX-TeXAtom-ORD">
<br/>            <mi>n</mi>
<br/>            <mo>−<!-- − --></mo>
<br/>            <mn>1</mn>
<br/>          </mrow>
<br/>        </msup>
<br/>        <mo>+</mo>
<br/>        <mo>⋯<!-- ⋯ --></mo>
<br/>        <mo>+</mo>
<br/>        <msub>
<br/>          <mi>c</mi>
<br/>          <mrow class="MJX-TeXAtom-ORD">
<br/>            <mn>0</mn>
<br/>          </mrow>
<br/>        </msub>
<br/>      </mstyle>
<br/>    </mrow>
<br/>    <annotation encoding="application/x-tex">{\\\\displaystyle x^{n}+c_{n-1}x^{n-1}+\\\\cdots +c_{0}}</annotation>
<br/>  </semantics>
<br/></math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/b3ebcff6f598b37e3d928fe6aaf760c3793a3c41" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:24.828ex; height:3.009ex;" alt="{\\\\displaystyle x^{n}+c_{n-1}x^{n-1}+\\\\cdots +c_{0}}"></span>. This ring is often denoted by <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\\\\displaystyle O_{K}}">
<br/>  <semantics>
<br/>    <mrow class="MJX-TeXAtom-ORD">
<br/>      <mstyle displaystyle="true" scriptlevel="0">
<br/>        <msub>
<br/>          <mi>O</mi>
<br/>          <mrow class="MJX-TeXAtom-ORD">
<br/>            <mi>K</mi>
<br/>          </mrow>
<br/>        </msub>
<br/>      </mstyle>
<br/>    </mrow>
<br/>    <annotation encoding="application/x-tex">{\\\\displaystyle O_{K}}</annotation>
<br/>  </semantics>
<br/></math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/8a713aa1094f85261cb18c4d55bb9f3d70055be9" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:3.466ex; height:2.509ex;" alt="O_K"></span> or <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\\\\displaystyle {\\\\mathcal {O}}_{K}}">
<br/>  <semantics>
<br/>    <mrow class="MJX-TeXAtom-ORD">
<br/>      <mstyle displaystyle="true" scriptlevel="0">
<br/>        <msub>
<br/>          <mrow class="MJX-TeXAtom-ORD">
<br/>            <mrow class="MJX-TeXAtom-ORD">
<br/>              <mi class="MJX-tex-caligraphic" mathvariant="script">O</mi>
<br/>            </mrow>
<br/>          </mrow>
<br/>          <mrow class="MJX-TeXAtom-ORD">
<br/>            <mi>K</mi>
<br/>          </mrow>
<br/>        </msub>
<br/>      </mstyle>
<br/>    </mrow>
<br/>    <annotation encoding="application/x-tex">{\\\\displaystyle {\\\\mathcal {O}}_{K}}</annotation>
<br/>  </semantics>
<br/></math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/180e5aded86734744a16ec9c668976b5dbafd4ef" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:3.543ex; height:2.509ex;" alt="{\\\\mathcal  O}_{K}"></span>. Since any integer belongs to <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\\\\displaystyle K}">
<br/>  <semantics>
<br/>    <mrow class="MJX-TeXAtom-ORD">
<br/>      <mstyle displaystyle="true" scriptlevel="0">
<br/>        <mi>K</mi>
<br/>      </mstyle>
<br/>    </mrow>
<br/>    <annotation encoding="application/x-tex">{\\\\displaystyle K}</annotation>
<br/>  </semantics>
<br/></math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/2b76fce82a62ed5461908f0dc8f037de4e3686b0" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.066ex; height:2.176ex;" alt="K"></span> and is an integral element of <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\\\\displaystyle K}">
<br/>  <semantics>
<br/>    <mrow class="MJX-TeXAtom-ORD">
<br/>      <mstyle displaystyle="true" scriptlevel="0">
<br/>        <mi>K</mi>
<br/>      </mstyle>
<br/>    </mrow>
<br/>    <annotation encoding="application/x-tex">{\\\\displaystyle K}</annotation>
<br/>  </semantics>
<br/></math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/2b76fce82a62ed5461908f0dc8f037de4e3686b0" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.066ex; height:2.176ex;" alt="K"></span>, the ring <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\\\\displaystyle \\\\mathbb {Z} }">
<br/>  <semantics>
<br/>    <mrow class="MJX-TeXAtom-ORD">
<br/>      <mstyle displaystyle="true" scriptlevel="0">
<br/>        <mrow class="MJX-TeXAtom-ORD">
<br/>          <mi mathvariant="double-struck">Z</mi>
<br/>        </mrow>
<br/>      </mstyle>
<br/>    </mrow>
<br/>    <annotation encoding="application/x-tex">{\\\\displaystyle \\\\mathbb {Z} }</annotation>
<br/>  </semantics>
<br/></math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/449494a083e0a1fda2b61c62b2f09b6bee4633dc" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.55ex; height:2.176ex;" alt="\\\\mathbb {Z} "></span> is always a subring of <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\\\\displaystyle O_{K}}">
<br/>  <semantics>
<br/>    <mrow class="MJX-TeXAtom-ORD">
<br/>      <mstyle displaystyle="true" scriptlevel="0">
<br/>        <msub>
<br/>          <mi>O</mi>
<br/>          <mrow class="MJX-TeXAtom-ORD">
<br/>            <mi>K</mi>
<br/>          </mrow>
<br/>        </msub>
<br/>      </mstyle>
<br/>    </mrow>
<br/>    <annotation encoding="application/x-tex">{\\\\displaystyle O_{K}}</annotation>
<br/>  </semantics>
<br/></math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/8a713aa1094f85261cb18c4d55bb9f3d70055be9" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:3.466ex; height:2.509ex;" alt="O_K"></span>. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Ring_of_integers">https://en.wikipedia.org/wiki/Ring_of_integers</a>)"""@en ;
  a skos:Concept ;
  skos:inScheme psr: ;
  skos:broader psr:-D681HJ5Q-G ;
  skos:prefLabel "anneau des entiers"@fr, "ring of integers"@en ;
  skos:exactMatch <https://fr.wikipedia.org/wiki/Anneau_des_entiers>, <https://en.wikipedia.org/wiki/Ring_of_integers> .

