<?xml version="1.0" encoding="UTF-8"?><rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
	xmlns:georss="http://www.georss.org/georss" xmlns:geo="http://www.w3.org/2003/01/geo/wgs84_pos#" xmlns:media="http://search.yahoo.com/mrss/"
		>
<channel>
	<title>Comments for Bloomsbury Journal</title>
	<atom:link href="http://minhyongkim.wordpress.com/comments/feed/" rel="self" type="application/rss+xml" />
	<link>http://minhyongkim.wordpress.com</link>
	<description>For my students</description>
	<lastBuildDate>Thu, 31 Mar 2011 22:59:22 +0000</lastBuildDate>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
	<generator>http://wordpress.com/</generator>
	<item>
		<title>Comment on Inverses in algebraic number fields by minhyong kim</title>
		<link>http://minhyongkim.wordpress.com/2011/01/23/inverses-in-algebraic-number-fields/#comment-411</link>
		<dc:creator><![CDATA[minhyong kim]]></dc:creator>
		<pubDate>Thu, 31 Mar 2011 22:59:22 +0000</pubDate>
		<guid isPermaLink="false">http://minhyongkim.wordpress.com/?p=596#comment-411</guid>
		<description><![CDATA[Sorry, I can&#039;t answer questions like that.]]></description>
		<content:encoded><![CDATA[<p>Sorry, I can&#8217;t answer questions like that.</p>
]]></content:encoded>
	</item>
	<item>
		<title>Comment on Inverses in algebraic number fields by jack</title>
		<link>http://minhyongkim.wordpress.com/2011/01/23/inverses-in-algebraic-number-fields/#comment-410</link>
		<dc:creator><![CDATA[jack]]></dc:creator>
		<pubDate>Thu, 31 Mar 2011 22:26:57 +0000</pubDate>
		<guid isPermaLink="false">http://minhyongkim.wordpress.com/?p=596#comment-410</guid>
		<description><![CDATA[Will this kind of question comes up in the exam??? ie the Inverses]]></description>
		<content:encoded><![CDATA[<p>Will this kind of question comes up in the exam??? ie the Inverses</p>
]]></content:encoded>
	</item>
	<item>
		<title>Comment on Beginning questions in number theory by minhyong kim</title>
		<link>http://minhyongkim.wordpress.com/2011/01/12/beginning-questions/#comment-391</link>
		<dc:creator><![CDATA[minhyong kim]]></dc:creator>
		<pubDate>Mon, 17 Jan 2011 10:15:01 +0000</pubDate>
		<guid isPermaLink="false">http://minhyongkim.wordpress.com/?p=572#comment-391</guid>
		<description><![CDATA[For a given field extension $latex F $ of $latex K$, it is true that there are many possible irreducible polynomials $latex f$ such that $latex F\simeq K[x]/(f)$. However, it is definitely *not* true that all irreducible polynomials of the same degree define isomorphic field extension. Consider $latex x^2-2$ and $latex x^2-3$ and ask yourself what kind of field extensions of $latex Q$ we get in the two cases. It is actually a delicate question to determine when two irreducible polynomials give isomorphic field extensions. We will discuss this in class quite a bit.]]></description>
		<content:encoded><![CDATA[<p>For a given field extension <img src='http://s0.wp.com/latex.php?latex=F+&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='F ' title='F ' class='latex' /> of <img src='http://s0.wp.com/latex.php?latex=K&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='K' title='K' class='latex' />, it is true that there are many possible irreducible polynomials <img src='http://s0.wp.com/latex.php?latex=f&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='f' title='f' class='latex' /> such that <img src='http://s0.wp.com/latex.php?latex=F%5Csimeq+K%5Bx%5D%2F%28f%29&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='F&#92;simeq K[x]/(f)' title='F&#92;simeq K[x]/(f)' class='latex' />. However, it is definitely *not* true that all irreducible polynomials of the same degree define isomorphic field extension. Consider <img src='http://s0.wp.com/latex.php?latex=x%5E2-2&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='x^2-2' title='x^2-2' class='latex' /> and <img src='http://s0.wp.com/latex.php?latex=x%5E2-3&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='x^2-3' title='x^2-3' class='latex' /> and ask yourself what kind of field extensions of <img src='http://s0.wp.com/latex.php?latex=Q&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='Q' title='Q' class='latex' /> we get in the two cases. It is actually a delicate question to determine when two irreducible polynomials give isomorphic field extensions. We will discuss this in class quite a bit.</p>
]]></content:encoded>
	</item>
	<item>
		<title>Comment on Beginning questions in number theory by Sandeep</title>
		<link>http://minhyongkim.wordpress.com/2011/01/12/beginning-questions/#comment-390</link>
		<dc:creator><![CDATA[Sandeep]]></dc:creator>
		<pubDate>Sun, 16 Jan 2011 09:13:11 +0000</pubDate>
		<guid isPermaLink="false">http://minhyongkim.wordpress.com/?p=572#comment-390</guid>
		<description><![CDATA[If you take two different irreducible polynomials f and g in K[X], of the same degree d, and construct the fields K[X] / (f), and K[X] / (g), then is it correct that these will both be the &quot;same&quot; field?  Because as vector spaces over K[X] they will both have the same dimension d.  If they are the same, then does this mean that there is no unique irreducible polynomial f in K[X] which defines a  field extension of K[X] of degree d?

Thanks in advance.

Sandeep.]]></description>
		<content:encoded><![CDATA[<p>If you take two different irreducible polynomials f and g in K[X], of the same degree d, and construct the fields K[X] / (f), and K[X] / (g), then is it correct that these will both be the &#8220;same&#8221; field?  Because as vector spaces over K[X] they will both have the same dimension d.  If they are the same, then does this mean that there is no unique irreducible polynomial f in K[X] which defines a  field extension of K[X] of degree d?</p>
<p>Thanks in advance.</p>
<p>Sandeep.</p>
]]></content:encoded>
	</item>
	<item>
		<title>Comment on Computing orders mod 23 by Tomjunlee</title>
		<link>http://minhyongkim.wordpress.com/2009/04/15/computing-orders-mod-23/#comment-352</link>
		<dc:creator><![CDATA[Tomjunlee]]></dc:creator>
		<pubDate>Sat, 26 Sep 2009 17:47:48 +0000</pubDate>
		<guid isPermaLink="false">http://minhyongkim.wordpress.com/?p=313#comment-352</guid>
		<description><![CDATA[Not sure if this helps or is even relevant:

You can use a fast powering algorithm (number of operations reduces to logarithmic instead of linear) -

To calculate a^k (mod m):

(1) Form a table with three columns and first row: &quot;k&quot; &quot;a&quot; &quot;1&quot;;

(2) at each stage, form a new row as follows:

(a) the entry in column 1 is half the entry in column 1 of the previous row, ignoring fractions;

(b) the entry in column 2 is the square of the entry in column 2 of the previous row (modulo m);

(c) if the entry in column 1 of the previous row is even, the entry in column 3 is the same as the entry in column 3 of the previous row, otherwise it is the product (modulo m) of the entries oin column 2 and column 3 of the previous row.
---
(3) when the entry in column 1 is 0, the entry in column 3 of that row is the required power.

EXAMPLE: To calculate 2^11 (mod 23):

11   2   1
 5   4   2
 2  16   8
 1   3   8
 0   9   1

Therefore, 2^11 = 1 (mod 23).]]></description>
		<content:encoded><![CDATA[<p>Not sure if this helps or is even relevant:</p>
<p>You can use a fast powering algorithm (number of operations reduces to logarithmic instead of linear) -</p>
<p>To calculate a^k (mod m):</p>
<p>(1) Form a table with three columns and first row: &#8220;k&#8221; &#8220;a&#8221; &#8220;1&#8243;;</p>
<p>(2) at each stage, form a new row as follows:</p>
<p>(a) the entry in column 1 is half the entry in column 1 of the previous row, ignoring fractions;</p>
<p>(b) the entry in column 2 is the square of the entry in column 2 of the previous row (modulo m);</p>
<p>(c) if the entry in column 1 of the previous row is even, the entry in column 3 is the same as the entry in column 3 of the previous row, otherwise it is the product (modulo m) of the entries oin column 2 and column 3 of the previous row.<br />
&#8212;<br />
(3) when the entry in column 1 is 0, the entry in column 3 of that row is the required power.</p>
<p>EXAMPLE: To calculate 2^11 (mod 23):</p>
<p>11   2   1<br />
 5   4   2<br />
 2  16   8<br />
 1   3   8<br />
 0   9   1</p>
<p>Therefore, 2^11 = 1 (mod 23).</p>
]]></content:encoded>
	</item>
	<item>
		<title>Comment on Norms of elements and principality by minhyong kim</title>
		<link>http://minhyongkim.wordpress.com/2009/05/14/norms-of-elements-and-principality/#comment-310</link>
		<dc:creator><![CDATA[minhyong kim]]></dc:creator>
		<pubDate>Fri, 15 May 2009 08:59:02 +0000</pubDate>
		<guid isPermaLink="false">http://minhyongkim.wordpress.com/?p=447#comment-310</guid>
		<description><![CDATA[`Exhaust other possibilities&#039; sounds exhausting. But recall that the equation

$latex N(z)=9$

for an unknown element $latex z$ in our ring is not too difficult to analyze, at least in many examples. If there are no solutions at all, then a fortiori there are no solutions in our ideal. So the ideal would not be principal. However, if there is a solution, you would still need to check if there is a solution in the ideal. This can be somewhat trickier.]]></description>
		<content:encoded><![CDATA[<p>`Exhaust other possibilities&#8217; sounds exhausting. But recall that the equation</p>
<p><img src='http://s0.wp.com/latex.php?latex=N%28z%29%3D9&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='N(z)=9' title='N(z)=9' class='latex' /></p>
<p>for an unknown element <img src='http://s0.wp.com/latex.php?latex=z&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='z' title='z' class='latex' /> in our ring is not too difficult to analyze, at least in many examples. If there are no solutions at all, then a fortiori there are no solutions in our ideal. So the ideal would not be principal. However, if there is a solution, you would still need to check if there is a solution in the ideal. This can be somewhat trickier.</p>
]]></content:encoded>
	</item>
	<item>
		<title>Comment on Norms of elements and principality by rory</title>
		<link>http://minhyongkim.wordpress.com/2009/05/14/norms-of-elements-and-principality/#comment-308</link>
		<dc:creator><![CDATA[rory]]></dc:creator>
		<pubDate>Thu, 14 May 2009 19:31:02 +0000</pubDate>
		<guid isPermaLink="false">http://minhyongkim.wordpress.com/?p=447#comment-308</guid>
		<description><![CDATA[Thanks for the feedback. So, if I understand you correctly, given a situation where we are checking for principality of an ideal, but we don&#039;t find a generator with our first presentation, our only option would be to exhaust all the other possibilities?]]></description>
		<content:encoded><![CDATA[<p>Thanks for the feedback. So, if I understand you correctly, given a situation where we are checking for principality of an ideal, but we don&#8217;t find a generator with our first presentation, our only option would be to exhaust all the other possibilities?</p>
]]></content:encoded>
	</item>
	<item>
		<title>Comment on Norm of an ideal by Wai-Kae</title>
		<link>http://minhyongkim.wordpress.com/2009/05/01/norm-of-an-ideal/#comment-298</link>
		<dc:creator><![CDATA[Wai-Kae]]></dc:creator>
		<pubDate>Fri, 01 May 2009 10:51:36 +0000</pubDate>
		<guid isPermaLink="false">http://minhyongkim.wordpress.com/?p=379#comment-298</guid>
		<description><![CDATA[I think I see it now,
The definition is

N(J) = &#124;O_F / J &#124;

So in the example,

Z[i]/(5,1+i) = {0}

=&gt; N(J) = &#124;{0}&#124; = 1

I&#039;m afraid I might have overseen this amidst the chaos... sorry..!..]]></description>
		<content:encoded><![CDATA[<p>I think I see it now,<br />
The definition is</p>
<p>N(J) = |O_F / J |</p>
<p>So in the example,</p>
<p>Z[i]/(5,1+i) = {0}</p>
<p>=&gt; N(J) = |{0}| = 1</p>
<p>I&#8217;m afraid I might have overseen this amidst the chaos&#8230; sorry..!..</p>
]]></content:encoded>
	</item>
	<item>
		<title>Comment on Unique factorization by minhyong kim</title>
		<link>http://minhyongkim.wordpress.com/2008/10/03/unique-factorization/#comment-289</link>
		<dc:creator><![CDATA[minhyong kim]]></dc:creator>
		<pubDate>Wed, 08 Oct 2008 20:55:41 +0000</pubDate>
		<guid isPermaLink="false">http://minhyongkim.wordpress.com/?p=187#comment-289</guid>
		<description><![CDATA[Yes, provided you could factor

$latex p_1p_2\cdots p_n+1.$

Remember, it is not itself a prime number in general. It just has a prime number factor that doesn&#039;t belong to the list. Given a number that&#039;s not a prime, it is exactly the problem of finding a prime number factor that admits no efficient algorithm.

Recall that if you&#039;re satisfied with an inefficient algorithm, then you can keep finding prime numbers by trying to divide numbers one by one.]]></description>
		<content:encoded><![CDATA[<p>Yes, provided you could factor</p>
<p><img src='http://s0.wp.com/latex.php?latex=p_1p_2%5Ccdots+p_n%2B1.&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='p_1p_2&#92;cdots p_n+1.' title='p_1p_2&#92;cdots p_n+1.' class='latex' /></p>
<p>Remember, it is not itself a prime number in general. It just has a prime number factor that doesn&#8217;t belong to the list. Given a number that&#8217;s not a prime, it is exactly the problem of finding a prime number factor that admits no efficient algorithm.</p>
<p>Recall that if you&#8217;re satisfied with an inefficient algorithm, then you can keep finding prime numbers by trying to divide numbers one by one.</p>
]]></content:encoded>
	</item>
	<item>
		<title>Comment on Unique factorization by Kunal Patel</title>
		<link>http://minhyongkim.wordpress.com/2008/10/03/unique-factorization/#comment-287</link>
		<dc:creator><![CDATA[Kunal Patel]]></dc:creator>
		<pubDate>Wed, 08 Oct 2008 20:41:57 +0000</pubDate>
		<guid isPermaLink="false">http://minhyongkim.wordpress.com/?p=187#comment-287</guid>
		<description><![CDATA[sir i was just wondering, you know in the proof of the theorem that there are infinitely many prime numbers, doesnt the line p1.p2.p3.....pn +1 provide a simple algorithm for finding prime numbers? albeit, requiring a lot of computing!
vikram mukarji]]></description>
		<content:encoded><![CDATA[<p>sir i was just wondering, you know in the proof of the theorem that there are infinitely many prime numbers, doesnt the line p1.p2.p3&#8230;..pn +1 provide a simple algorithm for finding prime numbers? albeit, requiring a lot of computing!<br />
vikram mukarji</p>
]]></content:encoded>
	</item>
</channel>
</rss>
