@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:-W7536CMR-1
  skos:prefLabel "théorème d'Euclide-Euler"@fr, "Euclid-Euler theorem"@en ;
  a skos:Concept ;
  skos:related psr:-HSJZMR87-2 .

psr:-CVDPQB0Q-M
  skos:prefLabel "natural numbers"@en, "entier naturel"@fr ;
  a skos:Concept ;
  skos:narrower psr:-HSJZMR87-2 .

psr:-HSJZMR87-2
  skos:broader psr:-CVDPQB0Q-M, psr:-FM1M1PDT-5 ;
  dc:modified "2023-07-26"^^xsd:date ;
  skos:prefLabel "nombre de Mersenne premier"@fr, "Mersenne prime"@en ;
  skos:definition """En mathématiques et plus précisément en arithmétique, un <b>nombre de Mersenne</b> est un nombre de la forme <span class="texhtml">2<sup><i>n</i></sup> − 1</span> (souvent noté <var>M<sub>n</sub></var>), où <var>n</var> est un entier naturel non nul&nbsp;; un <b>nombre de Mersenne premier</b> (ou <b>nombre premier de Mersenne</b>) est donc un nombre premier de cette forme. Ces nombres doivent leur nom au religieux érudit et mathématicien français du <abbr class="abbr" title="17ᵉ siècle"><span class="romain">XVII</span><sup style="font-size:72%">e</sup></abbr>&nbsp;siècle Marin Mersenne&nbsp;; mais, près de 2&nbsp;000&nbsp;ans auparavant, Euclide les utilisait déjà pour étudier les nombres parfaits. Avant Mersenne, et même un certain temps après lui, la recherche des nombres de Mersenne premiers est intrinsèquement liée à celle des nombres parfaits. 
         <br/>Si le nombre de Mersenne <span class="texhtml">2<sup><i>n</i></sup> − 1</span> est premier, alors <var>n</var> est premier. Par exemple, les nombres de Mersenne <span class="texhtml">2<sup>2</sup> − 1 = 3, 2<sup>3</sup> − 1 = 7</span> sont premiers, et leurs exposants <span class="texhtml">2, 3</span> le sont bien aussi. Cette condition que <var>n</var> soit premier est nécessaire pour que le nombre de Mersenne <span class="texhtml">2<sup><i>n</i></sup> − 1</span> soit premier. Par exemple, <span class="texhtml">1, 4</span> ne sont pas premiers, et les nombres de Mersenne <span class="texhtml">2<sup>1</sup> − 1 = 1, 2<sup>4</sup> − 1 = 15 = 3 × 5</span> ne le sont effectivement pas. Mais cette condition n'est pas suffisante. Par exemple, <span class="texhtml">11</span> est premier, mais le nombre de Mersenne <span class="texhtml">2<sup>11</sup> – 1 = 2 047 = 23 × 89</span> ne l'est pas. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Nombre_de_Mersenne_premier">https://fr.wikipedia.org/wiki/Nombre_de_Mersenne_premier</a>)"""@fr, """In mathematics, a <b>Mersenne prime</b> is a prime number that is one less than a power of two.  That is, it is a prime number of the form <span class="texhtml"><i>M<sub>n</sub></i> = 2<sup><i>n</i></sup> − 1</span> for some integer <span class="texhtml"><i>n</i></span>.  They are named after Marin Mersenne, a French Minim friar, who studied them in the early 17th century.  If <span class="texhtml"><i>n</i></span> is a composite number then so is <span class="texhtml">2<sup><i>n</i></sup> − 1</span>.  Therefore, an equivalent definition of the Mersenne primes is that they are the prime numbers of the form <span class="texhtml"><i>M<sub>p</sub></i> = 2<sup><i>p</i></sup> − 1</span> for some prime <span class="texhtml"><i>p</i></span>.
<br/>The exponents <span class="texhtml"><i>n</i></span> which give Mersenne primes are 2, 3, 5, 7, 13, 17, 19, 31,&nbsp;... (sequence <span class="nowrap external">A000043</span> in the OEIS) and the resulting Mersenne primes are 3, 7, 31, 127, 8191, 131071, 524287, 2147483647,&nbsp;... (sequence <span class="nowrap external">A000668</span> in the OEIS).
<br/>Numbers of the form <span class="texhtml"><i>M<sub>n</sub></i> = 2<sup><i>n</i></sup> − 1</span> without the primality requirement may be called <b>Mersenne numbers</b>.  Sometimes, however, Mersenne numbers are defined to have the additional requirement that <span class="texhtml"><i>n</i></span> be prime.
<br/>The smallest composite Mersenne number with prime exponent <i>n</i> is <span class="nowrap">2<sup>11</sup> − 1 = 2047 = 23 × 89</span>. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Mersenne_prime">https://en.wikipedia.org/wiki/Mersenne_prime</a>)"""@en ;
  skos:inScheme psr: ;
  skos:exactMatch <https://fr.wikipedia.org/wiki/Nombre_de_Mersenne_premier>, <https://en.wikipedia.org/wiki/Mersenne_prime> ;
  skos:altLabel "nombre premier de Mersenne"@fr ;
  a skos:Concept ;
  skos:related psr:-W7536CMR-1 .

psr: a skos:ConceptScheme .
psr:-FM1M1PDT-5
  skos:prefLabel "suite d'entiers"@fr, "integer sequence"@en ;
  a skos:Concept ;
  skos:narrower psr:-HSJZMR87-2 .

