@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:-Q5SP52VZ-9
  skos:broader psr:-DQMTBLQT-5 ;
  skos:prefLabel "regular prime"@en, "nombre premier régulier"@fr ;
  skos:related psr:-T0WTK17L-B ;
  skos:exactMatch <https://fr.wikipedia.org/wiki/Nombre_premier_r%C3%A9gulier>, <https://en.wikipedia.org/wiki/Regular_prime> ;
  dc:modified "2024-10-18"^^xsd:date ;
  skos:definition """In number theory, a regular prime is a special kind of prime number, defined by Ernst Kummer in 1850 to prove certain cases of Fermat's Last Theorem. Regular primes may be defined via the divisibility of either class numbers or of Bernoulli numbers.
<br/>The first few regular odd primes are :
<br/>      3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 41, 43, 47, 53, 61, 71, 73, 79, 83, 89, 97, 107, 109, 113, 127,
<br/>      137, 139, 151, 163, 167, 173, 179, 181, 191, 193, 197, 199, ... (sequence A007703 in the OEIS).  
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Regular_prime">https://en.wikipedia.org/wiki/Regular_prime</a>)"""@en, """En mathématiques, un <b>nombre premier</b> <i>p</i> &gt; 2 est dit <b>régulier</b> si une certaine propriété liée aux racines du polynôme <i>X<sup>p</sup></i> – 1 est vérifiée. Cette notion a été introduite par Ernst Kummer en 1847, en vue de démontrer le « dernier théorème de Fermat »</span>, dans un article intitulé <span class="citation not_fr_quote" lang="de">« <span class="italique">Beweis des Fermat'schen Satzes der Unmöglichkeit von x<sup>λ</sup>+y<sup>λ</sup> = z<sup>λ</sup> für eine unendliche Anzahl Primzahlen λ</span> »</span>.  
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Nombre_premier_r%C3%A9gulier">https://fr.wikipedia.org/wiki/Nombre_premier_r%C3%A9gulier</a>)"""@fr ;
  skos:inScheme psr: ;
  dc:created "2023-08-17"^^xsd:date ;
  a skos:Concept .

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

psr:-T0WTK17L-B
  skos:prefLabel "nombre premier"@fr, "prime number"@en ;
  a skos:Concept ;
  skos:related psr:-Q5SP52VZ-9 .

