@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:-VHDD6KJX-8
  skos:prefLabel "analytic number theory"@en, "théorie analytique des nombres"@fr ;
  a skos:Concept ;
  skos:narrower psr:-FCZQ5314-Q .

psr:-SNTKWPJM-D
  skos:prefLabel "polynôme"@fr, "polynomial"@en ;
  a skos:Concept ;
  skos:narrower psr:-FCZQ5314-Q .

psr:-FCZQ5314-Q
  skos:definition """In mathematics, the <b>Mahler measure</b> <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 M(p)}">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <mi>M</mi>         <mo stretchy="false">(</mo>         <mi>p</mi>         <mo stretchy="false">)</mo>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle M(p)}</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/116e33f2c765b0810890faaba89ec7ec2249161d" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:5.421ex; height:2.843ex;" alt="M(p)"></span> <b>of a polynomial</b> <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 p(z)}">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <mi>p</mi>         <mo stretchy="false">(</mo>         <mi>z</mi>         <mo stretchy="false">)</mo>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle p(z)}</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/601d64b4ef16c5669c6c083c2998e53a6ec9c9d1" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.838ex; margin-left: -0.089ex; width:4.156ex; height:2.843ex;" alt="p(z)"></span> with complex coefficients is defined as <div class="mwe-math-element"><div class="mwe-math-mathml-display mwe-math-mathml-a11y" style="display: none;"><math display="block" xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\\\\displaystyle M(p)=|a|\\\\prod _{|\\\\alpha _{i}|\\\\geq 1}|\\\\alpha _{i}|=|a|\\\\prod _{i=1}^{n}\\\\max\\\\{1,|\\\\alpha _{i}|\\\\},}">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <mi>M</mi>         <mo stretchy="false">(</mo>         <mi>p</mi>         <mo stretchy="false">)</mo>         <mo>=</mo>         <mrow class="MJX-TeXAtom-ORD">           <mo stretchy="false">|</mo>         </mrow>         <mi>a</mi>         <mrow class="MJX-TeXAtom-ORD">           <mo stretchy="false">|</mo>         </mrow>         <munder>           <mo>∏<!-- ∏ --></mo>           <mrow class="MJX-TeXAtom-ORD">             <mrow class="MJX-TeXAtom-ORD">               <mo stretchy="false">|</mo>             </mrow>             <msub>               <mi>α<!-- α --></mi>               <mrow class="MJX-TeXAtom-ORD">                 <mi>i</mi>               </mrow>             </msub>             <mrow class="MJX-TeXAtom-ORD">               <mo stretchy="false">|</mo>             </mrow>             <mo>≥<!-- ≥ --></mo>             <mn>1</mn>           </mrow>         </munder>         <mrow class="MJX-TeXAtom-ORD">           <mo stretchy="false">|</mo>         </mrow>         <msub>           <mi>α<!-- α --></mi>           <mrow class="MJX-TeXAtom-ORD">             <mi>i</mi>           </mrow>         </msub>         <mrow class="MJX-TeXAtom-ORD">           <mo stretchy="false">|</mo>         </mrow>         <mo>=</mo>         <mrow class="MJX-TeXAtom-ORD">           <mo stretchy="false">|</mo>         </mrow>         <mi>a</mi>         <mrow class="MJX-TeXAtom-ORD">           <mo stretchy="false">|</mo>         </mrow>         <munderover>           <mo>∏<!-- ∏ --></mo>           <mrow class="MJX-TeXAtom-ORD">             <mi>i</mi>             <mo>=</mo>             <mn>1</mn>           </mrow>           <mrow class="MJX-TeXAtom-ORD">             <mi>n</mi>           </mrow>         </munderover>         <mo movablelimits="true" form="prefix">max</mo>         <mo fence="false" stretchy="false">{</mo>         <mn>1</mn>         <mo>,</mo>         <mrow class="MJX-TeXAtom-ORD">           <mo stretchy="false">|</mo>         </mrow>         <msub>           <mi>α<!-- α --></mi>           <mrow class="MJX-TeXAtom-ORD">             <mi>i</mi>           </mrow>         </msub>         <mrow class="MJX-TeXAtom-ORD">           <mo stretchy="false">|</mo>         </mrow>         <mo fence="false" stretchy="false">}</mo>         <mo>,</mo>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle M(p)=|a|\\\\prod _{|\\\\alpha _{i}|\\\\geq 1}|\\\\alpha _{i}|=|a|\\\\prod _{i=1}^{n}\\\\max\\\\{1,|\\\\alpha _{i}|\\\\},}</annotation>   </semantics> </math></div><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/9933f2e97cd96f6aa32c3e2d62e7fa0dccdb4846" class="mwe-math-fallback-image-display mw-invert" aria-hidden="true" style="vertical-align: -3.505ex; width:42.531ex; height:7.343ex;" alt="{\\\\displaystyle M(p)=|a|\\\\prod _{|\\\\alpha _{i}|\\\\geq 1}|\\\\alpha _{i}|=|a|\\\\prod _{i=1}^{n}\\\\max\\\\{1,|\\\\alpha _{i}|\\\\},}"></div> where <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 p(z)}">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <mi>p</mi>         <mo stretchy="false">(</mo>         <mi>z</mi>         <mo stretchy="false">)</mo>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle p(z)}</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/601d64b4ef16c5669c6c083c2998e53a6ec9c9d1" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.838ex; margin-left: -0.089ex; width:4.156ex; height:2.843ex;" alt="p(z)"></span> factorizes over the complex numbers <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 {C} }">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <mrow class="MJX-TeXAtom-ORD">           <mi mathvariant="double-struck">C</mi>         </mrow>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle \\\\mathbb {C} }</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/f9add4085095b9b6d28d045fd9c92c2c09f549a7" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.678ex; height:2.176ex;" alt="\\\\mathbb {C} "></span> as <div class="mwe-math-element"><div class="mwe-math-mathml-display mwe-math-mathml-a11y" style="display: none;"><math display="block" xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\\\\displaystyle p(z)=a(z-\\\\alpha _{1})(z-\\\\alpha _{2})\\\\cdots (z-\\\\alpha _{n}).}">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <mi>p</mi>         <mo stretchy="false">(</mo>         <mi>z</mi>         <mo stretchy="false">)</mo>         <mo>=</mo>         <mi>a</mi>         <mo stretchy="false">(</mo>         <mi>z</mi>         <mo>−<!-- − --></mo>         <msub>           <mi>α<!-- α --></mi>           <mrow class="MJX-TeXAtom-ORD">             <mn>1</mn>           </mrow>         </msub>         <mo stretchy="false">)</mo>         <mo stretchy="false">(</mo>         <mi>z</mi>         <mo>−<!-- − --></mo>         <msub>           <mi>α<!-- α --></mi>           <mrow class="MJX-TeXAtom-ORD">             <mn>2</mn>           </mrow>         </msub>         <mo stretchy="false">)</mo>         <mo>⋯<!-- ⋯ --></mo>         <mo stretchy="false">(</mo>         <mi>z</mi>         <mo>−<!-- − --></mo>         <msub>           <mi>α<!-- α --></mi>           <mrow class="MJX-TeXAtom-ORD">             <mi>n</mi>           </mrow>         </msub>         <mo stretchy="false">)</mo>         <mo>.</mo>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle p(z)=a(z-\\\\alpha _{1})(z-\\\\alpha _{2})\\\\cdots (z-\\\\alpha _{n}).}</annotation>   </semantics> </math></div><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/8dc77fdb96e0666b5a6ae0dc759a07ce13273c81" class="mwe-math-fallback-image-display mw-invert" aria-hidden="true" style="vertical-align: -0.838ex; margin-left: -0.089ex; width:37.632ex; height:2.843ex;" alt="{\\\\displaystyle p(z)=a(z-\\\\alpha _{1})(z-\\\\alpha _{2})\\\\cdots (z-\\\\alpha _{n}).}"></div> The Mahler measure can be viewed as a kind of height function. Using Jensen's formula, it can be proved that this measure is also equal to the geometric mean of <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 |p(z)|}">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <mrow class="MJX-TeXAtom-ORD">           <mo stretchy="false">|</mo>         </mrow>         <mi>p</mi>         <mo stretchy="false">(</mo>         <mi>z</mi>         <mo stretchy="false">)</mo>         <mrow class="MJX-TeXAtom-ORD">           <mo stretchy="false">|</mo>         </mrow>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle |p(z)|}</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/7e816c4e53525e41264a062770b1daee3e34bd44" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:5.361ex; height:2.843ex;" alt="|p(z)|"></span> for <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 z}">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <mi>z</mi>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle z}</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/bf368e72c009decd9b6686ee84a375632e11de98" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.088ex; height:1.676ex;" alt="z"></span> on the unit circle (i.e., <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 |z|=1}">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <mrow class="MJX-TeXAtom-ORD">           <mo stretchy="false">|</mo>         </mrow>         <mi>z</mi>         <mrow class="MJX-TeXAtom-ORD">           <mo stretchy="false">|</mo>         </mrow>         <mo>=</mo>         <mn>1</mn>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle |z|=1}</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/b3749e5cd50ee274eb73aea2ade8441687140a66" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:6.643ex; height:2.843ex;" alt="{\\\\displaystyle |z|=1}"></span>): <div class="mwe-math-element"><div class="mwe-math-mathml-display mwe-math-mathml-a11y" style="display: none;"><math display="block" xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\\\\displaystyle M(p)=\\\\exp \\\\left(\\\\int _{0}^{1}\\\\ln(|p(e^{2\\\\pi i\\	heta })|)\\\\,d\\	heta \\ight).}">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <mi>M</mi>         <mo stretchy="false">(</mo>         <mi>p</mi>         <mo stretchy="false">)</mo>         <mo>=</mo>         <mi>exp</mi>         <mo>⁡<!-- ⁡ --></mo>         <mrow>           <mo>(</mo>           <mrow>             <msubsup>               <mo>∫<!-- ∫ --></mo>               <mrow class="MJX-TeXAtom-ORD">                 <mn>0</mn>               </mrow>               <mrow class="MJX-TeXAtom-ORD">                 <mn>1</mn>               </mrow>             </msubsup>             <mi>ln</mi>             <mo>⁡<!-- ⁡ --></mo>             <mo stretchy="false">(</mo>             <mrow class="MJX-TeXAtom-ORD">               <mo stretchy="false">|</mo>             </mrow>             <mi>p</mi>             <mo stretchy="false">(</mo>             <msup>               <mi>e</mi>               <mrow class="MJX-TeXAtom-ORD">                 <mn>2</mn>                 <mi>π<!-- π --></mi>                 <mi>i</mi>                 <mi>θ<!-- θ --></mi>               </mrow>             </msup>             <mo stretchy="false">)</mo>             <mrow class="MJX-TeXAtom-ORD">               <mo stretchy="false">|</mo>             </mrow>             <mo stretchy="false">)</mo>             <mspace width="thinmathspace"></mspace>             <mi>d</mi>             <mi>θ<!-- θ --></mi>           </mrow>           <mo>)</mo>         </mrow>         <mo>.</mo>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle M(p)=\\\\exp \\\\left(\\\\int _{0}^{1}\\\\ln(|p(e^{2\\\\pi i\\	heta })|)\\\\,d\\	heta \\ight).}</annotation>   </semantics> </math></div><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/1eb454ebad2f10dc92b419b8c5891f25e2e836fd" class="mwe-math-fallback-image-display mw-invert" aria-hidden="true" style="vertical-align: -2.505ex; width:35.178ex; height:6.343ex;" alt="{\\\\displaystyle M(p)=\\\\exp \\\\left(\\\\int _{0}^{1}\\\\ln(|p(e^{2\\\\pi i\\	heta })|)\\\\,d\\	heta \\ight).}"></div> By extension, the <b>Mahler measure of an algebraic number</b> <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 \\\\alpha }">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <mi>α<!-- α --></mi>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle \\\\alpha }</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/b79333175c8b3f0840bfb4ec41b8072c83ea88d3" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.488ex; height:1.676ex;" alt="\\\\alpha "></span> is defined as the Mahler measure of the minimal polynomial of <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 \\\\alpha }">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <mi>α<!-- α --></mi>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle \\\\alpha }</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/b79333175c8b3f0840bfb4ec41b8072c83ea88d3" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.488ex; height:1.676ex;" alt="\\\\alpha "></span> over <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>
<br/>         </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>. In particular, if <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 \\\\alpha }">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <mi>α<!-- α --></mi>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle \\\\alpha }</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/b79333175c8b3f0840bfb4ec41b8072c83ea88d3" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.488ex; height:1.676ex;" alt="\\\\alpha "></span> is a Pisot number or a Salem number, then its Mahler measure is simply <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 \\\\alpha }">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <mi>α<!-- α --></mi>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle \\\\alpha }</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/b79333175c8b3f0840bfb4ec41b8072c83ea88d3" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.488ex; height:1.676ex;" alt="\\\\alpha "></span>. The Mahler measure is named after the German-born Australian mathematician Kurt Mahler. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Mahler_measure">https://en.wikipedia.org/wiki/Mahler_measure</a>)"""@en, """En mathématiques, la mesure de Mahler est une mesure de la complexité des polynômes. Elle porte le nom de Kurt Mahler (1903–1988) et était à l'origine utilisée dans la recherche de grands nombres premiers. En raison de la connexion à des valeurs particulières des fonctions L, elle fait l'objet de nombreuses conjectures en théorie analytique des nombres. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Mesure_de_Mahler">https://fr.wikipedia.org/wiki/Mesure_de_Mahler</a>)"""@fr ;
  dc:modified "2024-10-18"^^xsd:date ;
  skos:broader psr:-SNTKWPJM-D, psr:-VHDD6KJX-8 ;
  skos:exactMatch <https://fr.wikipedia.org/wiki/Mesure_de_Mahler>, <https://en.wikipedia.org/wiki/Mahler_measure> ;
  skos:prefLabel "mesure de Mahler"@fr, "Mahler measure"@en ;
  dc:created "2023-08-17"^^xsd:date ;
  skos:inScheme psr: ;
  a skos:Concept .

psr: a skos:ConceptScheme .
