<?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>example &#8211; Problems in Mathematics</title>
	<atom:link href="https://yutsumura.com/tag/example/feed/" rel="self" type="application/rss+xml" />
	<link>https://yutsumura.com</link>
	<description></description>
	<lastBuildDate>Sun, 19 Nov 2017 17:15:07 +0000</lastBuildDate>
	<language>en-US</language>
	<sy:updatePeriod>
	hourly	</sy:updatePeriod>
	<sy:updateFrequency>
	1	</sy:updateFrequency>
	<generator>https://wordpress.org/?v=5.3.4</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>example &#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>Examples of Prime Ideals in Commutative Rings that are Not Maximal Ideals</title>
		<link>https://yutsumura.com/examples-of-prime-ideals-in-commutative-rings-that-are-not-maximal-ideals/</link>
				<comments>https://yutsumura.com/examples-of-prime-ideals-in-commutative-rings-that-are-not-maximal-ideals/#comments</comments>
				<pubDate>Thu, 27 Jul 2017 00:11:12 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Ring theory]]></category>
		<category><![CDATA[commutative ring]]></category>
		<category><![CDATA[example]]></category>
		<category><![CDATA[maximal ideal]]></category>
		<category><![CDATA[prime ideal]]></category>
		<category><![CDATA[quotient ring]]></category>
		<category><![CDATA[ring theory]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=4064</guid>
				<description><![CDATA[<p>Give an example of a commutative ring $R$ and a prime ideal $I$ of $R$ that is not a maximal ideal of $R$. &#160; Solution. We give several examples. The key facts are: An&#46;&#46;&#46;</p>
<p>The post <a href="https://yutsumura.com/examples-of-prime-ideals-in-commutative-rings-that-are-not-maximal-ideals/" target="_blank">Examples of Prime Ideals in Commutative Rings that are Not Maximal Ideals</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></description>
								<content:encoded><![CDATA[<h2> Problem 520</h2>
<p>	Give an example of a commutative ring $R$ and a prime ideal $I$ of $R$ that is not a maximal ideal of $R$.</p>
<p>&nbsp;<br />
<span id="more-4064"></span><br />

<h2>Solution.</h2>
<p>			We give several examples. The key facts are:</p>
<ol>
<li>An ideal $I$ of $R$ is prime if and only if $R/I$ is an integral domain.</li>
<li>An ideal $I$ of $R$ is maximal if and only if $R/I$ is a field.</li>
</ol>
<h3>Example 1: $\Z$ and $(0)$</h3>
<p>			The first example is the ring of integers $R=\Z$ and the zero ideal $I=(0)$.<br />
			Note that the quotient ring is $\Z/(0)\cong \Z$ and it is integral domain but not a field.<br />
			Thus the ideal $(0)$ is a prime ideal by Fact 1 but not a maximal ideal by Fact 2.</p>
<h4>Remark</h4>
<p>			Note that $(0)$ is the only prime ideal of $\Z$ that is not a maximal ideal.<br />
			Nonzero ideals of $\Z$ are $(p)$ for some prime number $p$.</p>
<h3>Example 2: $\Z[x]$ and $(x)$</h3>
<p>			The second example is the ring of polynomials $R=\Z[x]$ over $\Z$ and the principal ideal $I=(x)$ generated by $x\in \Z[x]$.<br />
			The quotient ring is $\Z[x]/(x)\cong \Z$, which is an integral domain but not a field.<br />
			Thus the ideal $(x)$ is prime but not maximal by Fact 1, 2.</p>
<h3>Example 3: $\Q[x,y]$ and $(x)$</h3>
<p>			The third example is the ring of polynomials in two variables $R=\Q[x, y]$ over $\Q$ and the principal ideal $I=(x)$ generated by $x$.<br />
			The quotient ring $\Q[x,y]/(x)$ is isomorphic to $\Q[y]$.<br />
			(The proof of this isomorphism is given in the post <a href="//yutsumura.com/prove-the-ring-isomorphism-rxyx-cong-ry/" target="_blank">Prove the Ring Isomorphism $R[x,y]/(x) \cong R[y]$</a>.)</p>
<p>			Note that $\Q[y]$ is an integral domain but it is not a field since, for instance, the element $y\in \Q[y]$ is not a unit.<br />
			Hence Fact 1, 2 implies that the ideal $(x)$ is prime but not maximal in the ring $\Q[x, y]$.</p>
<button class="simplefavorite-button has-count" data-postid="4064" data-siteid="1" data-groupid="1" data-favoritecount="66" style="">Click here if solved <i class="sf-icon-star-empty"></i><span class="simplefavorite-button-count" style="">66</span></button><p>The post <a href="https://yutsumura.com/examples-of-prime-ideals-in-commutative-rings-that-are-not-maximal-ideals/" target="_blank">Examples of Prime Ideals in Commutative Rings that are Not Maximal Ideals</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></content:encoded>
							<wfw:commentRss>https://yutsumura.com/examples-of-prime-ideals-in-commutative-rings-that-are-not-maximal-ideals/feed/</wfw:commentRss>
		<slash:comments>1</slash:comments>
						<post-id xmlns="com-wordpress:feed-additions:1">4064</post-id>	</item>
		<item>
		<title>Example of Two Groups and a Subgroup of the Direct Product that is Not of the Form of Direct Product</title>
		<link>https://yutsumura.com/example-of-two-groups-and-a-subgroup-of-the-direct-product-that-is-not-of-the-form-of-direct-product/</link>
				<pubDate>Wed, 21 Jun 2017 16:24:59 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Group Theory]]></category>
		<category><![CDATA[diagonal subgroup]]></category>
		<category><![CDATA[direct product]]></category>
		<category><![CDATA[example]]></category>
		<category><![CDATA[group theory]]></category>
		<category><![CDATA[subgroup]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=3227</guid>
				<description><![CDATA[<p>Give an example of two groups $G$ and $H$ and a subgroup $K$ of the direct product $G\times H$ such that $K$ cannot be written as $K=G_1\times H_1$, where $G_1$ and $H_1$ are subgroups&#46;&#46;&#46;</p>
<p>The post <a href="https://yutsumura.com/example-of-two-groups-and-a-subgroup-of-the-direct-product-that-is-not-of-the-form-of-direct-product/" target="_blank">Example of Two Groups and a Subgroup of the Direct Product that is Not of the Form of Direct Product</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></description>
								<content:encoded><![CDATA[<h2> Problem 467</h2>
<p>	Give an example of two groups $G$ and $H$ and a subgroup $K$ of the direct product $G\times H$ such that $K$ cannot be written as $K=G_1\times H_1$, where $G_1$ and $H_1$ are subgroups of $G$ and $H$, respectively.</p>
<p>&nbsp;<br />
<span id="more-3227"></span></p>
<h2>Solution.</h2>
<p>		Let $G$ be any nontrivial group, and let $G=H$.<br />
		(For example, you may take $G=H=\Zmod{2}$.)</p>
<p>		Then consider the subset $K$ in the direct product given by<br />
		\[K:=\{(g,g) \mid g\in G\} \subset G\times G.\]
<hr />
<p>		We claim that $K$ is a subgroup of $G\times G$.<br />
		In fact, we have<br />
		\begin{align*}<br />
	(g,g)(h,h)=(gh,gh)\in K \text{ and }\\<br />
	(g,g)^{-1}=(g^{-1}, g^{-1})\in K<br />
	\end{align*}<br />
	for any $g, h\in G$.<br />
	Thus, $K$ is closed under multiplications and inverses, and hence $K$ is a subgroup of $G\times G$.</p>
<hr />
<p>	Now we show that $K$ is not of the form $G_1\times H_1$ for some subgroups $G_1, H_1$ of $G$.<br />
	Assume on the contrary $K=G_1\times H_1$ for some subgroups $G_1, H_1$ of $G$.</p>
<p>	Since $G$ is a nontrivial group, there is a nonidentity element $x\in G$.<br />
	So $(x,x)\in K$ and $K$ is not the trivial group.<br />
	Thus, both $G_1$ and $H_1$ cannot be the trivial group.</p>
<p>	Without loss of generality, assume that $G_1$ is nontrivial.<br />
	Then $G_1$ contains a nonidentity element $y$.</p>
<p>	Since the identity element $e$ is contained in all subgroups, we have<br />
	\[(y,e)\in G_1\times H_1.\]
	However, this element cannot be in $K$ since $y\neq e$, a contradiction.</p>
<p>	Hence $K$ is not of the form $G_1\times H_1$.</p>
<button class="simplefavorite-button has-count" data-postid="3227" data-siteid="1" data-groupid="1" data-favoritecount="23" style="">Click here if solved <i class="sf-icon-star-empty"></i><span class="simplefavorite-button-count" style="">23</span></button><p>The post <a href="https://yutsumura.com/example-of-two-groups-and-a-subgroup-of-the-direct-product-that-is-not-of-the-form-of-direct-product/" target="_blank">Example of Two Groups and a Subgroup of the Direct Product that is Not of the Form of Direct Product</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></content:encoded>
									<post-id xmlns="com-wordpress:feed-additions:1">3227</post-id>	</item>
		<item>
		<title>Every Complex Matrix Can Be Written as $A=B+iC$, where $B, C$ are Hermitian Matrices</title>
		<link>https://yutsumura.com/every-complex-matrix-can-be-written-as-abic-where-b-c-are-hermitian-matrices/</link>
				<comments>https://yutsumura.com/every-complex-matrix-can-be-written-as-abic-where-b-c-are-hermitian-matrices/#comments</comments>
				<pubDate>Mon, 22 May 2017 15:53:12 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Linear Algebra]]></category>
		<category><![CDATA[complex conjugate]]></category>
		<category><![CDATA[complex matrix]]></category>
		<category><![CDATA[example]]></category>
		<category><![CDATA[hermitian matrix]]></category>
		<category><![CDATA[linear algebra]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=2952</guid>
				<description><![CDATA[<p>(a) Prove that each complex $n\times n$ matrix $A$ can be written as \[A=B+iC,\] where $B$ and $C$ are Hermitian matrices. (b) Write the complex matrix \[A=\begin{bmatrix} i &#038; 6\\ 2-i&#038; 1+i \end{bmatrix}\] as&#46;&#46;&#46;</p>
<p>The post <a href="https://yutsumura.com/every-complex-matrix-can-be-written-as-abic-where-b-c-are-hermitian-matrices/" target="_blank">Every Complex Matrix Can Be Written as $A=B+iC$, where $B, C$ are Hermitian Matrices</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></description>
								<content:encoded><![CDATA[<h2> Problem 425</h2>
<p><strong>(a)</strong> Prove that each complex $n\times n$ matrix $A$ can be written as<br />
	\[A=B+iC,\]
	where $B$ and $C$ are Hermitian matrices.</p>
<p><strong>(b)</strong> Write the complex matrix<br />
	\[A=\begin{bmatrix}<br />
	  i &#038; 6\\<br />
	  2-i&#038; 1+i<br />
	\end{bmatrix}\]
	as a sum $A=B+iC$, where $B$ and $C$ are Hermitian matrices.</p>
<p>&nbsp;<br />
<span id="more-2952"></span><br />

<h2>Definition (Hermitian matrix).</h2>
<p>Recall that a complex matrix $M$ is said to be <strong>Hermitian</strong> if $M^*=M$.<br />
Here $A^*$ is the conjugate transpose matrix $M^*=\bar{M}^*$.</p>
<h2> Proof. </h2>
<p>	Let<br />
		\[B=\frac{A+A^*}{2} \text{ and } C=\frac{A-A^*}{2i}.\]
		We claim that $B$ and $C$ are Hermitian matrices.<br />
		Using the fact that $(A^*)^*=A$, we compute<br />
		\begin{align*}<br />
	B^*&#038;=\left(\,  \frac{A+A^*}{2}  \,\right)^*\\<br />
	&#038;=\frac{A^*+(A^*)^*}{2}\\<br />
	&#038;=\frac{A^*+A}{2}=B.<br />
	\end{align*}<br />
	It yields that the matrix $B$ is Hermitian.</p>
<hr />
<p>	We also have<br />
	\begin{align*}<br />
	C^*&#038;=\left(\,  \frac{A-A^*}{2i} \,\right)^*\\<br />
	&#038;=\frac{A^*-(A^*)^*}{-2i}\\<br />
	&#038;=\frac{A^*-A}{-2i}\\<br />
	&#038;=\frac{A-A^*}{2i}=C.<br />
	\end{align*}<br />
	Thus, the matrix $C$ is also Hermitian.</p>
<hr />
<p>	Finally, note that we have<br />
	\begin{align*}<br />
	B+iC&#038;=\frac{A+A^*}{2}+i\frac{A-A^*}{2i}\\<br />
	&#038;=\frac{A+A^*}{2}+\frac{A-A^*}{2}\\<br />
	&#038;=A.<br />
	\end{align*}<br />
	Therefore, each complex matrix $A$ can be written as $A=B+iC$, where $B$ and $C$ are Hermitian matrices.</p>
<p>	\item By the proof of part (a), it suffices to compute<br />
	\[B=\frac{A+A^*}{2} \text{ and } C=\frac{A-A^*}{2i}.\]
<p>	We have<br />
	\[A^*=\begin{bmatrix}<br />
	  -i &#038; 2+i\\<br />
	  6&#038; 1-i<br />
	\end{bmatrix}.\]
<p>	A direct computation yields that<br />
	\[B=\begin{bmatrix}<br />
	  0 &#038; 4+\frac{i}{2}\\[6pt]
	  4-\frac{i}{2}&#038; 1<br />
	\end{bmatrix} \text{ and } C=\begin{bmatrix}<br />
	  1 &#038; -\frac{1}{2}-2i\\[6pt]
	  -\frac{1}{2}+2i&#038; 1<br />
	\end{bmatrix}.\]
<p>	By the result of part (a), these matrices are Hermitian and satisfy $A=B+iC$, as required.</p>
<h2> Related Question. </h2>
<div style="padding: 16px; border: none 3px #4169e1; border-radius: 10px; background-color: #f0f8ff; margin-top: 30px; margin-bottom: 30px;"><strong>Problem</strong>. Prove that every Hermitian matrix $A$ can be written as the sum<br />
	\[A=B+iC,\]
	where $B$ is a real symmetric matrix and $C$ is a real skew-symmetric matrix.</div>
<p>See the post &#8220;<a href="//yutsumura.com/express-a-hermitian-matrix-as-a-sum-of-real-symmetric-matrix-and-a-real-skew-symmetric-matrix/" target="_blank">Express a Hermitian matrix as a sum of real symmetric matrix and a real skew-symmetric matrix</a>&#8221; for a proof.</p>
<button class="simplefavorite-button has-count" data-postid="2952" data-siteid="1" data-groupid="1" data-favoritecount="65" style="">Click here if solved <i class="sf-icon-star-empty"></i><span class="simplefavorite-button-count" style="">65</span></button><p>The post <a href="https://yutsumura.com/every-complex-matrix-can-be-written-as-abic-where-b-c-are-hermitian-matrices/" target="_blank">Every Complex Matrix Can Be Written as $A=B+iC$, where $B, C$ are Hermitian Matrices</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></content:encoded>
							<wfw:commentRss>https://yutsumura.com/every-complex-matrix-can-be-written-as-abic-where-b-c-are-hermitian-matrices/feed/</wfw:commentRss>
		<slash:comments>1</slash:comments>
						<post-id xmlns="com-wordpress:feed-additions:1">2952</post-id>	</item>
		<item>
		<title>Example of a Nilpotent Matrix $A$ such that $A^2\neq O$ but $A^3=O$.</title>
		<link>https://yutsumura.com/example-of-a-nilpotent-matrix-a-such-that-a2neq-o-but-a3o/</link>
				<comments>https://yutsumura.com/example-of-a-nilpotent-matrix-a-such-that-a2neq-o-but-a3o/#respond</comments>
				<pubDate>Fri, 17 Feb 2017 03:12:45 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Linear Algebra]]></category>
		<category><![CDATA[degree]]></category>
		<category><![CDATA[example]]></category>
		<category><![CDATA[index]]></category>
		<category><![CDATA[linear algebra]]></category>
		<category><![CDATA[matrix]]></category>
		<category><![CDATA[nilpotent matrix]]></category>
		<category><![CDATA[zero matrix]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=2241</guid>
				<description><![CDATA[<p>Find a nonzero $3\times 3$ matrix $A$ such that $A^2\neq O$ and $A^3=O$, where $O$ is the $3\times 3$ zero matrix. (Such a matrix is an example of a nilpotent matrix. See the comment&#46;&#46;&#46;</p>
<p>The post <a href="https://yutsumura.com/example-of-a-nilpotent-matrix-a-such-that-a2neq-o-but-a3o/" target="_blank">Example of a Nilpotent Matrix $A$ such that $A^2\neq O$ but $A^3=O$.</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></description>
								<content:encoded><![CDATA[<h2> Problem 305</h2>
<p> Find a nonzero $3\times 3$ matrix $A$ such that $A^2\neq O$ and $A^3=O$, where $O$ is the $3\times 3$ zero matrix. </p>
<p>(Such a matrix is an example of a <strong>nilpotent matrix</strong>. See the comment after the solution.)</p>
<p>&nbsp;<br />
<span id="more-2241"></span><br />

<h2>Solution.</h2>
<p>		For example, let $A$ be the following $3\times 3$ matrix.<br />
		\[A=\begin{bmatrix}<br />
	  0 &#038; 1 &#038; 0 \\<br />
	   0 &#038;0 &#038;1 \\<br />
	   0 &#038; 0 &#038; 0<br />
	\end{bmatrix}.\]
	Then $A$ is a nonzero matrix and we have<br />
	\[A^2=\begin{bmatrix}<br />
	  0 &#038; 1 &#038; 0 \\<br />
	   0 &#038;0 &#038;1 \\<br />
	   0 &#038; 0 &#038; 0<br />
	\end{bmatrix}\begin{bmatrix}<br />
	  0 &#038; 1 &#038; 0 \\<br />
	   0 &#038;0 &#038;1 \\<br />
	   0 &#038; 0 &#038; 0<br />
	\end{bmatrix}<br />
	=\begin{bmatrix}<br />
	  0 &#038; 0 &#038; 1 \\<br />
	   0 &#038;0 &#038;0 \\<br />
	   0 &#038; 0 &#038; 0<br />
	\end{bmatrix}\neq O.\]
<p>	The third power of $A$ is<br />
	\[A^3=A^2A=\begin{bmatrix}<br />
	  0 &#038; 0 &#038; 1 \\<br />
	   0 &#038;0 &#038;0 \\<br />
	   0 &#038; 0 &#038; 0<br />
	\end{bmatrix}\begin{bmatrix}<br />
	  0 &#038; 1 &#038; 0 \\<br />
	   0 &#038;0 &#038;1 \\<br />
	   0 &#038; 0 &#038; 0<br />
	\end{bmatrix}=<br />
	\begin{bmatrix}<br />
	  0 &#038; 0 &#038; 0 \\<br />
	   0 &#038;0 &#038;0 \\<br />
	   0 &#038; 0 &#038; 0<br />
	\end{bmatrix}=O.\]
	Thus, the nonzero matrix $A$ satisfies the required conditions $A^2\neq O, A^3=O$.</p>
<h2>Comment.</h2>
<p>A square matrix $A$ is called <strong>nilpotent</strong> if there is a non-negative integer $k$ such that $A^k$ is the zero matrix.<br />
The smallest such an integer $k$ is called <strong>degree</strong> or <strong>index</strong> of $A$.</p>
<p>The matrix $A$ in the solution above gives an example of a $3\times 3$ nilpotent matrix of degree $3$.</p>
<button class="simplefavorite-button has-count" data-postid="2241" data-siteid="1" data-groupid="1" data-favoritecount="94" style="">Click here if solved <i class="sf-icon-star-empty"></i><span class="simplefavorite-button-count" style="">94</span></button><p>The post <a href="https://yutsumura.com/example-of-a-nilpotent-matrix-a-such-that-a2neq-o-but-a3o/" target="_blank">Example of a Nilpotent Matrix $A$ such that $A^2\neq O$ but $A^3=O$.</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></content:encoded>
							<wfw:commentRss>https://yutsumura.com/example-of-a-nilpotent-matrix-a-such-that-a2neq-o-but-a3o/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
						<post-id xmlns="com-wordpress:feed-additions:1">2241</post-id>	</item>
	</channel>
</rss>
