<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
  <channel>
    <title>Kyungtak Hong</title>
    <description>Personal academic website of Kyungtak Hong, Ph.D. candidate in Mathematics at Purdue University.
</description>
    <link>https://kyungtak-hong.github.io/</link>
    <atom:link href="https://kyungtak-hong.github.io/feed.xml" rel="self" type="application/rss+xml"/>
    <pubDate>Fri, 13 Nov 2026 19:54:49 +0000</pubDate>
    <lastBuildDate>Fri, 13 Nov 2026 19:54:49 +0000</lastBuildDate>
    <generator>Jekyll v3.10.0</generator>
    
      <item>
        <title>Algebraically closed fields are infinite</title>
        <description>&lt;p&gt;The proof is analogous to the Euclid’s proof of the infinitude of primes.&lt;/p&gt;

&lt;p&gt;&lt;strong&gt;Theorem&lt;/strong&gt;   Algebraically closed fields are infinite.&lt;/p&gt;

&lt;p&gt;&lt;strong&gt;proof.&lt;/strong&gt;   Let $F=\{a_{0}, \ldots, a_{n}\}$ be a finite field. Then the polynomial $f(x) = 1+\prod_{i=0}^{n} (x-a_{i})$ does not have a root in $F$. Thus $F$ is not algebraically closed. $\blacksquare$&lt;/p&gt;
</description>
        <pubDate>Wed, 24 Aug 2022 11:00:00 +0000</pubDate>
        <link>https://kyungtak-hong.github.io/algebra/2022/08/24/1.html</link>
        <guid isPermaLink="true">https://kyungtak-hong.github.io/algebra/2022/08/24/1.html</guid>
        
        
        <category>Algebra</category>
        
      </item>
    
      <item>
        <title>Essential extensions of integral domains</title>
        <description>&lt;p&gt;The notion of “maximal” essential extension of a module is in general defined only when it is contained in another module. However, such containment is not necessary for the case of integral domains since their quotient fields are in fact the final objects in the category of essential extensions.&lt;/p&gt;

&lt;p&gt;&lt;strong&gt;Lemma&lt;/strong&gt;   Let $D$ be an integral domain and $F$ be its quotient field. Then $F$ is an injective $D$-module.&lt;/p&gt;

&lt;p&gt;&lt;strong&gt;proof.&lt;/strong&gt;   Using Baer’s criterion, it is enough to show that any $D$-module homomorphism $f : I \to F$ from an ideal $I$ of $D$ has an extension $\bar{f} : D \to F$.&lt;/p&gt;

&lt;p&gt;&lt;img src=&quot;/image/2022-08-21-1/1.png&quot; width=&quot;300&quot; class=&quot;center&quot; /&gt;&lt;/p&gt;

&lt;p&gt;The case $I=0$ is clear, so assume that $I \neq 0$ and let $r \in I$ be a nonzero element. Since $F$ is a divisible $D$-module, there exists $x \in F$ such that $f(r) = rx$. Now define $\bar{f} : D \to F$ to be $\bar{f}(a) = ax$. For any $a \in I$, the equation&lt;/p&gt;

\[\begin{equation}\label{eq:1}
r\bar{f}(a) \;=\; rax \;=\; af(r) \;=\; f(ar) \;=\; rf(a)
\end{equation}\]

&lt;p&gt;holds. Since $F$ is a torsion-free $D$-module, ($\ref{eq:1}$) implies that $\bar{f}(a) = f(a)$ and therefore $\bar{f}$ is an extension of $f$. $\blacksquare$&lt;/p&gt;

&lt;p&gt;&lt;em&gt;&lt;strong&gt;Remark&lt;/strong&gt;&lt;/em&gt;   The statement in general holds for the case when $F$ is a divisible torsion-free $D$-module.&lt;/p&gt;

&lt;p&gt;&lt;strong&gt;Theorem&lt;/strong&gt;   Every essential extension of an integral domain can be embedded into its quotient field.&lt;/p&gt;

&lt;p&gt;&lt;strong&gt;proof.&lt;/strong&gt;   Let $D$ be an integral domain, $F$ be its quotient field and $E$ be an essential extension of $D$.&lt;/p&gt;

