@prefix psr: <http://data.loterre.fr/ark:/67375/PSR> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix dc: <http://purl.org/dc/terms/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

psr:-VMZV37JW-B
  skos:prefLabel "corps local"@fr, "local field"@en ;
  a skos:Concept ;
  skos:broader psr:-KNXX8PCL-B .

psr:-FW22HVLN-X
  skos:prefLabel "corps global"@fr, "global field"@en ;
  a skos:Concept ;
  skos:broader psr:-KNXX8PCL-B .

psr:-KNXX8PCL-B
  skos:narrower psr:-FW22HVLN-X, psr:-VMZV37JW-B, psr:-N39P5L3P-9 ;
  skos:prefLabel "algebraic number field"@en, "corps de nombres algébriques"@fr ;
  skos:definition """En mathématiques, un corps de nombres algébriques (ou simplement corps de nombres) est une extension finie <i>K</i> du corps ℚ des nombres rationnels. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Corps_de_nombres">https://fr.wikipedia.org/wiki/Corps_de_nombres</a>)"""@fr, """In mathematics, an <b>algebraic number field</b> (or simply <b>number field</b>) is an extension 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}">
         <semantics>
         <mrow class="MJX-TeXAtom-ORD">
         <mstyle displaystyle="true" scriptlevel="0">
         <mi>K</mi>
         </mstyle>
         </mrow>
         <annotation encoding="application/x-tex">{\\\\displaystyle K}</annotation>
         </semantics>
         </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> of the field of rational numbers <span class="nowrap"><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} }">
         <semantics>
         <mrow class="MJX-TeXAtom-ORD">
         <mstyle displaystyle="true" scriptlevel="0">
         <mrow class="MJX-TeXAtom-ORD">
         <mi mathvariant="double-struck">Q</mi>
         </mrow>
         </mstyle>
         </mrow>
         <annotation encoding="application/x-tex">{\\\\displaystyle \\\\mathbb {Q} }</annotation>
         </semantics>
         </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></span> such that the field extension <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/\\\\mathbb {Q} }">
         <semantics>
         <mrow class="MJX-TeXAtom-ORD">
         <mstyle displaystyle="true" scriptlevel="0">
         <mi>K</mi>
         <mrow class="MJX-TeXAtom-ORD">
         <mo>/</mo>
         </mrow>
         <mrow class="MJX-TeXAtom-ORD">
         <mi mathvariant="double-struck">Q</mi>
         </mrow>
         </mstyle>
         </mrow>
         <annotation encoding="application/x-tex">{\\\\displaystyle K/\\\\mathbb {Q} }</annotation>
         </semantics>
         </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/ce6782a2935122dafec2947d1d7ba168be4399ea" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:5.037ex; height:2.843ex;" alt="K/{\\\\mathbb  {Q}}"></span> has finite degree (and hence is an algebraic field extension).
         Thus <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}">
         <semantics>
         <mrow class="MJX-TeXAtom-ORD">
         <mstyle displaystyle="true" scriptlevel="0">
         <mi>K</mi>
         </mstyle>
         </mrow>
         <annotation encoding="application/x-tex">{\\\\displaystyle K}</annotation>
         </semantics>
         </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 a field that contains <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} }">
         <semantics>
         <mrow class="MJX-TeXAtom-ORD">
         <mstyle displaystyle="true" scriptlevel="0">
         <mrow class="MJX-TeXAtom-ORD">
         <mi mathvariant="double-struck">Q</mi>
         </mrow>
         </mstyle>
         </mrow>
         <annotation encoding="application/x-tex">{\\\\displaystyle \\\\mathbb {Q} }</annotation>
         </semantics>
         </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> and has finite dimension when considered as a vector space over <span class="nowrap"><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} }">
         <semantics>
         <mrow class="MJX-TeXAtom-ORD">
         <mstyle displaystyle="true" scriptlevel="0">
         <mrow class="MJX-TeXAtom-ORD">
         <mi mathvariant="double-struck">Q</mi>
         </mrow>
         </mstyle>
         </mrow>
         <annotation encoding="application/x-tex">{\\\\displaystyle \\\\mathbb {Q} }</annotation>
         </semantics>
         </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>.</span>
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Algebraic_number_field">https://en.wikipedia.org/wiki/Algebraic_number_field</a>)"""@en ;
  skos:exactMatch <https://en.wikipedia.org/wiki/Algebraic_number_field>, <https://fr.wikipedia.org/wiki/Corps_de_nombres> ;
  dc:created "2023-08-22"^^xsd:date ;
  skos:altLabel "number field"@en, "corps de nombres"@en ;
  a skos:Concept ;
  skos:inScheme psr: ;
  skos:broader psr:-F7SFNL4R-1, psr:-GVLT9WHC-N ;
  dc:modified "2023-08-22"^^xsd:date .

psr: a skos:ConceptScheme .
psr:-N39P5L3P-9
  skos:prefLabel "extension quadratique"@fr, "quadratic field"@en ;
  a skos:Concept ;
  skos:broader psr:-KNXX8PCL-B .

psr:-F7SFNL4R-1
  skos:prefLabel "algebraic number theory"@en, "théorie algébrique des nombres"@fr ;
  a skos:Concept ;
  skos:narrower psr:-KNXX8PCL-B .

psr:-GVLT9WHC-N
  skos:prefLabel "théorie de Galois"@fr, "Galois theory"@en ;
  a skos:Concept ;
  skos:narrower psr:-KNXX8PCL-B .