<?xml version="1.0" encoding="utf-8"?>
<rss version="2.0" xml:base="http://openproblemgarden.org" xmlns:dc="http://purl.org/dc/elements/1.1/">
<channel>
 <title>Open Problem Garden - 3 is a primitive root modulo primes of the form 16 q^4 + 1, where q&amp;gt;3 is prime - Comments</title>
 <link>http://openproblemgarden.org/op/primes_p_such_that_3_is_a_primitive_root_modulo_p</link>
 <description>Comments for &quot;3 is a primitive root modulo primes of the form 16 q^4 + 1, where q&amp;gt;3 is prime&quot;</description>
 <language>en</language>
<item>
 <title>group theory answer  (re: 3 is a primitive root modulo primes of the form 16 q^4 + 1, where q&gt;3 is prime)</title>
 <link>http://openproblemgarden.org/op/primes_p_such_that_3_is_a_primitive_root_modulo_p#comment-7199</link>
 <description>&lt;p&gt;Using group theory, the multiplicative group of order p=16q^4+1 has order p-1=16q^4. Using lagrange&#039;s theorem, the order of any element divides the order of the group. Therefore, any element is either a primitive root, a quadratic residue, or a qth power residue mod 16q^4+1. Using the laws of quadratic reciprocity, 3 is a quadratic residue modulo a prime if and only if the prime is congruent to plus or minus 1 mod 12. Since q&gt;3 is a prime and therefore not divisible by 3, 16q^4=1(mod 3), so 16q^4+1=2(mod 3). That means that 16q^4+1=5(mod 12), and therefore 3 is not a quadratic residue mod p. Therefore the only thing left to prove is that 3 is not a qth power residue.&lt;/p&gt;
</description>
 <pubDate>Fri, 24 Aug 2012 10:52:33 +0200</pubDate>
 <dc:creator>Anonymous</dc:creator>
 <guid isPermaLink="false">comment 7199 at http://openproblemgarden.org</guid>
</item>
<item>
 <title>3 is a primitive root modulo primes of the form 16 q^4 + 1, where q&gt;3 is prime</title>
 <link>http://openproblemgarden.org/op/primes_p_such_that_3_is_a_primitive_root_modulo_p</link>
 <description>&lt;table cellspacing=&quot;10&quot;&gt;
&lt;tr&gt;
  &lt;td&gt;
    Author(s):
        &lt;a href=&quot;/kpz_equation_central_limit_theorem&quot;&gt;&lt;/a&gt;&amp;nbsp;&amp;nbsp;
  &lt;/td&gt;
  &lt;td align=right&gt;
    Subject:
        &lt;a href=&quot;/category/number_theory_0&quot;&gt;Number Theory&lt;/a&gt;&amp;nbsp;&amp;nbsp;
  &lt;/td&gt;
&lt;/tr&gt;

&lt;tr&gt;
  &lt;td colspan=2&gt;
    &lt;table border=1 cellspacing=&quot;5&quot;&gt;
      &lt;tr&gt;&lt;td&gt;
        &lt;div class=&quot;envtheorem&quot;&gt;&lt;b&gt;Conjecture&lt;/b&gt;&amp;nbsp;&amp;nbsp; &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/db5dab7a7dc95752a733ce0a9f5b5cd1539f6478.png&quot; alt=&quot;$ 3~ $&quot; /&gt; is a &lt;a href=&quot;http://en.wikipedia.org/wiki/Primitive_root_modulo_n&quot;&gt;primitive root&lt;/a&gt; modulo &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/9bc3d6fb8a6b45c58ecd7c2e121ff176162cf108.png&quot; alt=&quot;$ ~p $&quot; /&gt; for all primes &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/7224ed226ef649b89d2326ab71b697d3c7fc58b5.png&quot; alt=&quot;$ ~p=16\cdot q^4+1 $&quot; /&gt;, where &lt;img class=&quot;teximage&quot; src=&quot;/files/tex/fe7e179809022ca8f752d2f78dafe23f7854246c.png&quot; alt=&quot;$ ~q&amp;gt;3 $&quot; /&gt;  is prime. &lt;/div&gt;

      &lt;/tr&gt;&lt;/td&gt;
    &lt;/table&gt;
  &lt;/td&gt;
&lt;/tr&gt;
&lt;/table&gt;</description>
 <category domain="http://openproblemgarden.org/category/number_theory_0">Number Theory</category>
 <comments>http://openproblemgarden.org/op/primes_p_such_that_3_is_a_primitive_root_modulo_p#comment</comments>
 <pubDate>Sat, 25 Feb 2012 08:52:36 +0100</pubDate>
 <dc:creator>princeps</dc:creator>
 <guid isPermaLink="false">37396 at http://openproblemgarden.org</guid>
</item>
</channel>
</rss>