&lt;p&gt;&lt;img src=&quot;/image/2022-08-21-1/2.png&quot; width=&quot;300&quot; class=&quot;center&quot; /&gt;&lt;/p&gt;

&lt;p&gt;Since $F$ is injective, the inclusion $D \to F$ has an extension $\phi : E \to F$. The equation&lt;/p&gt;

\[\begin{equation}\label{eq:2}
\mathrm{Ker}(\phi) \cap D \;=\; \mathrm{Ker}(D \to F) \;=\; 0
\end{equation}\]

&lt;p&gt;together with $E$ being an essential extension of $D$ implies that $\mathrm{Ker}(\phi) = 0$, and therefore $\phi$ is injective. $\blacksquare$&lt;/p&gt;
</description>
        <pubDate>Sun, 21 Aug 2022 11:00:00 +0000</pubDate>
        <link>https://kyungtak-hong.github.io/algebra/2022/08/21/1.html</link>
        <guid isPermaLink="true">https://kyungtak-hong.github.io/algebra/2022/08/21/1.html</guid>
        
        
        <category>Algebra</category>
        
      </item>
    
      <item>
        <title>The equivalence of norms in finite dimensional vector spaces</title>
        <description>&lt;p&gt;&lt;strong&gt;Theorem&lt;/strong&gt;   Let $V$ be a finite dimensional $\mathbb{R}$-vector space. Then any two norms on $V$ induce the same topology.&lt;/p&gt;

&lt;p&gt;&lt;strong&gt;proof.&lt;/strong&gt;   Without loss of generality, let $V = \mathbb{R}^{d}$. It is enough to show that any norm $\lVert\cdot\rVert$ on $V$ is equivalent to the $2$-norm $\lVert\cdot\rVert_{2}$.&lt;/p&gt;

&lt;p&gt;Let $\{ \mathbf{e}_{1}, \ldots, \mathbf{e}_{d} \}$ be the standard basis of $V$ and $M = \max_{1 \leq i \leq d} \lVert\mathbf{e}_{i}\rVert$. The inequality&lt;/p&gt;

\[\begin{equation}\label{eq:1}
\lVert\mathbf{x}\rVert \;\leq\; \sum_{i=1}^{d} \lVert x_{i}\mathbf{e}_{i}\rVert
\;\leq\; M \sum_{i=1}^{d} \lvert x_{i}\rvert
\;\leq\; Md \lVert\mathbf{x}\rVert_{2}
\end{equation}\]

&lt;p&gt;where $\mathbf{x} = \sum_{i=1}^{d} x_{i}\mathbf{e}_{i} \in V$ shows that the identity map $(V,\lVert\cdot\rVert_{2}) \to (V,\lVert\cdot\rVert)$ is continuous.&lt;/p&gt;

&lt;p&gt;For the inverse direction, let $S=\{\mathbf{x} \in V \;|\; \lVert x \rVert = 1\}$ be the unit sphere in $(V,\lVert\cdot\rVert_{2})$ and consider the function $f : \mathbf{x} \mapsto \lVert \mathbf{x} \rVert$ on $S$. Since $f$ is continuous by ($\ref{eq:1}$) and $S$ is a compact set disjoint from $\mathbf{0} \in V$, $f$ obtains the minimal value $c &amp;gt; 0$. Thus, for any $\mathbf{x} \neq \mathbf{0}$,&lt;/p&gt;

\[\begin{equation}
\frac{\lVert\mathbf{x}\rVert}{\lVert\mathbf{x}\rVert_{2}} = f\left(\frac{\mathbf{x}}{\lVert\mathbf{x}\rVert_{2}}\right) \geq c
\end{equation}\]

&lt;p&gt;holds and therefore the identity map $(V,\lVert\cdot\rVert) \to (V,\lVert\cdot\rVert_{2})$ is also continuous. $\blacksquare$&lt;/p&gt;
</description>
        <pubDate>Thu, 04 Aug 2022 11:00:00 +0000</pubDate>
        <link>https://kyungtak-hong.github.io/analysis/2022/08/04/1.html</link>
        <guid isPermaLink="true">https://kyungtak-hong.github.io/analysis/2022/08/04/1.html</guid>
        
        
        <category>Analysis</category>
        
      </item>
    
  </channel>
</rss>
