@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:-NM1F1MRK-M
  skos:prefLabel "modular arithmetic"@en, "arithmétique modulaire"@fr ;
  a skos:Concept ;
  skos:narrower psr:-HD6RHXFS-H .

psr:-DQMTBLQT-5
  skos:prefLabel "cyclotomic field"@en, "extension cyclotomique"@fr ;
  a skos:Concept ;
  skos:narrower psr:-HD6RHXFS-H .

psr:-TT0V0XBL-P
  skos:prefLabel "entier quadratique"@fr, "quadratic integer"@en ;
  a skos:Concept ;
  skos:narrower psr:-HD6RHXFS-H .

psr: a skos:ConceptScheme .
psr:-HD6RHXFS-H
  skos:inScheme psr: ;
  skos:prefLabel "période de Gauss"@fr, "Gaussian period"@en ;
  dc:created "2023-08-17"^^xsd:date ;
  skos:exactMatch <https://en.wikipedia.org/wiki/Gaussian_period>, <https://fr.wikipedia.org/wiki/P%C3%A9riode_de_Gauss> ;
  dc:modified "2024-10-18"^^xsd:date ;
  skos:broader psr:-NM1F1MRK-M, psr:-DQMTBLQT-5, psr:-TT0V0XBL-P ;
  skos:definition """En mathématiques et plus précisément en arithmétique modulaire, une <b>période de Gauss</b> est une certaine sorte de somme de racines de l'unité. Les périodes de Gauss permettent des calculs explicites dans les corps cyclotomiques, en relation avec la théorie de Galois et l'analyse harmonique sur un groupe abélien fini. Elles sont à la base de la théorie classique appelée <b>cyclotomie</b>. Elles furent introduites par le mathématicien allemand Carl Friedrich Gauss et furent à la base de sa théorie de constructions à la règle et au compas. Par exemple, la construction du polygone à 17 côtés qui fit sa réputation dépendait de l'algèbre de telles périodes, dont   <center><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 2\\\\cos \\\\left({\\rac {2\\\\pi }{17}}\\
ight)}">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <mn>2</mn>         <mi>cos</mi>         <mo>⁡<!-- ⁡ --></mo>         <mrow>           <mo>(</mo>           <mrow class="MJX-TeXAtom-ORD">             <mfrac>               <mrow>                 <mn>2</mn>                 <mi>π<!-- π --></mi>               </mrow>               <mn>17</mn>             </mfrac>           </mrow>           <mo>)</mo>         </mrow>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle 2\\\\cos \\\\left({\\rac {2\\\\pi }{17}}\\
ight)}</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/951577b9218f96dc315467442c928953d4eaa3b5" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -2.505ex; width:11.412ex; height:6.176ex;" alt="{\\\\displaystyle 2\\\\cos \\\\left({\\rac {2\\\\pi }{17}}\\
ight)}"></span></center> est un exemple lorsqu'elle est écrite sous la forme   <center><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 \\\\zeta +\\\\zeta ^{16}\\\\quad {\\	ext{avec}}\\\\quad \\\\zeta =\\\\exp \\\\left({\\rac {2{\\
m {i}}\\\\pi }{17}}\\
ight).}">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <mi>ζ<!-- ζ --></mi>         <mo>+</mo>         <msup>           <mi>ζ<!-- ζ --></mi>           <mrow class="MJX-TeXAtom-ORD">             <mn>16</mn>           </mrow>         </msup>         <mspace width="1em"></mspace>         <mrow class="MJX-TeXAtom-ORD">           <mtext>avec</mtext>         </mrow>         <mspace width="1em"></mspace>         <mi>ζ<!-- ζ --></mi>         <mo>=</mo>         <mi>exp</mi>         <mo>⁡<!-- ⁡ --></mo>         <mrow>           <mo>(</mo>           <mrow class="MJX-TeXAtom-ORD">             <mfrac>               <mrow>                 <mn>2</mn>                 <mrow class="MJX-TeXAtom-ORD">                   <mrow class="MJX-TeXAtom-ORD">                     <mi mathvariant="normal">i</mi>                   </mrow>                 </mrow>                 <mi>π<!-- π --></mi>               </mrow>               <mn>17</mn>             </mfrac>           </mrow>           <mo>)</mo>         </mrow>         <mo>.</mo>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle \\\\zeta +\\\\zeta ^{16}\\\\quad {\\	ext{avec}}\\\\quad \\\\zeta =\\\\exp \\\\left({\\rac {2{\\
m {i}}\\\\pi }{17}}\\
ight).}</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/5609fbda43735df6bee3b810dda24246f2f9817b" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -2.505ex; width:31.821ex; height:6.176ex;" alt="{\\\\displaystyle \\\\zeta +\\\\zeta ^{16}\\\\quad {\\	ext{avec}}\\\\quad \\\\zeta =\\\\exp \\\\left({\\rac {2{\\
m {i}}\\\\pi }{17}}\\
ight).}"> </center>
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/P%C3%A9riode_de_Gauss">https://fr.wikipedia.org/wiki/P%C3%A9riode_de_Gauss</a>)"""@fr, """In mathematics, in the area of number theory, a Gaussian period is a certain kind of sum of roots of unity. The periods permit explicit calculations in cyclotomic fields connected with Galois theory and with harmonic analysis (discrete Fourier transform). They are basic in the classical theory called cyclotomy. Closely related is the Gauss sum, a type of exponential sum which is a linear combination of periods. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Gaussian_period">https://en.wikipedia.org/wiki/Gaussian_period</a>)"""@en ;
  a skos:Concept .