<?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>injective &#8211; Problems in Mathematics</title>
	<atom:link href="https://yutsumura.com/tag/injective/feed/" rel="self" type="application/rss+xml" />
	<link>https://yutsumura.com</link>
	<description></description>
	<lastBuildDate>Sun, 09 Jun 2019 08:16:46 +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>injective &#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>Linear Transformation $T(X)=AX-XA$ and Determinant of Matrix Representation</title>
		<link>https://yutsumura.com/linear-transformation-txax-xa-and-determinant-of-matrix-representation/</link>
				<comments>https://yutsumura.com/linear-transformation-txax-xa-and-determinant-of-matrix-representation/#respond</comments>
				<pubDate>Sat, 11 Mar 2017 01:44:10 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Linear Algebra]]></category>
		<category><![CDATA[determinant]]></category>
		<category><![CDATA[determinant of a matrix]]></category>
		<category><![CDATA[injective]]></category>
		<category><![CDATA[linear algebra]]></category>
		<category><![CDATA[linear transformation]]></category>
		<category><![CDATA[matrix for linear transformation]]></category>
		<category><![CDATA[matrix representation]]></category>
		<category><![CDATA[singular matrix]]></category>
		<category><![CDATA[vector space]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=2405</guid>
				<description><![CDATA[<p>Let $V$ be the vector space of all $n\times n$ real matrices. Let us fix a matrix $A\in V$. Define a map $T: V\to V$ by \[ T(X)=AX-XA\] for each $X\in V$. (a) Prove&#46;&#46;&#46;</p>
<p>The post <a href="https://yutsumura.com/linear-transformation-txax-xa-and-determinant-of-matrix-representation/" target="_blank">Linear Transformation $T(X)=AX-XA$ and Determinant of Matrix Representation</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></description>
								<content:encoded><![CDATA[<h2> Problem 330</h2>
<p>	Let $V$ be the vector space of all $n\times n$ real matrices.<br />
	Let us fix a matrix $A\in V$.<br />
	Define a map $T: V\to V$ by<br />
    \[ T(X)=AX-XA\]
    for each $X\in V$.</p>
<p><strong>(a)</strong> Prove that $T:V\to V$ is a linear transformation.</p>
<p><strong>(b)</strong> Let $B$ be a basis of $V$. Let $P$ be the matrix representation of $T$ with respect to $B$. Find the determinant of $P$.</p>
<p>&nbsp;<br />
<span id="more-2405"></span><br />

<h2> Proof. </h2>
<h3>(a) Prove that $T:V\to V$ is a linear transformation.</h3>
<p> To prove $T$ is a linear transformation, we need to show the following properties.</p>
<ol>
<li>For any $X, Y\in V$, we have $T(X+Y)=T(X)+T(Y)$.</li>
<li>For any $X\in V, r\in \R$, we have $T(rX)=rT(X)$.</li>
</ol>
<p>    To check condition 1, let $X, Y \in V$. Then we have<br />
    \begin{align*}<br />
	T(X+Y)&#038;=A(X+Y)-(X+Y)A &#038;&#038; \text{by definition of $T$}\\<br />
	&#038;=AX+AY-XA-YA\\<br />
	&#038;=AX-XA+AY-YA\\<br />
	&#038;=T(X)+T(Y) &#038;&#038; \text{by definition of $T$}.<br />
	\end{align*}<br />
	Hence condition 1 is met.</p>
<p>	To verify condition 2, let $X\in V, r\in \R$.<br />
	Then we have<br />
	\begin{align*}<br />
	T(rX)&#038;=A(rX)-(rX)A &#038;&#038; \text{by definition of $T$}\\<br />
	&#038;=rAX-rXA &#038;&#038; \text{$r$ is a scalar}\\<br />
	&#038;=r(AX-XA)\\<br />
	&#038;=rT(X) &#038;&#038; \text{by definition of $T$}.<br />
	\end{align*}<br />
	So condition 2 is also met, hence $T$ is a linear transformation.</p>
<h3>(b) Find the determinant of the matrix representation of $T$.</h3>
<p> Let $B$ be a basis of the vector space $V$ and let $P$ be the matrix of the linear transformation $T$ with respect to $B$. We prove that the determinant of $P$ is zero.</p>
<p>	Let $I$ be the $n\times n$ identity matrix. Then we have<br />
	\begin{align*}<br />
	T(I)=AI-IA=A-A=O,<br />
	\end{align*}<br />
	where $O$ is the $n\times n$ zero matrix.<br />
	Since $T(O)=O$, this implies that the linear transformation $T$ is not injective, hence $P$ is a singular matrix.</p>
<hr />
<p>	Let us explain the details.<br />
	Let $v=[I]_B \in \R^{n^2}$ be the coordinate vector of $I$ with respect to the basis $B$.<br />
	Then since $I\neq O$, the vector $v$ is not zero.<br />
	Then $T(I)=O$ implies that<br />
	\[Pv=0\in \R^{n^2}.\]
	As the nonzero vector $v$ is a solution of the matrix equation $Px=0$, the matrix $P$ is singular.</p>
<p>	Since $P$ is singular, the determinant of $P$ is zero.</p>
<button class="simplefavorite-button has-count" data-postid="2405" data-siteid="1" data-groupid="1" data-favoritecount="19" style="">Click here if solved <i class="sf-icon-star-empty"></i><span class="simplefavorite-button-count" style="">19</span></button><p>The post <a href="https://yutsumura.com/linear-transformation-txax-xa-and-determinant-of-matrix-representation/" target="_blank">Linear Transformation $T(X)=AX-XA$ and Determinant of Matrix Representation</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></content:encoded>
							<wfw:commentRss>https://yutsumura.com/linear-transformation-txax-xa-and-determinant-of-matrix-representation/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
						<post-id xmlns="com-wordpress:feed-additions:1">2405</post-id>	</item>
		<item>
		<title>A Group Homomorphism is Injective if and only if Monic</title>
		<link>https://yutsumura.com/a-group-homomorphism-is-injective-if-and-only-if-monic/</link>
				<comments>https://yutsumura.com/a-group-homomorphism-is-injective-if-and-only-if-monic/#respond</comments>
				<pubDate>Thu, 05 Jan 2017 00:29:38 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Group Theory]]></category>
		<category><![CDATA[category theory]]></category>
		<category><![CDATA[group]]></category>
		<category><![CDATA[group homomorphism]]></category>
		<category><![CDATA[group theory]]></category>
		<category><![CDATA[homomorphism]]></category>
		<category><![CDATA[injective]]></category>
		<category><![CDATA[injective homomorphism]]></category>
		<category><![CDATA[kernel]]></category>
		<category><![CDATA[kernel of a group homomorphism]]></category>
		<category><![CDATA[monic]]></category>
		<category><![CDATA[monic homomorphism]]></category>
		<category><![CDATA[subgroup]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=1779</guid>
				<description><![CDATA[<p>Let $f:G\to G&#8217;$ be a group homomorphism. We say that $f$ is monic whenever we have $fg_1=fg_2$, where $g_1:K\to G$ and $g_2:K \to G$ are group homomorphisms for some group $K$, we have $g_1=g_2$.&#46;&#46;&#46;</p>
<p>The post <a href="https://yutsumura.com/a-group-homomorphism-is-injective-if-and-only-if-monic/" target="_blank">A Group Homomorphism is Injective if and only if Monic</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></description>
								<content:encoded><![CDATA[<h2> Problem 243</h2>
<p> Let $f:G\to G&#8217;$ be a group homomorphism. We say that $f$ is <strong>monic</strong> whenever we have $fg_1=fg_2$, where $g_1:K\to G$ and $g_2:K \to G$ are group homomorphisms for some group $K$, we have $g_1=g_2$.</p>
<p>Then prove that a group homomorphism $f: G \to G&#8217;$ is injective if and only if it is monic.</p>
<p>&nbsp;<br />
<span id="more-1779"></span><br />

<h2> Proof. </h2>
<h3>$(\implies)$ Injective implies monic </h3>
<p>Suppose that $f: G \to G&#8217;$ is an injective group homomorphism.<br />
We show that $f$ is monic. </p>
<p>So suppose that we have $fg_1=fg_2$, where $g_1:K\to G$ and $g_2:K \to G$ are group homomorphisms for some group $K$.<br />
	Then for any $x\in K$, we have<br />
	\[f(g_1(x))=f(g_2(x)).\]
	Since $f$ is injective, it follows that<br />
	\[g_1(x)=g_2(x)\]
	for any $x\in K$, and thus we obtain $g_1=g_2$. Thus $f$ is monic.</p>
<h3>$(\impliedby)$ Monic implies injective </h3>
<p>For the opposite implication, we prove the contrapositive statement. Namely, we prove that if $f$ is not injective, then $f$ is not monic.</p>
<p>	Suppose that $f$ is not injective. Then the kernel $\ker(f)$ is a non-trivial subgroup of $G$.<br />
 We define the group homomorphism $g_1: \ker(f)\to G$ to be the identity map on $\ker(f)$. That is $g_1(x)=x$ for all $x\in \ker(f)$.<br />
 Also we define the group homomorphism $g_2:\ker(f)\to G$ by the formula $g_2(x)=e$ for all $x\in \ker(f)$, where $e$ is the identity element of $G$.<br />
 Since $\ker(f)$ is a nontrivial group, these two homomorphisms are distinct: $g_1\neq g_2$.</p>
<p> However, we have<br />
 \[fg_1=fg_2.\]
 In fact, we have for $x\in \ker(f)$<br />
 \[fg_1(x)=f(x)=e&#8217;,\]
 where $e&#8217;$ is the identity element of $G&#8217;$,<br />
 and<br />
 \[fg_2(x)=f(e)=e&#8217;.\]
 Thus, by definition, the homomorphism $f$ is not monic as required to complete the proof.</p>
<button class="simplefavorite-button has-count" data-postid="1779" data-siteid="1" data-groupid="1" data-favoritecount="12" style="">Click here if solved <i class="sf-icon-star-empty"></i><span class="simplefavorite-button-count" style="">12</span></button><p>The post <a href="https://yutsumura.com/a-group-homomorphism-is-injective-if-and-only-if-monic/" target="_blank">A Group Homomorphism is Injective if and only if Monic</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></content:encoded>
							<wfw:commentRss>https://yutsumura.com/a-group-homomorphism-is-injective-if-and-only-if-monic/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
						<post-id xmlns="com-wordpress:feed-additions:1">1779</post-id>	</item>
		<item>
		<title>Finite Integral Domain is a Field</title>
		<link>https://yutsumura.com/finite-integral-domain-is-a-field/</link>
				<comments>https://yutsumura.com/finite-integral-domain-is-a-field/#comments</comments>
				<pubDate>Tue, 22 Nov 2016 05:47:00 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Ring theory]]></category>
		<category><![CDATA[commutative ring]]></category>
		<category><![CDATA[domain]]></category>
		<category><![CDATA[field]]></category>
		<category><![CDATA[injective]]></category>
		<category><![CDATA[integral domain]]></category>
		<category><![CDATA[ring]]></category>
		<category><![CDATA[surjective]]></category>
		<category><![CDATA[unit]]></category>
		<category><![CDATA[zero divisor]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=1439</guid>
				<description><![CDATA[<p>Show that any finite integral domain $R$ is a field. &#160; Definition. A commutative ring $R$ with $1\neq 0$ is called an integral domain if it has no zero divisors. That is, if $ab=0$&#46;&#46;&#46;</p>
<p>The post <a href="https://yutsumura.com/finite-integral-domain-is-a-field/" target="_blank">Finite Integral Domain is a Field</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></description>
								<content:encoded><![CDATA[<h2> Problem 192</h2>
<p>Show that any finite integral domain $R$ is a field.<br />
&nbsp;<br />
<span id="more-1439"></span><br />

<h2>Definition.</h2>
<p>A commutative ring $R$ with $1\neq 0$ is called an <strong>integral domain</strong> if it has no zero divisors.<br />
That is, if $ab=0$ for $a, b \in R$, then either $a=0$ or $b=0$.</p>
<h2> Proof. </h2>
<p>We give two proofs.</p>
<h3>Proof 1.</h3>
<p>	Let $r \in R$ be a nonzero element in $R$.<br />
	We show that $r$ is a unit.</p>
<p>	Consider the map $f: R\to R$ sending $x\in R$ to $f(x)=rx$.<br />
	We claim that the map $f$ is injective.<br />
Suppose that we have $f(x)=f(y)$ for $x, y \in R$. Then we have<br />
\[rx=ry\]
or equivalently, we have<br />
\[r(x-y)=0.\]
<p>Since $R$ is an integral domain and $r\neq 0$, we must have $x-y=0$, and thus $x=y$.<br />
Hence $f$ is injective. Since $R$ is a finite set, the map is also surjective.</p>
<p>Then it follows that there exists $s\in R$ such that $rs=f(s)=1$, and thus $r$ is a unit.<br />
Since any nonzero element of a commutative ring $R$ is a unit, $R$ is a field.</p>
<h3>Proof 2.</h3>
<p>		Let $r\in R$ be a nonzero element.<br />
		We show that the inverse element of $r$ exists in $R$ as follows.<br />
		Consider the powers of $r$:<br />
		\[r, r^2, r^3,\dots.\]
		Since $R$ is a finite ring, not all of the powers cannot be distinct.<br />
		Thus, there exist positive integers $m > n$ such that<br />
		\[r^m=r^n.\]
<p>		Equivalently we have<br />
		\[r^n(r^{m-n}-1)=0.\]
		Since $R$ is an integral domain, this yields either $r^n=0$ or $r^{m-n}-1=0$.<br />
		But the former gives $r=0$, and this is a contradiction since $r\neq 0$.</p>
<p>		Hence we have $r^{m-n}=1$, and thus<br />
		\[r\cdot r^{m-n-1}=1.\]
		Since $r-m-1 \geq 0$, we have $r^{m-n-1}\in R$ and it is the inverse element of $r$.</p>
<p>		Therefore, any nonzero element of $R$ has the inverse element in $R$, hence $R$ is a field.</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> Let $R$ be a finite commutative ring with identity $1$. Prove that every prime ideal of $R$ is a maximal ideal of $R$.</div>
<p>For a solution, check out the post &#8220;<a href="//yutsumura.com/every-prime-ideal-of-a-finite-commutative-ring-is-maximal/" target="_blank" rel="noopener noreferrer">Every Prime Ideal of a Finite Commutative Ring is Maximal</a>&#8220;.</p>
<button class="simplefavorite-button has-count" data-postid="1439" data-siteid="1" data-groupid="1" data-favoritecount="74" style="">Click here if solved <i class="sf-icon-star-empty"></i><span class="simplefavorite-button-count" style="">74</span></button><p>The post <a href="https://yutsumura.com/finite-integral-domain-is-a-field/" target="_blank">Finite Integral Domain is a Field</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></content:encoded>
							<wfw:commentRss>https://yutsumura.com/finite-integral-domain-is-a-field/feed/</wfw:commentRss>
		<slash:comments>1</slash:comments>
						<post-id xmlns="com-wordpress:feed-additions:1">1439</post-id>	</item>
		<item>
		<title>Finite Group and a Unique Solution of an Equation</title>
		<link>https://yutsumura.com/finite-group-and-a-unique-solution-of-an-equation/</link>
				<comments>https://yutsumura.com/finite-group-and-a-unique-solution-of-an-equation/#respond</comments>
				<pubDate>Sun, 16 Oct 2016 05:27:27 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Group Theory]]></category>
		<category><![CDATA[bijective]]></category>
		<category><![CDATA[finite group]]></category>
		<category><![CDATA[finite set]]></category>
		<category><![CDATA[group]]></category>
		<category><![CDATA[group theory]]></category>
		<category><![CDATA[injective]]></category>
		<category><![CDATA[order of group]]></category>
		<category><![CDATA[surjective]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=1194</guid>
				<description><![CDATA[<p>Let $G$ be a finite group of order $n$ and let $m$ be an integer that is relatively prime to $n=&#124;G&#124;$. Show that for any $a\in G$, there exists a unique element $b\in G$&#46;&#46;&#46;</p>
<p>The post <a href="https://yutsumura.com/finite-group-and-a-unique-solution-of-an-equation/" target="_blank">Finite Group and a Unique Solution of an Equation</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></description>
								<content:encoded><![CDATA[<h2> Problem 145</h2>
<p>Let $G$ be a finite group of order $n$ and let $m$ be an integer that is relatively prime to $n=|G|$. Show that for any $a\in G$, there exists a unique element $b\in G$ such that<br />
\[b^m=a.\]
&nbsp;<br />
<span id="more-1194"></span><br />

We give two proofs.</p>
<h2> Proof 1. </h2>
<p>	Since $m$ and $n$ are relatively prime integers, there exists integers $s, t$ such that<br />
	\[sm+tn=1.\]
<p>	Then we have<br />
	\begin{align*}<br />
a&#038;=a^1=a^{sm+tn}=a^{sm}a^{tn} \tag{*}<br />
\end{align*}<br />
Note that since the order of the group $G$ is $n$, any element of $G$ raised by the power of $n$ is the identity element $e$ of $G$.<br />
Thus we have<br />
\[a^{tn}=(a^n)^t=e^t=e.\]
Putting $b:=a^s$, we have from (*) that<br />
\[a=b^me=b^m.\]
<p>Now we show the uniqueness of such $b$. Suppose there is another $g&#8217;\in G$ such that<br />
\[a=b&#8217;^m.\]
Then we have<br />
\begin{align*}<br />
&#038;\quad  b^m=a=b&#8217;^m\\<br />
&#038;\Rightarrow b^{sm}=b&#8217;^{sm} \quad \text{ by taking $s$-th power}\\<br />
&#038;\Rightarrow b^{1-tn}=b&#8217;^{1-tn}\\<br />
&#038;\Rightarrow b(b^n)^t=b'(b&#8217;^n)^t\\<br />
&#038;\Rightarrow b=b&#8217; \quad \text{ since } b^n=e=b&#8217;^n.<br />
\end{align*}<br />
Therefore, we have $b=b&#8217;$ and the element $b$ satisfying $a=b^m$ is unique.</p>
<h2> Proof 2. </h2>
<p>	Consider a map $f$ from $G$ to $G$ itself defined by sending $g$ to $f(g)=g^m$.<br />
	We show that this map is injective.<br />
	Suppose that $f(g)=f(g&#8217;)$.</p>
<p>	Since $m$ and $n$ are relatively prime integers, there exists integers $s, t$ such that<br />
	\[sm+tn=1.\]
<p>	We have<br />
	\begin{align*}<br />
f(g)&#038;=f(g&#8217;)\\<br />
&#038;\Rightarrow g^m=g&#8217;^m \\<br />
&#038;\Rightarrow g^{sm}=g&#8217;^{sm} \quad \text{ by taking $s$-th power}\\<br />
&#038;\Rightarrow g^{1-tn}=g&#8217;^{1-tn}\\<br />
&#038;\Rightarrow g(g^n)^t=g'(g&#8217;^n)^t\\<br />
&#038;\Rightarrow g=g&#8217; \quad \text{ since } g^n=e=g&#8217;^n, n=|G|.<br />
\end{align*}</p>
<p>Therefore the map $f$ is injective. Since $G$ is a finite set, it also follows that the map is bijective.<br />
Thus for any $a \in G$, there is a unique $b \in G$ such that $f(b)=a$, namely, $b^m=a$.</p>
<button class="simplefavorite-button has-count" data-postid="1194" data-siteid="1" data-groupid="1" data-favoritecount="13" style="">Click here if solved <i class="sf-icon-star-empty"></i><span class="simplefavorite-button-count" style="">13</span></button><p>The post <a href="https://yutsumura.com/finite-group-and-a-unique-solution-of-an-equation/" target="_blank">Finite Group and a Unique Solution of an Equation</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></content:encoded>
							<wfw:commentRss>https://yutsumura.com/finite-group-and-a-unique-solution-of-an-equation/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
						<post-id xmlns="com-wordpress:feed-additions:1">1194</post-id>	</item>
		<item>
		<title>A Group Homomorphism is Injective if and only if the Kernel is Trivial</title>
		<link>https://yutsumura.com/a-group-homomorphism-is-injective-if-and-only-if-the-kernel-is-trivial/</link>
				<comments>https://yutsumura.com/a-group-homomorphism-is-injective-if-and-only-if-the-kernel-is-trivial/#comments</comments>
				<pubDate>Sun, 16 Oct 2016 03:48:36 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Group Theory]]></category>
		<category><![CDATA[group]]></category>
		<category><![CDATA[group homomorphism]]></category>
		<category><![CDATA[group theory]]></category>
		<category><![CDATA[homomorphism]]></category>
		<category><![CDATA[injective]]></category>
		<category><![CDATA[injective homomorphism]]></category>
		<category><![CDATA[kernel]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=1190</guid>
				<description><![CDATA[<p>Let $G$ and $H$ be groups and let $f:G \to K$ be a group homomorphism. Prove that the homomorphism $f$ is injective if and only if the kernel is trivial, that is, $\ker(f)=\{e\}$, where&#46;&#46;&#46;</p>
<p>The post <a href="https://yutsumura.com/a-group-homomorphism-is-injective-if-and-only-if-the-kernel-is-trivial/" target="_blank">A Group Homomorphism is Injective if and only if the Kernel is Trivial</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></description>
								<content:encoded><![CDATA[<h2> Problem 144</h2>
<p> Let $G$ and $H$ be groups and let $f:G \to K$ be a group homomorphism. Prove that the homomorphism $f$ is injective if and only if the kernel is trivial, that is, $\ker(f)=\{e\}$, where $e$ is the identity element of $G$.<br />
&nbsp;<br />
<span id="more-1190"></span><br />
&nbsp;<br />

<h2>Definitions/Hint.</h2>
<ul>
We recall several relevant definitions.</p>
<li>A <strong>group homomorphism</strong> $f:G\to H$ is a map such that for any $g_1, g_2 \in G$, we have<br />
\[f(g_1g_2)=f(g_1)f(g_2).\]</li>
<li>A group homomorphism $f:G \to H$ is <strong>injective</strong> if for any $g_1, g_2 \in G$<br />
the equality<br />
\[f(g_1)=f(g_2)\]
implies $g_1=g_2$.</li>
<li>The <strong>kernel</strong> of a group homomorphism $f:G \to H$ is a set of all elements of $G$ that is mapped to the identity element of $H$.<br />
Namely,<br />
\[\ker(f)=\{g\in G \mid f(g)=e&#8217;\},\]
where $e&#8217;$ is the identity element of $H$.
</ul>
<h2> Proof. </h2>
<h3>Injective $\implies$ the kernel is trivial</h3>
<p>Suppose the homomorphism $f: G \to H$ is injective.<br />
Then since $f$ is a group homomorphism, the identity element $e$ of $G$ is mapped to the identity element $e&#8217;$ of $H$. Namely, we have $f(e)=e&#8217;$.<br />
If $g \in \ker(f)$, then we have $f(g)=e&#8217;$, and thus we have<br />
\[f(g)=f(e).\]
Since $f$ is injective, we must have $g=e$. Thus we have $\ker(f)=\{e\}$.</p>
<h3>The kernel is trivial $\implies$ injective</h3>
<p>On the other hand, suppose that $\ker(f)=\{e\}$.<br />
If $g_1, g_2$ are elements of $G$ such that<br />
\[f(g_1)=f(g_2), \tag{*}\]
then we have<br />
\begin{align*}<br />
f(g_1g_2^{-1})&#038;=f(g_1)f(g_2^{-1}) \quad \text{ since } f \text{ is a homomorphism}\\<br />
&#038;=f(g_1)f(g_2)^{-1} \quad \text{ since } f \text{ is a homomorphism}\\<br />
&#038;=f(g_1)f(g_1)^{-1} \quad \text{ by } (*)\\<br />
&#038;=e&#8217;.<br />
\end{align*}</p>
<p>In the second step, we used the fact $f(g_2^{-1})=f(g_2)^{-1}$, which is proved in the post &#8220;<a href="//yutsumura.com/group-homomorphism-sends-the-inverse-element-to-the-inverse-element/" target="_blank">Group Homomorphism Sends the Inverse Element to the Inverse Element</a>&#8220;.</p>
<p>Thus the element $g_1g_2^{-1}$ is in the kernel $\ker(f)=\{e\}$, and hence $g_1g_2^{-1}=e$.<br />
This implies that we have $g_1=g_2$ and $f$ is injective.</p>
<button class="simplefavorite-button has-count" data-postid="1190" data-siteid="1" data-groupid="1" data-favoritecount="132" style="">Click here if solved <i class="sf-icon-star-empty"></i><span class="simplefavorite-button-count" style="">132</span></button><p>The post <a href="https://yutsumura.com/a-group-homomorphism-is-injective-if-and-only-if-the-kernel-is-trivial/" target="_blank">A Group Homomorphism is Injective if and only if the Kernel is Trivial</a> first appeared on <a href="https://yutsumura.com/" target="_blank">Problems in Mathematics</a>.</p>]]></content:encoded>
							<wfw:commentRss>https://yutsumura.com/a-group-homomorphism-is-injective-if-and-only-if-the-kernel-is-trivial/feed/</wfw:commentRss>
		<slash:comments>2</slash:comments>
						<post-id xmlns="com-wordpress:feed-additions:1">1190</post-id>	</item>
	</channel>
</rss>
