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

psr:-RJRGLFBW-4
  dc:modified "2024-10-18"^^xsd:date ;
  skos:altLabel "unique factorization theorem"@en, "théorème de décomposition en produit de facteurs premiers"@fr, "prime factorization theorem"@en ;
  skos:definition """En mathématiques, et en particulier en arithmétique élémentaire, le <b>théorème fondamental de l'arithmétique</b> ou <b>théorème de décomposition en produit de facteurs premiers</b> s'énonce ainsi : tout entier strictement positif peut être écrit comme un produit de nombres premiers d'une unique façon, à l'ordre près des facteurs. Par exemple, nous pouvons écrire que : 6 936 = 2<sup>3</sup> × 3 × 17<sup>2</sup> ou encore 1 200 = 2<sup>4</sup> × 3 × 5<sup>2</sup> et il n'existe aucune autre factorisation de 6 936 ou 1 200 sous forme de produits de nombres premiers, excepté par réarrangement des facteurs ci-dessus. Le nombre 1 est le produit de zéro nombre premier (voir produit vide), de sorte que le théorème est aussi vrai pour 1. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_fondamental_de_l%27arithm%C3%A9tique">https://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_fondamental_de_l%27arithm%C3%A9tique</a>)"""@fr, """In mathematics, the <b>fundamental theorem of arithmetic</b>, also called the <b>unique factorization theorem</b> and <b>prime factorization theorem</b>, states that every integer greater than 1 can be represented uniquely as a product of prime numbers, up to the order of the factors. For example,  <dl><dd><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 1200=2^{4}\\\\cdot 3^{1}\\\\cdot 5^{2}=(2\\\\cdot 2\\\\cdot 2\\\\cdot 2)\\\\cdot 3\\\\cdot (5\\\\cdot 5)=5\\\\cdot 2\\\\cdot 5\\\\cdot 2\\\\cdot 3\\\\cdot 2\\\\cdot 2=\\\\ldots }">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <mn>1200</mn>         <mo>=</mo>         <msup>           <mn>2</mn>           <mrow class="MJX-TeXAtom-ORD">             <mn>4</mn>           </mrow>         </msup>         <mo>⋅<!-- ⋅ --></mo>         <msup>           <mn>3</mn>           <mrow class="MJX-TeXAtom-ORD">             <mn>1</mn>           </mrow>         </msup>         <mo>⋅<!-- ⋅ --></mo>         <msup>           <mn>5</mn>           <mrow class="MJX-TeXAtom-ORD">             <mn>2</mn>           </mrow>         </msup>         <mo>=</mo>         <mo stretchy="false">(</mo>         <mn>2</mn>         <mo>⋅<!-- ⋅ --></mo>         <mn>2</mn>         <mo>⋅<!-- ⋅ --></mo>         <mn>2</mn>         <mo>⋅<!-- ⋅ --></mo>         <mn>2</mn>         <mo stretchy="false">)</mo>         <mo>⋅<!-- ⋅ --></mo>         <mn>3</mn>         <mo>⋅<!-- ⋅ --></mo>         <mo stretchy="false">(</mo>         <mn>5</mn>         <mo>⋅<!-- ⋅ --></mo>         <mn>5</mn>         <mo stretchy="false">)</mo>         <mo>=</mo>         <mn>5</mn>         <mo>⋅<!-- ⋅ --></mo>         <mn>2</mn>         <mo>⋅<!-- ⋅ --></mo>         <mn>5</mn>         <mo>⋅<!-- ⋅ --></mo>         <mn>2</mn>         <mo>⋅<!-- ⋅ --></mo>         <mn>3</mn>         <mo>⋅<!-- ⋅ --></mo>         <mn>2</mn>         <mo>⋅<!-- ⋅ --></mo>         <mn>2</mn>         <mo>=</mo>         <mo>…<!-- … --></mo>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle 1200=2^{4}\\\\cdot 3^{1}\\\\cdot 5^{2}=(2\\\\cdot 2\\\\cdot 2\\\\cdot 2)\\\\cdot 3\\\\cdot (5\\\\cdot 5)=5\\\\cdot 2\\\\cdot 5\\\\cdot 2\\\\cdot 3\\\\cdot 2\\\\cdot 2=\\\\ldots }</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/ce70b65d42e425d1d3811fcce45bbab9b001d12e" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:69.817ex; height:3.176ex;" alt="{\\\\displaystyle 1200=2^{4}\\\\cdot 3^{1}\\\\cdot 5^{2}=(2\\\\cdot 2\\\\cdot 2\\\\cdot 2)\\\\cdot 3\\\\cdot (5\\\\cdot 5)=5\\\\cdot 2\\\\cdot 5\\\\cdot 2\\\\cdot 3\\\\cdot 2\\\\cdot 2=\\\\ldots }"></span></dd></dl> The theorem says two things about this example: first, that 1200 <em>can</em> be represented as a product of primes, and second, that no matter how this is done, there will always be exactly four 2s, one 3, two 5s, and no other primes in the product. The requirement that the factors be prime is necessary: factorizations containing composite numbers may not be unique  (for example, <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 12=2\\\\cdot 6=3\\\\cdot 4}">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <mn>12</mn>         <mo>=</mo>         <mn>2</mn>         <mo>⋅<!-- ⋅ --></mo>         <mn>6</mn>         <mo>=</mo>         <mn>3</mn>         <mo>⋅<!-- ⋅ --></mo>         <mn>4</mn>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle 12=2\\\\cdot 6=3\\\\cdot 4}</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/1609052c6ed1ed98f9c149940f9679e31668f2dc" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:16.53ex; height:2.176ex;" alt="{\\\\displaystyle 12=2\\\\cdot 6=3\\\\cdot 4}"></span>). This theorem is one of the main reasons why 1 is not considered a prime number: if 1 were prime, then factorization into primes would not be unique; for example, <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=2\\\\cdot 1=2\\\\cdot 1\\\\cdot 1=\\\\ldots }">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <mn>2</mn>         <mo>=</mo>         <mn>2</mn>         <mo>⋅<!-- ⋅ --></mo>         <mn>1</mn>         <mo>=</mo>         <mn>2</mn>         <mo>⋅<!-- ⋅ --></mo>         <mn>1</mn>         <mo>⋅<!-- ⋅ --></mo>         <mn>1</mn>         <mo>=</mo>         <mo>…<!-- … --></mo>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle 2=2\\\\cdot 1=2\\\\cdot 1\\\\cdot 1=\\\\ldots }</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/30e235337dcfc0f8ac7cfec7a5e719a26149cd84" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:24.031ex; height:2.176ex;" alt="{\\\\displaystyle 2=2\\\\cdot 1=2\\\\cdot 1\\\\cdot 1=\\\\ldots }"></span> The theorem generalizes to other algebraic structures that are called unique factorization domains and include principal ideal domains, Euclidean domains, and polynomial rings over a field. However, the theorem does not hold for algebraic integers. This failure of unique factorization is one of the reasons for the difficulty of the proof of Fermat's Last Theorem. The implicit use of unique factorization in rings of algebraic integers is behind the error of many of the numerous false proofs that have been written during the 358 years between Fermat's statement and Wiles's proof. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Fundamental_theorem_of_arithmetic">https://en.wikipedia.org/wiki/Fundamental_theorem_of_arithmetic</a>)"""@en ;
  skos:exactMatch <https://en.wikipedia.org/wiki/Fundamental_theorem_of_arithmetic>, <https://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_fondamental_de_l%27arithm%C3%A9tique> ;
  skos:broader psr:-XJWLBZKZ-8 ;
  skos:prefLabel "théorème fondamental de l'arithmétique"@fr, "fundamental theorem of arithmetic"@en ;
  skos:inScheme psr: ;
  a skos:Concept .

psr:-XJWLBZKZ-8
  skos:prefLabel "elementary arithmetic"@en, "arithmétique élémentaire"@fr ;
  a skos:Concept ;
  skos:narrower psr:-RJRGLFBW-4 .

psr: a skos:ConceptScheme .
