<?xml version="1.0" encoding="UTF-8"?><rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:wfw="http://wellformedweb.org/CommentAPI/"
	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:slash="http://purl.org/rss/1.0/modules/slash/"
	
	xmlns:georss="http://www.georss.org/georss"
	xmlns:geo="http://www.w3.org/2003/01/geo/wgs84_pos#"
	>

<channel>
	<title>algebraic number &#8211; Problems in Mathematics</title>
	<atom:link href="https://yutsumura.com/tag/algebraic-number/feed/" rel="self" type="application/rss+xml" />
	<link>https://yutsumura.com</link>
	<description></description>
	<lastBuildDate>Fri, 14 Jul 2017 23:55:23 +0000</lastBuildDate>
	<language>en-US</language>
	<sy:updatePeriod>
	hourly	</sy:updatePeriod>
	<sy:updateFrequency>
	1	</sy:updateFrequency>
	<generator>https://wordpress.org/?v=5.3.6</generator>

<image>
	<url>https://i2.wp.com/yutsumura.com/wp-content/uploads/2016/12/cropped-question-logo.jpg?fit=32%2C32&#038;ssl=1</url>
	<title>algebraic number &#8211; Problems in Mathematics</title>
	<link>https://yutsumura.com</link>
	<width>32</width>
	<height>32</height>
</image> 
<site xmlns="com-wordpress:feed-additions:1">114989322</site>	<item>
		<title>Algebraic Number is an Eigenvalue of Matrix with Rational Entries</title>
		<link>https://yutsumura.com/algebraic-number-is-an-eigenvalue-of-matrix-with-rational-entries/</link>
				<comments>https://yutsumura.com/algebraic-number-is-an-eigenvalue-of-matrix-with-rational-entries/#respond</comments>
				<pubDate>Fri, 26 Aug 2016 04:37:07 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Field Theory]]></category>
		<category><![CDATA[algebraic integer]]></category>
		<category><![CDATA[algebraic number]]></category>
		<category><![CDATA[characteristic polynomial]]></category>
		<category><![CDATA[companion matrix]]></category>
		<category><![CDATA[eigenvalue]]></category>
		<category><![CDATA[field theory]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=716</guid>
				<description><![CDATA[<p>A complex number $z$ is called algebraic number (respectively, algebraic integer) if $z$ is a root of a monic polynomial with rational (respectively, integer) coefficients. Prove that $z \in \C$ is an algebraic number&#46;&#46;&#46;</p>
<p>The post <a href="https://yutsumura.com/algebraic-number-is-an-eigenvalue-of-matrix-with-rational-entries/" target="_blank">Algebraic Number is an Eigenvalue of Matrix with Rational Entries</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></description>
								<content:encoded><![CDATA[<h2>Problem 88</h2>
<p>A complex number $z$ is called <em><strong>algebraic number</strong></em> (respectively, <em><strong>algebraic integer</strong></em>) if $z$ is a root of a monic polynomial with rational (respectively, integer) coefficients.</p>
<p>Prove that $z \in \C$ is an algebraic number (resp. algebraic integer) if and only if $z$ is an eigenvalue of a matrix with rational (resp. integer) entries.<br />
&nbsp;<br />
<span id="more-716"></span><br />

<h2>Hint.</h2>
<p>Use the companion matrix.</p>
<p>Recall that the characteristic polynomial of the companion matrix of a polynomial is the polynomial.</p>
<p>See the post <a href="//yutsumura.com/companion-matrix-for-a-polynomial/">Companion matrix for a polynomial</a> for the definition of the companion matrix and the proof of the above fact.</p>
<h2>Proof.</h2>
<p>$(\implies)$<br />
Suppose that $z$ is algebraic number (resp. algebraic integer). Then $z$ is a root of a monic polynomial<br />
\[p(x)=x^n+a_{n-1}x^{n-1}+\cdots+a_1x+a_0,\]
where $a_i$ are rational numbers (resp. integers).</p>
<p>Then consider the matrix<br />
\[A=\begin{bmatrix}<br />
0 &amp; 0 &amp; \dots &amp; 0 &amp;-a_0 \\<br />
1 &amp; 0 &amp; \dots &amp; 0 &amp; -a_1 \\<br />
0 &amp; 1 &amp; \dots &amp; 0 &amp; -a_2 \\<br />
\vdots &amp; &amp; \ddots &amp; &amp; \vdots \\<br />
0 &amp; 0 &amp; \dots &amp; 1 &amp; -a_{n-1}<br />
\end{bmatrix}.\]
<p>Note that the matrix $A$ has rational (resp. integer) entries. Then the characteristic polynomial $\det(xI-A)$ of $A$ is the polynomial $p(x)$.<br />
Hence $z$ is an eigenvalue of the matrix $A$.<br />
&nbsp;</p>
<hr />
<p>$(\impliedby)$<br />
Suppose that $z$ is an eigenvalue of a matrix $A$ with rational (resp. integer) entries.<br />
Then $z$ is a root of the characteristic polynomial of $A$.</p>
<p>The characteristic polynomial of $A$ is a monic polynomial with rational (resp. integer) coefficients. Thus $z$ is an algebraic number (resp. integer).</p>
<button class="simplefavorite-button has-count" data-postid="716" data-siteid="1" data-groupid="1" data-favoritecount="8" style="">Click here if solved <i class="sf-icon-star-empty"></i><span class="simplefavorite-button-count" style="">8</span></button><p>The post <a href="https://yutsumura.com/algebraic-number-is-an-eigenvalue-of-matrix-with-rational-entries/" target="_blank">Algebraic Number is an Eigenvalue of Matrix with Rational Entries</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></content:encoded>
							<wfw:commentRss>https://yutsumura.com/algebraic-number-is-an-eigenvalue-of-matrix-with-rational-entries/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
						<post-id xmlns="com-wordpress:feed-additions:1">716</post-id>	</item>
	</channel>
</rss>
