math/commutative-algebra-notes.tex
commutative-algebra-notes.texRaw
1\documentclass{article}
2\usepackage[utf8]{inputenc}
3\usepackage{amsfonts}
4% \usepackage{yfonts} % WIP
5\usepackage{amsthm}
6\usepackage{amsmath}
7\usepackage{enumerate}
8\usepackage{hyperref}
9\usepackage{amssymb}
10\usepackage{tikz} % diagram
11
12\begin{filecontents}[overwrite]{commutative-algebra-notes.bib}
13@misc{am,
14 author = {M. F. Atiyah and I. G. MacDonald},
15 title = {{Introduction to Commutative Algebra}},
16 year = {1969}
17}
18@misc{reid,
19 author = {Miles Reid},
20 title = {{Undergraduate Commutative Algebra}},
21 year = {1995}
22}
23@misc{mit-course,
24 author = {Steven Kleiman},
25 title = {{Commutative Algebra - MIT OpenCourseWare}},
26 year = {2008},
27 note = {\url{https://ocw.mit.edu/courses/18-705-commutative-algebra-fall-2008/}},
28 url = {https://ocw.mit.edu/courses/18-705-commutative-algebra-fall-2008/}
29}
30\end{filecontents}
31\nocite{*}
32
33
34\theoremstyle{definition}
35
36\newtheorem{innerdefn}{Definition}
37\newenvironment{defn}[1]
38{\renewcommand\theinnerdefn{#1}\innerdefn}
39{\endinnerdefn}
40
41\newtheorem{innerthm}{Theorem}
42\newenvironment{thm}[1]
43{\renewcommand\theinnerthm{#1}\innerthm}
44{\endinnerthm}
45
46\newtheorem{innerlemma}{Lemma}
47\newenvironment{lemma}[1]
48{\renewcommand\theinnerlemma{#1}\innerlemma}
49{\endinnerlemma}
50
51\newtheorem{innerprop}{Proposition}
52\newenvironment{prop}[1]
53{\renewcommand\theinnerprop{#1}\innerprop}
54{\endinnerprop}
55
56\newtheorem{innercor}{Corollary}
57\newenvironment{cor}[1]
58{\renewcommand\theinnercor{#1}\innercor}
59{\endinnercor}
60
61\newtheorem{innereg}{Example}
62\newenvironment{eg}[1]
63{\renewcommand\theinnereg{#1}\innereg}
64{\endinnereg}
65
66\newtheorem{innerex}{Exercise}
67\newenvironment{ex}[1]
68{\renewcommand\theinnerex{#1}\innerex}
69{\endinnerex}
70
71\newcommand{\aA}{\mathfrak{a}} % TODO: use goth font
72\newcommand{\mM}{\mathfrak{m}}
73
74\title{Commutative Algebra notes}
75\author{arnaucube}
76\date{2026}
77
78\begin{document}
79
80\maketitle
81
82\begin{abstract}
83 Notes taken while studying Commutative Algebra, mostly from Atiyah \& MacDonald book \cite{am} and Reid's book \cite{reid}. For the exercises, I follow the assignments listed at \cite{mit-course}.
84
85 Usually while reading books and papers I take handwritten notes in a notebook, this document contains some of them re-written to $LaTeX$.
86
87 The proofs may slightly differ from the ones from the books, since I try to extend them for a deeper understanding.
88\end{abstract}
89
90\tableofcontents
91
92\section{Ideals}
93
94\subsection{Definitions}
95
96\begin{defn}{}[ideal]
97 $I \subset R$ ($R$ ring) such that $0 \in I$ and $\forall x \in I,~ r \in R,~ xr, rx \in I$.\\
98 \hspace*{2em} ie. $I$ absorbs products in $R$.
99\end{defn}
100
101\begin{defn}{}[prime ideal]
102 if $a, b \in R$ with $ab \in P$ and $P \neq R$ ($P$ a prime ideal), implies $a \in P$ or $b \in P$.
103\end{defn}
104
105\begin{defn}{}[principal ideal]
106 generated by a single element, $(a)$.
107
108 $(a)$: principal ideal, the set of all multiples $xa$ with $x \in R$.
109\end{defn}
110
111\begin{defn}{}[maximal ideal]
112 $\mM \subset A$ ($A$ ring) with $m \neq A$ and there is no ideal $I$ strictly between $\mM$ and $A$. ie. if $\mM$ maximal and $\mM \subseteq I \subseteq A$, either $\mM=I$ or $I=A$.
113\end{defn}
114
115
116\begin{defn}{}[unit]
117 $x \in A$ such that $xy=1$ for some $y \in A$. ie. element \emph{which divides 1}.
118\end{defn}
119
120\begin{cor}{1.8} \label{1.8}
121 $A = A^{\times} \sqcup \bigcup m$ (where $\sqcup$ denotes ``disjoint union"), ie. $f \in A$ is either a unit or it is contained in a maximal ideal, not both.
122\end{cor}
123
124\begin{defn}{}[zerodivisor]
125 $x \in A$ such that $\exists~ 0 \neq y \in A$ such that $xy=0 \in A$. ie. $x$ \emph{divides 0}..
126
127
128 If a ring does not have zerodivisors is an integral domain.
129\end{defn}
130
131\begin{defn}{}[prime spectrum - $Spec(A)$]
132 set of prime ideals of $A$. ie.
133
134 $$Spec(A) = \{ P ~|~ P \subset A~ \text{is a prime ideal} \}$$
135\end{defn}
136
137\begin{defn}{}[integral domain]
138 Ring in which the product of any two nonzero elements is nonzero.
139
140 ie. no zerodivisors.
141
142 ie. $\forall~ 0 \neq a,~ 0 \neq b \in A,~ ab \neq 0 \in A$.
143
144 Every field is an integral domain, not the converse.
145\end{defn}
146
147\begin{defn}{}[principal ideal domain - PID]
148 integral domain in which every ideal is principal. ie.
149 ie. $\forall I \subset R,~ \exists~ a \in I$ such that $I = (a) = \{ ra ~|~ r \in R \}$.
150\end{defn}
151
152\begin{defn}{}[nilpotent]
153 $a \in A$ such that $a^n=0$ for some $n>0$.
154\end{defn}
155\begin{defn}{}[nilrad A]
156 set of all nilpotent elements of $A$; is an ideal of $A$.
157
158 if $nilrad A = 0 ~\Longrightarrow$ $A$ has no nonzero nilpotents.
159
160
161 $$nilrad A = \bigcap_{P \in Spec(A)} P$$
162\end{defn}
163
164\begin{defn}{}[idempotent]
165 $e \in A$ such that $e^2=e$.
166\end{defn}
167
168\begin{defn}{}[radical of an ideal]
169 $$rad I = \{ f \in A | f^n \in I~ \text{for some}~ n \}$$
170
171 $rad I$ is an ideal.
172
173 $nilrad A = rad 0$
174
175 $rad I = \bigcap_{\substack{P \in \operatorname{Spec}(A)\\ P \supset I}} P$
176\end{defn}
177
178\begin{defn}{1.13}[local ring] \label{1.13}
179 A ring is \emph{local} if it has a unique maximal ideal.
180
181 Notation: local ring $A$, its maximal ideal $\mM$, residue field $K=A/\mM$:
182 $$A \supset \mM ~\text{or}~ (A, \mM) ~\text{or}~ (A, \mM, K)$$
183
184 \vspace{0.3cm}
185 By Corollary \ref{1.8}, $A$ is local\\
186 \hspace*{4em}$\Longleftrightarrow$ $A$ has only one maximal ideal.\\
187 \hspace*{4em}$\Longleftrightarrow$ all the nonunits of $A$ form an ideal.
188\end{defn}
189
190\subsection{Z and K[X], two Principal Ideal Domains}
191
192
193\begin{lemma}{}
194 $\mathbb{Z}$ is a PID.
195\end{lemma}
196\begin{proof}
197 Let $I$ a nonzero ideal of $\mathbb{Z}$.
198
199 Since $I \neq \{0\}$, there is at least one nonzero integer in $I$. Choose the smallest element of $I$, namely $d$.
200
201 Observe that $(d) \subseteq I$, since $d \in I$. Then, every multiple $nd \in I$, since $I$ is an ideal.
202
203 Take $a \in I$. By the Euclidean division algorithm in $\mathbb{Z}$, $a=qd+r$, with $q,r \in \mathbb{Z}$ and $0 \leq r \leq d$.
204
205 Then $r = a - qd \in I$, but $d$ was chosen to be the smallest positive element of $I$, so the only possibility is $r=0$.
206
207 Hence, $a=qd$, so $a \in (d)$, giving $I \subseteq (d)$.
208
209 Since we had $(d) \subseteq I$ and now we got $I \subseteq (d)$, we have $I = (d)$, so every ideal of $\mathbb{Z}$ is principal. Thus $\mathbb{Z}$ is a Principal Ideal Domain(PID).
210\end{proof}
211
212\begin{lemma}{}
213 $K[X]$ is a PID.
214\end{lemma}
215\begin{proof}
216 This proof follows very similarly to the previous proof.\\
217
218 Let $K$ be a field, $K[X]$ a polynomial ring.
219
220 Take $\{0\} \neq I \subseteq K[X]$.
221
222 Since $I \neq \{0\}$, there is at least one non-zero polynomial in $I$.
223
224 Let $p(X) \in I$ be of minimal degree among nonzero elements of $I$.
225
226 Observe that $(p(X)) \subseteq I$, because $p(X) \in I$ and $I$ is an ideal.
227
228 Let $f(X) \in I$. By Euclidean division algorithm in $K[X]$, $\exists q, r \in K[X]$ such that $f(X) = q(X) \cdot p(X) + r(X)$ with eithr $r(X)=0$ or $deg(r) < deg(p)$.
229
230 Since $f,p \in I$, then $r(X) = f(X) - q(X)\cdot p(X) \in I$
231
232 If $r(X) \neq 0$, then $deg(r) < deg(p)$, which contradicts the minimality of $deg(p)$ in $I$.
233
234 Therefore, $r(X)=0$, thus $f(X)=q(X)\cdot p(X)$, hence $f(X) \in (p(X))$.
235 Henceforth, $I \subseteq (p(X))$.
236
237 Then, since $(p(X)) \subseteq I$ and $I \subseteq (p(X))$, we have that $I = (p(X))$.
238
239 So every ideal of $K[X]$ is principal; thus $K[X]$ is a PID.
240
241\end{proof}
242
243
244
245\subsection{Zorn's lemma and Jacobson radicals}
246
247Let $\Sigma$ be a partially orddered set. Given subset $S \subset \Sigma$, an \emph{upper bound} of $S$ is an element $u \in \Sigma$ such that $s<u \forall s \in S$.
248
249A \emph{maximal element} of $\Sigma$, is $m \in \Sigma$ such that $m<s$ does not hold for any $s \in \Sigma$.
250
251A subset $S \subset \Sigma$ is \emph{totally ordered} if for every pair $s_1,s_2 \in S$, either $s_1 \leq s_2$ or $s_2 \leq s_1$.
252
253\begin{lemma}{R.1.7}[Zorn's lemma] \label{zorn}
254 Suppose $\Sigma$ a nonempty partially ordered set (ie. we are given a relation $x \leq y$ on $\Sigma$), and that any totally ordered subset $S \subset \Sigma$ has an upper bound in $\Sigma$.
255
256 Then $\Sigma$ has a maximal element.
257\end{lemma}
258
259\begin{thm}{AM.1.3} \label{1.3}
260 Every ring $A \neq 0$ has at least one maximal ideal.
261\end{thm}
262\begin{proof}
263 By Zorn's lemma \ref{zorn}.
264\end{proof}
265
266\begin{cor}{AM.1.4} \label{1.4}
267 if $I \neq (1)$ an ideal of $A$, $\exists$ a maximal ideal of $A$ containing $I$.
268\end{cor}
269
270\begin{cor}{AM.1.5} \label{1.5}
271 Every non-unit of $A$ is contained in a maximal ideal.
272\end{cor}
273
274\begin{defn}{}[Jacobson radical]
275 The \emph{Jacobson radical} of a ring $A$ is the intersection of all the maximal ideals of $A$.
276
277 Denoted $Jac(A)$.
278
279 $Jac(A)$ is an ideal of $A$.
280\end{defn}
281
282\begin{prop}{AM.1.9} \label{1.9}
283 $x \in Jac(A)$ iff $(1 - xy)$ is a unit in $A$, $\forall y \in A$.
284\end{prop}
285\begin{proof}
286 Suppose $1-xy$ not a unit.
287
288 By \ref{1.5}, $1-xy \in \mM$ for $\mM$ some maximal ideal.
289
290 But $x \in Jac(A) \subseteq \mM$, since $Jac(A)$ is the intersection of all maximal ideals of $A$.
291
292 Hence $xy \in \mM$, and therefore $1 \in \mM$, which is absurd, thus $1-xy$ is a unit.
293
294 Conversely:\\
295 Suppose $x \not\in \mM$ for some maximal ideal $\mM$.
296
297 Then $\mM$ and $x$ generate the unit ideal $(1)$, so that we have $u + xy = 1$ for some $u \in \mM$ and some $y \in A$.
298
299 Hence $1 -xy \in \mM$, and is therefore not a unit.
300\end{proof}
301
302\section{Modules}
303
304\subsection{Modules concepts}
305
306Let $A$ be a ring. An $A$-module is an Abelian group $M$ with a multiplication
307map
308\begin{align*}
309 A \times M &\longrightarrow M\\
310 (f, m) &\longmapsto fm
311\end{align*}
312satisfying $\forall~ f,g \in A,~~ m, n \in M$.
313\begin{enumerate}[i.]
314 \item $f(m \pm n)=fm \pm fn$
315 \item $(f \pm g) m = fm \pm gm$
316 \item $(fg) m = f(gm)$
317 \item $1_A m = m$
318\end{enumerate}
319
320Let $\psi: M \longrightarrow M$ an $A$-linear endomorphism of $M$.\\
321$A[\psi] \subset End M$ is the subring geneerated by $A$ and the action of $\psi$.
322\begin{itemize}
323\item since $\psi$ is $A$-linear, $A[\psi]$ is a commutative ring.
324\item $M$ is a module over $A[\psi]$, so $\psi$ beomes multiplication by a ring element.
325\end{itemize}
326
327\subsection{Cayley-Hamilton theorem, Nakayama lemma, and corollaries}
328
329\begin{prop}{AM.2.4}(Cayley-Hamilton Theorem) \label{2.4}
330 Let $M$ a fingen $A$-module. Let $\aA$ an ideal of $A$, let $\psi$ an
331 $A$-module endomorphism of $M$ such that $\psi(M) \subseteq \aA M$.
332
333 Then $\psi$ satisfies
334
335 $$\psi^n + a_1 \psi^{n-1} + \ldots + a_{n-1} \psi + a_n = 0$$
336
337 with $a_i \in \aA$.
338\end{prop}
339\begin{proof}
340 Since $M$ fingen, let $\{ x_1, \ldots, x_n \}$ be generators of $M$.\\
341 By hypothesis, $\psi(M) \subseteq \aA M$; so for any generator $x_i$, it's image $\psi(x_i) \in \aA M$.
342
343 Any element in $\aA M$ is a linear combination of the generators with coefficients in the ideal $\aA$, thus
344 $$\psi(x_i)= \sum_{j=1}^n a_{ij} x_j$$
345 with $a_{ij} \in \aA$.
346
347 Thus, for a module with $n$ generators, we have $n$ different $\psi(x_i)$ equations:
348
349 $$
350 \left.
351 \begin{aligned}
352 \psi(x_1) &= a_{1,1} x_1 + a_{1,2} x_2 + \ldots + a_{1,n} x_n\\
353 \psi(x_2) &= a_{2,1} x_1 + a_{2,2} x_2 + \ldots + a_{2,n} x_n\\
354 \ldots\\
355 \psi(x_n) &= a_{n,1} x_1 + a_{n,2} x_2 + \ldots + a_{n,n} x_n
356 \end{aligned}
357 \right\}
358 \begin{aligned}
359 &\text{n elements $\psi(x_i) \in \aA M$ which}\\
360 &\text{are linear combinations of the}\\
361 &\text{$n$ generators of $M$}
362 \end{aligned}
363 $$
364
365 Next step: rearrange in order to use matrix algebra.
366
367 Observe that each row equals $0$, and rearranging the elements at each row we get
368
369 $$
370 \left.
371 \begin{aligned}
372 &\psi(x_1) - (a_{1,1} x_1 + a_{1,2} x_2 + \ldots + a_{1,n} x_n) = 0\\
373 &\psi(x_2) - (a_{2,1} x_1 + a_{2,2} x_2 + \ldots + a_{2,n} x_n) = 0\\
374 &\ldots\\
375 &\psi(x_n) - (a_{n,1} x_1 + a_{n,2} x_2 + \ldots + a_{n,n} x_n) = 0
376 \end{aligned}
377 \right\}
378 $$
379
380 Then, group the $x_i$ terms together; as example, take the row $i=1$:
381 $$(\psi - a_{1,1})x_1 - a_{1,2} x_2 - \ldots - a_{1,n} x_n = 0$$
382
383 $$
384 \left.
385 \begin{aligned}
386 &~~~~(\psi - a_{1,1})x_1 - a_{1,2} x_2 - \ldots - a_{1,n} x_n = 0\\
387 &-a_{2,1} x_1 + (\psi - a_{2,2}) x_2 - \ldots - a_{2,n} x_n = 0\\
388 &\ldots\\
389 &-a_{1,1} x_1 - a_{1,2} x_2 - \ldots + (\psi - a_{1,n}) x_n = 0\\
390 \end{aligned}
391 \right\}
392 $$
393
394 So, $\forall i \in [n]$, as a matrix:
395
396 $$
397 \begin{pmatrix}
398 \psi - a_{1,1} & -a_{1,2} & \ldots & -a_{1,n}\\
399 -a_{2,1} & \psi-a_{2,2} & \ldots & -a_{2,n}\\
400 \vdots\\
401 -a_{n,1} & -a_{n,2} & \ldots & \psi-a_{n,n}\\
402 \end{pmatrix}
403 \begin{pmatrix}
404 x_1\\ x_2\\ \vdots\\ x_n
405 \end{pmatrix}
406 =
407 \begin{pmatrix}
408 0\\ 0\\ \vdots\\ 0
409 \end{pmatrix}
410 $$
411
412
413
414 Denote the previous matrix by $\Phi$. Let $m$ denote the vector $(x_1, x_2, \ldots, x_n)^T$ (ie. the vector of generators of the $A$-module $M$).\\
415 \hspace*{4em}Then we can write the previous equality as
416 \begin{equation}
417 \Phi \cdot m = 0
418 \label{eq:2.4.1}
419 \end{equation}
420
421 We know that
422 \begin{equation}
423 adj(\Phi) \Phi = det(\Phi) I
424 \label{eq:2.4.2}
425 \end{equation}
426 (aka. \emph{fundamental identity for the adjugate matrix}).
427
428 So if at \eqref{eq:2.4.1} we multiply both sides by $adj(\Phi)$,
429 \begin{align*}
430 adj(\Phi) \cdot \Phi \cdot &m = 0\\
431 (\text{recall from \eqref{eq:2.4.2}:}~ &adj(\Phi)\Phi=det(\Phi)\cdot I ~)\\
432 =det(\Phi) \cdot I \cdot &m = 0
433 \end{align*}
434
435 Thus,
436 \begin{align*}
437 det(\Phi) \cdot I \cdot &m = 0:\\
438 \begin{pmatrix}
439 det(\Phi) & 0 & \ldots & 0\\
440 0 & det(\Phi) & \ldots & 0\\
441 \vdots\\
442 0 & 0 & \ldots & det(\Phi)
443 \end{pmatrix}
444 \cdot
445 &\begin{pmatrix}
446 x_1\\ x_2\\ \vdots\\ x_n
447 \end{pmatrix}
448 =
449 \begin{pmatrix}
450 0\\ 0\\ \vdots\\ 0
451 \end{pmatrix}
452 \end{align*}
453
454 $\Longrightarrow$
455 \begin{equation}
456 det(\Phi) \cdot x_i = 0 ~~\forall i \in [n]
457 \label{eq:2.4.3}
458 \end{equation}
459
460 ie. $det(\Phi)$ is an \emph{annihilator} of the generators $x_i$ of $M$, thus
461 is an annihilator of the entire module $M$.
462
463
464 So, we're interested into calculating the $det(\Phi)$.
465
466 By the Leibniz formula,
467 $$\det(A) = \sum_{\sigma \in S_n} sgn(\sigma) \prod_{i=1}^n a_{i, \sigma(i)}$$
468
469 thus,
470 $$det(\Phi) = \underbrace{(\psi - a_{11}) (\psi - a_{22}) \ldots (\psi - a_{nn})}_{\text{diagonal of $\Phi$, leading term of the determinant}} - \ldots$$
471
472 The \emph{determinant trick} is that the terms that go after the "leading term of the determinant", will belong to $\aA$ and their combinations with $\psi$ will not be bigger than $\psi^n$. Furthermore, when expanding it
473 \begin{itemize}
474 \item highest power is $1 \cdot \psi^n$
475 \item coefficient of $\psi^{n-1}$ is $-( \underbrace{ a_{11} + a_{22} + \ldots + a_{nn} }_{a_1})$,\\
476 where, since each $a_{ii} \in \aA,~~ a_1 \in \aA$
477 \item the rest of coefficients of $\psi^k$ are also elements in $\aA$
478 \end{itemize}
479
480 Therefore we have
481 $$det(\Phi) = \psi^n + a_1 \psi^{n-1} + a_2 \psi^{n-2} + \ldots + a_{n-1} \psi + a_n$$
482 with $a_i \in \aA$.
483
484 \vspace{0.5cm}
485
486 Now, notice that we had $det(\Phi) \cdot x_i = 0 ~\forall~ i\in [n]$.
487
488 The matrix $\Phi$ is the \emph{characteristic matrix}, $xI-A$, viewed as an operator. Then,
489 $$det(\Phi) = det(xI-A) = p(x)$$
490 where $p(x)$ is the \emph{characteristic polynomial}.
491
492 If a linear transformation turns every basis vector ($x_i$) into zero, then that transformation is the zero transformation. So in our case, $det(\Phi)$ is the zero transformation, thus $det(\Phi)=0$.
493 Therefore,
494 $$\psi^n + a_1 \psi^{n-1} + a_2 \psi^{n-2} + \ldots + a_{n-1} \psi + a_n = 0$$
495
496
497 %%%%%% OLD START
498
499 % \vspace{3cm}
500 %
501 % Kronecker delta:
502 % $\delta_{ij} =
503 % \begin{cases}
504 % 1 & \text{if } i = j,\\
505 % 0 & \text{otherwise}
506 % \end{cases}$
507 %
508 % With the Kronecker delta, $\psi(x_i)$ can be expressed as
509 % $$\psi(x_i) = \sum_{j=1}^n \delta_{ij} \psi(x_j)$$
510 % so the previous matrix can be characterized as
511 % $$\sum_{j=1}^n (\delta_{ij} \psi - a_{ij}) x_j = 0$$
512 %
513 % The entries of the matrix are \emph{endomorphisms} (elements of the ring $A[\psi]$)
514 % \begin{itemize}
515 % \item the term $(\psi - a_{11})$ is an operator that acts on $x_1$; as $(\psi(x_1)-a_{11}\cdot x_1)$
516 % \item the term $(-a_{12})$ is an operator that acts on $x_2$; as multiplication by it, ie. $(-a_{12} \cdot x_2)$
517 % \end{itemize}
518 %
519 % We need a single element $x \in A$ that \emph{annihilates} every $m \in M$ simultaneously, ie. $xM=0$. We're going to use the determinant for getting $x$.
520 %
521 % Since $A$ is a commutative ring, and $\psi$ commutes with any $a \in A$,
522 % the ring of operators $A[\psi]$ is a commutative ring.
523 %
524 % $\Longrightarrow~$ so we can treat the matrix as a matrix of real numbers and calculate its determinant.
525 %
526 %
527 % \vspace{0.75cm}
528 % This is called \emph{"the determinant trick"}.\\
529 % We're interested in the determinant because it is the only way to turn a system of multiple equations in a single scalar-like equation that describes the endomorphism $\psi$.\\
530 % $\rightarrow$ Because in module theory, we lack of "division", so can not "solve for $\psi$" the system of equations.\\
531 % $\rightarrow$ The determinant provides a way to find a polynomial that \emph{annihilates} the module; the \emph{characteristic polynomial}, which related $\psi$ to the ideal $\aA$
532 %
533 % $$det(M) \cdot x_i = 0~~ \forall i$$
534 % where $x_i$ are the generators of $M$.
535 %
536 % Use $\Phi$ to denote the previous matrix. The determinant is the only function that can take that matrix $\Phi$ and produce a single scalar $x=det(\Phi)$ such that the following identity holds: $adj(\Phi)\cdot \Phi=det(\Phi) \cdot \aA$.
537 % \vspace{0.5cm}
538 %
539 % Since $det(M)$ kills every generator, it must kill every element in $M$\\
540 % $\Longrightarrow~~ det(M)$ is the zero map.
541 %
542 % Leibniz formula of the determinant of an $n \times n$ matrix:
543 % $$
544 % det(M) = \sum_{\sigma \in S_n} sign(\sigma) \prod_{i=1}^n M_{i, \sigma(i)}
545 % $$
546 %
547 % so,
548 % $$(\psi - a_{11}) (\psi - a_{22}) \ldots (\psi - a_{nn})$$
549 % expanding it,
550 % \begin{itemize}
551 % \item highest power is $1 \cdot \psi^n$
552 % \item coefficient of $\psi^{n-1}$ is $-( \underbrace{ a_{11} + a_{22} + \ldots + a_{nn} }_{a_1})$,\\
553 % where, since each $a_{ii} \in \aA,~~ a_1 \in \aA$
554 % \item the rest of coefficients of $\psi^k$ are also elements in $\aA$
555 % \end{itemize}
556 %
557 % So we have
558 % $$p(\psi) = \psi^n + a_1 \psi^{n-1} + a_2 \psi^{n-2} + \ldots + a_{n-1} \psi + a_n$$
559 % with $a_i \in \aA$.
560 %
561 % Since this determinant annihilates the generators (ie. $det(M)x_i=0$), the resulting enddomorphism $p(\psi)$ is the zero map on the entire module $M$, so:
562 % $$\psi^n + a_1 \psi^{n-1} + a_2 \psi^{n-2} + \ldots + a_{n-1} \psi + a_n = 0$$
563 % with $a_i \in \aA$, as stated in the Cayley-Hamilton theorem.
564
565 %%%%% OLD END
566\end{proof}
567
568
569\vspace{0.5cm}
570
571\begin{cor}{AM.2.5} \label{2.5}
572 Let $M$ a fingen $A$-module, let $\aA$ an ideal of $A$ such that $\aA M = M$.
573
574 Then, $\exists~ x \equiv 1 \pmod \aA$ such that $xM = 0$.
575\end{cor}
576\begin{proof}
577 take $\psi = \text{identity}$. Then in Cayley-Hamilton (\ref{2.4}):
578 \begin{align*}
579 &\psi^n + a_1 \psi^{n-1} + a_2 \psi^{n-2} + \ldots + a_{n-1} \psi + a_n = 0\\
580 \Longrightarrow~ &id_M + a_1 id_M + a_2 id_M + \ldots + a_{n-1} id_M + a_n = 0\\
581 \Longrightarrow~ &(1 + a_1 + \ldots + a_n) id_M = 0
582 \end{align*}
583 apply it to $m \in M$, where since $id_M(m)=m$ (by definition of the identity), we then have
584 $$(1 + a_1 + \ldots + a_n) \cdot m = 0$$
585 with $a_i \in \aA$.
586
587 \begin{enumerate}[\text{part} i.]
588 \item $xM=0$:\\
589 Thus the scalar $x = (1 + a_1 + \ldots + a_n)$ annihilates every $m \in M$, ie. the entire module $M$.
590
591 \item $x \equiv 1 \pmod \aA$:\\
592 $x \equiv 1 \pmod \aA ~~ \Longleftrightarrow (x-1) \in \aA$\\
593 then from $x = (1 + \underbrace{a_1 + \ldots + a_n}_b) \in \aA$, set $b=a_1 + \ldots + a_n$,\\
594 so that $x=(1+b) \in \aA$.\\
595
596 Then $x-1 = (1+b)-1 = b \in \aA$\\
597 so $x-1 \in \aA$, thus $x \equiv 1 \pmod \aA$ as stated.
598 \end{enumerate}
599\end{proof}
600
601
602
603\begin{prop}{AM.2.6}[Nakayama's lemma] \label{2.6}
604 Let $M$ a fingen $A$-module, let $\aA$ an ideal of $A$ such that $\aA \subseteq Jac(A)$.
605
606 Then $\aA M = M$ implies $M=0$.
607\end{prop}
608\begin{proof}
609 By \ref{2.5}: since $\aA M = M$, we have $x M =0$ for some $x \equiv 1 \pmod {Jac(A)}$. (notice that at \ref{2.5} is $\pmod \aA$ but here we use $\pmod {Jac(A)}$, since we have $\aA \subseteq Jac(A)$).
610
611 (recall \ref{1.9}: $x \in Jac(A)$ iff $(1 - xy)$ is a unit in $A$, $\forall y \in A$).\\
612 By \ref{1.9}, $x$ is a unit in $A$ (thus $x^{-1}\cdot x=1$).
613
614 Hence $M = x^{-1} \cdot \underbrace{x~ \cdot M}_{=0~ \text{(by \ref{2.5})}} = 0$.
615
616 Thus, if $\aA M = M$ then $M=0$.
617\end{proof}
618
619
620
621\begin{cor}{AM.2.7} \label{2.7}
622 Let $M$ a fingen $A$-module, let $N \subseteq M$ a submodule of $M$, let $\aA \subseteq Jac(A)$ an ideal.
623
624 Then $M = \aA M + N \stackrel{\text{implies}}{\Longrightarrow} M=N$.
625\end{cor}
626\begin{proof}
627 The idea is to apply Nakayama (\ref{2.6}) to $M/N$.
628
629 Since $M$ fingen $\Longrightarrow~~ M/N$ is fingen and an $A$-module.
630
631 Since $\aA \subseteq Jac(A) ~\Longrightarrow~$ Nakayama applies to $M/N$ too.
632
633 By definition,
634 $$\aA M = \left\{ \sum a_i \cdot m_i ~~|~~ a_i \in \aA, m_i \in M \right\}$$
635 where $m_i$ are the generators of $M$.
636
637 Then, for $M/N$,
638 $$\aA (\frac{M}{N}) = \left\{ \sum a_i \cdot (m_i + N) ~~|~~ a_i \in \aA, m_i \in M \right\}$$
639
640 observe that $a_i(m_i+N)= a_i m_i +N$, thus
641 $$\sum_i a_i \cdot (m_i + N) = \underbrace{(\sum_i a_i \cdot m_i)}_{\in \aA M} + N \in \aA M + N$$
642
643 Hence,
644
645 \begin{equation}
646 \aA (\frac{M}{N}) = \left\{ x + N ~~|~~ x \in \aA M \right\} = \aA M + N
647 \label{eq:2.7.1}
648 \end{equation}
649
650 By definition, if we take $\frac{\aA M + N}{N}$, then
651 $$\frac{\aA M + N}{N} = \left\{ y + N ~~|~~ y \in \aA M +N \right\} = \aA M + N$$
652
653 thus every $y \in \aA M +N$ can be written as
654 $$y=x+n,~~ \text{with}~ x \in \aA M,~ n\in N$$
655 which comes from \eqref{eq:2.7.1}.
656
657 Thus, $y + N = (x+n)+N = x+N$, since $n \in N$ is zero in the quotient.
658
659 Hence, every element of $\frac{\aA M +N}{N}$ has the form
660 $$\frac{\aA M + N}{N} = \left\{ x + N ~~|~~ x \in \aA M \right\}$$
661 as in \eqref{eq:2.7.1}.
662
663 Thus
664 \begin{equation}
665 \aA (\frac{M}{N}) = \aA M + N = \frac{\aA M +N}{N}
666 \label{eq:2.7.2}
667 \end{equation}
668
669 By the Collorary assumption, $M = \aA M + N$; quotient it by $N$:
670 \begin{equation}
671 \frac{M}{N} = \frac{\aA M +N}{N}
672 \label{eq:2.7.3}
673 \end{equation}
674
675 So, from \eqref{eq:2.7.2} and \eqref{eq:2.7.3}:
676 $$\aA (\frac{M}{N}) = \aA M +N = \frac{\aA M +N}{N} = \frac{M}{N}$$
677 thus, $\aA (\frac{M}{N}) = \frac{M}{N}$.
678
679 By Nakayama's lemma \ref{2.6}, if $\aA (\frac{M}{N}) = \frac{M}{N} ~\stackrel{implies}{\Longrightarrow}~ \frac{M}{N}=0$
680
681 Note that
682 $$\frac{M}{N} = \{ m + N ~|~ m \in M \}$$
683 (the zero element in $\frac{M}{N}$ is the coset $N=0+N$)
684
685 Then, $\frac{M}{N}=0$ means that the quotient has exactly one element, the zero coset $N$.
686
687 Thus, every coset $m + N$ equals the zero coset $N$, so $m-0 \in N ~\Longrightarrow~ m \in N$.
688
689 Hence every $m \in M$ lies in $N$, ie. $\forall m \in M,~ m \in N$.
690
691 So $M \subseteq N$. But notice that by the Corollary, we had $N \subseteq M$, therefore $M = N$.
692
693 Thus, if $M = \aA M + N \stackrel{implies}{\Longrightarrow} M = N$.
694\end{proof}
695
696
697
698\begin{prop}{AM.2.8} \label{2.8}
699 Let $x_i ~\forall i \in [n]$ be elements of $M$ whose images $\frac{M}{m M}$ from a basis of this vector space. Then the $x_i$ generate $M$.
700\end{prop}
701\begin{proof}
702 Let $N$ submodule $M$, generated by the $x_i$.
703
704 Then the composite map $N \longrightarrow M \longrightarrow \frac{M}{m M}$ maps $N$ onto $\frac{M}{m M}$, hence $N + \aA M = M$, which by \ref{2.7} implies $N = M$.
705\end{proof}
706
707
708\subsection{Sequences}
709
710\begin{defn}{R.2.9.a}[Exact Sequence]
711 Let a sequence of homomorphisms
712$$L \stackrel{\alpha}{\longrightarrow} M \stackrel{\beta}{\longrightarrow} N$$
713It is \emph{exact} at $M$ if $im(\alpha)=ker(\beta)$.
714
715ie. $\beta \circ \alpha = 0$ and $\alpha$ maps surjectively to
716$ker(\beta)$.
717\end{defn}
718
719\begin{defn}{R.2.9.b}[Short Exact Sequence (s.e.s.)] \label{2.9}
720$$0 \longrightarrow L \stackrel{\alpha}{\longrightarrow} M \stackrel{\beta}{\longrightarrow} N \longrightarrow 0$$
721is exact $\Longleftrightarrow~ L \subset M$ and $N=M / L$.
722
723Properties:
724\begin{itemize}
725 \item $\alpha$ injective
726 \item $\beta$ surjective
727 \item $\alpha:~ L \Longrightarrow ker \beta$
728 \item $\beta$ induces $M/\alpha(L) \longrightarrow N$
729\end{itemize}
730\end{defn}
731
732\begin{prop}{R.2.10}[Split exact sequence] \label{2.10}
733 For the previous s.e.s., 3 equivalent conditions:
734 \begin{enumerate}[i.]
735 \item $\exists$ isomorphism $M \cong L \oplus N$, with
736 \begin{align*}
737 \alpha:~ &m \longmapsto (m,0)\\
738 \beta:~ &(m, n) \longmapsto n
739 \end{align*}
740
741 \item $\exists$ a \emph{section} of $\beta$, that is, a map $s: N \longrightarrow M$ such that $\beta \circ s = id_N$
742 \item $\exists$ a \emph{retraction} of $\alpha$, that is, a map $r: M \longrightarrow L$ such that $r \circ \alpha = id_L$
743 \end{enumerate}
744
745 If all i, ii, iii are satisfied, it is a split exact sequence.
746\end{prop}
747\begin{proof}
748 Intuitively, when a s.e.s. \emph{splits} it means that the middle module $M$ is the direct sum of the other (outer) two modules, ie. $M = L \oplus N$.
749
750 \begin{itemize}
751 \item[(i to ii, iii)]
752 if $M \cong L \oplus N$ such that $\alpha:~ m \longmapsto (m,0),~~ \beta:~ s(m, n) \longmapsto n$, we can define the maps
753
754 for ii:
755 \begin{align*}
756 s:~ N &\longrightarrow L \oplus N\\
757 s(n) &\longmapsto (0, n)
758 \end{align*}
759
760 Then $\beta(s(n))=\beta(0,n)$, so $\beta \circ s = id_N$.
761
762 for iii:
763 \begin{align*}
764 r:~ L \oplus N &\longrightarrow L\\
765 r(m,n) &\longmapsto m
766 \end{align*}
767
768 Then $r(\alpha(m))=r(m,0)$, so $r \circ \alpha = id_L$.
769
770 \item[(ii to i)]
771 assume $s: N \longrightarrow M$ such that $\beta \circ s = id_M$
772
773 Want to show $M \cong im(\alpha) \oplus im(s)$.
774
775 $\forall m \in M$, consider $m - s(\beta(m))$, apply $\beta$ to it:\\
776 $\beta(m - s(\beta(m))) = \beta(m) - (\beta \circ s)(\beta(m)) = \beta(m) - \beta(m) = 0$
777
778 Since $ker(\beta) = im(\alpha),~~ \exists! l \in L ~\text{such that}~ \alpha(l) = m - s(\beta(m))$.
779
780 Thus $m = \alpha(l) + s(\beta(m))$.
781
782 \vspace{0.3cm}
783 Now, suppose $x \in im(\alpha) \cap im(s)$, then $x = \alpha(l)=s(n)$, apply $\beta$ to it: $\beta(\alpha(l)) = \beta(s(n)) ~\Longrightarrow~ 0=n$.
784
785 If $n=0$, then $s(n)=0$, so the intersection is $\{0\}$.
786
787 \vspace{0.3cm}
788 Define
789 \begin{align*}
790 \phi: L \oplus N &\longrightarrow M\\
791 \phi(l,n) &\longmapsto \alpha(l)+s(n)
792 \end{align*}
793 This isomorphism satisfies the required conditions.
794
795 \item[(iii to i)] similar to the previous one.
796 \end{itemize}
797
798 \vspace{0.3cm}
799 Overview:\\
800
801$$
8020 \longrightarrow L
803 \substack{
804 \stackrel{\alpha}{\longrightarrow}\\
805 \stackrel{\longleftarrow}{r}
806 }
807 \substack{M \\[0.5ex] \cong L \oplus N}
808 \substack{
809 \stackrel{\beta}{\longrightarrow}\\
810 \stackrel{\longleftarrow}{s}
811 }
812 N \longrightarrow 0
813$$
814\begin{align*}
815 \alpha:~ &l \longmapsto (l,0)\\
816 r:~ &(m,n) \longmapsto m\\
817 \alpha &\circ r = id_L\\
818 \beta:~ &(l,n) \longmapsto n\\
819 s:~ &n \longmapsto (0,n)\\
820 \beta &\circ s = id_N
821\end{align*}
822
823\end{proof}
824
825\section{Noetherian rings (and modules)}
826
827\begin{defn}{}[Ascending Chain Condition]
828 A partially orddered set $\Sigma$ has the \emph{ascending chain condition} (a.c.c.) if every chain
829 $$s_1 \leq s_2 \leq \ldots \leq s_k \leq \ldots$$
830 eventually breaks off, that is, $s_k = s_{k+1} = \ldots$ for some $k$.
831\end{defn}
832
833$\Longrightarrow~ \Sigma$ has the a.c.c. iff every non-empty subset $S \subset \Sigma$ has a maximal element.\\
834\hspace*{2em} if $\empty \neq S \subset \Sigma$ does not have a maximal element, choose $s_1 \in S$, and for each $s_k$, an element $s_{k+1}$ with $s_k < s_{k+1}$, thus contradicting the a.c.c.
835
836\subsection{Noetherian rings and modules}
837\begin{defn}{R.3.2}[Noetherian ring]\\
838 Let $A$ a ring; 3 equivalent conditions:
839 \begin{enumerate}[i.]
840 \item the set $\Sigma$ of ideals of $A$ has the a.c.c.; in other words, every increasing chain of ideals
841 $$I_1 \subset I_2 \subset \ldots \subset I_k \subset \ldots$$
842 eventually stops, that is $I_k = I_{k+1}=\ldots$ for some $k$.
843 \item every nonempty set $S$ of ideals has a maximal element
844 \item every ideal $I \subset A$ is finitely generated
845 \end{enumerate}
846 If these conditions hold, then $A$ is \emph{Noetherian}.
847\end{defn}
848\begin{proof}
849 TODO
850\end{proof}
851
852\begin{defn}{R.3.4.D}[Noetherian modules]\\
853 An $A$-module $M$ is Noetherian if the submoles of $M$ have the a.c.c.,\\
854 that is, ay increasing chain
855 $$M_1 \subset M_2 \subset \ldots \subset M_k \subset \ldots$$
856 of submodules eventually stops.
857\end{defn}
858
859As in with rings, it is equivalent to say that
860\begin{enumerate}[i.]
861 \item any nonempty set of modulesof $M$ has a maximal element
862 \item every submodule of $M$ is finite
863\end{enumerate}
864
865
866
867\begin{prop}{R.3.4.P}\label{R.3.4.P}
868 Let $0 \longrightarrow L \xrightarrow{\ \alpha \ } M \xrightarrow{\ \beta \ } N \longrightarrow 0$ be a s.e.s. (split exact sequence, \ref{2.10}).
869
870 Then, $M$ is Noetherian $\Longleftrightarrow~ L$ and $N$ are Noetherian.
871\end{prop}
872\begin{proof}
873 $\Longrightarrow$: trivial, since ascending chains of submodules in $L$ and $N$ correspond one-to-one to certain chains in $M$.
874
875 $\Longleftarrow$: suppose $M_1 \subset M_2 \subset \ldots \subset M_k \subset \ldots$ is an increasing chain of submodules of $M$.
876
877 Then identifying $\alpha(L)$ with $L$ and taking intersection gives a chain
878 $$L \cap M_1 \subset L \cap M_2 \subset \ldots \subset L \cap M_k \subset \ldots$$
879 of submodules of $L$, and applying $\beta$ gives a chain
880 $$\beta(M_1) \subset \beta(M_2) \subset \ldots \beta(M_k) \subset \ldots$$
881 of submodules of $N$.
882
883 Each of these two chains eventually stop, by the assumption on $L$ and $N$, so that we only need to prove the following lemma which completes the proof.
884\end{proof}
885
886\begin{lemma}{R.3.4.L}
887 for submodules $M_1 \subset M_2 \subset M$,
888 $$L \cap M_1 = L \cap M_2 ~\text{and}~ \beta(M_1) = \beta(M_2) ~\Longrightarrow~ M_1 = M_2$$
889\end{lemma}
890\begin{proof}
891 if $m\in M_2$, then $\beta(m) \in \beta(M_1) = \beta(M_2)$, so that there is an $n \in M_1$ such that $\beta(m)=\beta(n)$.
892
893 Then $\beta(m-n)=0$, so that
894 $$m - n \in M_2 \cap ker(\beta)=M_1 \cap ker(\beta)$$
895
896 Hence $m \in M_1$, thus $M_1 = M_2$.
897\end{proof}
898
899
900
901\begin{cor}{R.3.5}[Properties of Noetherian modules]\label{R.3.5}
902 \begin{enumerate}[i.]
903 \item if $\forall i \in [r],~~M_i$ are Noetherian modules, then
904 $\bigoplus_{i=1}^r M_i$ is Noetherian.
905 \item if $A$ a Noetherian ring, then an $A$-module $M$ is Noetherian iff it is finite over $A$.
906 \item if $A$ a Noetherian ring, $M$ a finite module, then any submodule $N \subset M$ is again finite.
907 \item if $A$ a Noetherian ring, and $\psi: A \longrightarrow B$ a ring homomorphism such that $B$ is a finite $A$-module, then $B$ is a Noetherian ring.
908 \end{enumerate}
909\end{cor}
910\begin{proof}
911 \begin{enumerate}[i.]
912 \item a direct sum $M_1 \oplus M_2$ is a particular case of an exact sequence.
913
914 Then, Proposition \ref{R.3.4.P} proves this statement when $r=2$. The case $r>2$ follows by induction.
915
916 \item if $M$ finite, then $\exists~$ surjective homomorphism
917 $$A^r \longrightarrow M \longrightarrow 0$$
918 for some $r$, so that $M$ is a quotient
919 $$M \cong A^r / N$$
920 for some submodule $N \subset A^r$.
921
922 $A^r$ is a Noetherian module by i., so $M$ is Noetherian due Proposition \ref{R.3.4.P}.
923
924 Conversely, $M$ Noetherian implies $M$ finite.
925
926 item as in previous implications:\\
927 $M$ finite and $A$ Noetherian $\Longrightarrow$ $M$ is Noetherian,\\
928 $\Longrightarrow$ since $N \subseteq M$, then $N$ is Noetherian too\\
929 $\Longrightarrow$ which implies that $N$ is a finite $A$-module.
930
931 \item $B$ is Noetherian as an $A$-module; but ideals of $B$ are submodules of $B$ as an $A$-submodule, so that $B$ is a Noetherian ring.
932 \end{enumerate}
933\end{proof}
934
935
936\vspace{0.5cm}
937\subsection{Hilbert basis}
938\begin{thm}{R.3.6}[Hilbert basis theorem] \label{hilbert-basis}
939 If $A$ a Noetherian ring, then so is the polynomial ring $A[x]$.
940
941 ie. Every ideal in a polynomial ring over a field has a finite set of
942 generators (is fingen).
943\end{thm}
944\begin{proof}
945 Prove that any ideal $I \subset A[x]$ is fingen.
946
947 Define auxiliary sets $J_n \subset A$ by
948 $$J_n = \{ a \in A ~|~ \exists f \in I ~\text{s.th.}~ f = a x^n + b_{n-1}x^{n-1} + \ldots b_0 \}$$
949 ie. $J_n$ is the set of leading coefficients of $I$ of degree $n$.
950
951 $J_n$ is an ideal, since $I$ is an ideal.
952
953 $J_n \subset J_{n+1}$, since for $f \in I$ also $x f \in I$.
954
955 Therefore $J_1 \subset J_2 \subset \ldots \subset J_k \subset \ldots$ is an increasing chain of ideals.\\
956 Using the assumption that $A$ is Noetherian, deduce that $J_n = J_{n+1}$ for some $n$.
957
958 For each $m \leq n, ~~ J_m \subset A$ is fingen, ie.
959 $$J_m = (a_{m,1}, \ldots a_{m, r_m})$$
960
961 By definition of $J_m$, for each $a_{m,j}$ with $1 \leq j \leq r_m$,\\
962 $\exists$ a polynomial $f_{m, j} \in I$ of degree $m$ having the leading coefficient $a_{m, j}$.
963
964 $$\Longrightarrow~~ \{ f_{m,j} \}_{m<n; 1 \leq j \leq r_m}$$
965 the set of elements of $I$.
966
967 Claim: this finite set ($\{ f_{m,j} \}$) generates $I$.
968
969 $\forall f \in I$, if $\deg f =m$, then its leading coefficient is $a \in J_m$,
970
971 hence if $m \geq n$, then $a \in J_m=J_n$, so that
972 $$a = \sum b_i a_{n,i} ~~ \text{with}~ b_i \in A$$
973 and
974 $$f - \sum b_i X^{m-n} \cdot f_{n, i}$$
975 has degree $<m$.
976
977 Similarly, if $m \leq n$, then $a \in J_m$, so that
978 $$a = \sum b_i a_{m, i} ~~\text{with}~ b_i \in A$$
979 and
980 $$f - \sum b_i f_{n, i}$$
981 has degree $<m$.
982
983
984 \vspace{0.3cm}
985 By induction on $m$, $f$ can be written as a linear combination of finitely many elements.
986
987 Thus, any ideal of $A[x]$ is finitely generated.
988\end{proof}
989
990\vspace{0.5cm}
991\begin{cor}{R.3.6.C}
992 if $A$ a Noetherian ring, and $\psi: A \longrightarrow B$ a ring homomorphism such that $B$ is a fingen extension ring of $\psi(A)$, then $B$ is Noetherian.
993
994 In particular, any fingen algebra over $\mathbb{Z}$ or over a field $K$ is Noetherian.
995\end{cor}
996\begin{proof}
997 the assumption is that $B$ is a quotient of a polynomial ring,
998 $$B \cong A[x_1, \ldots, x_n] / I$$
999 for some ideal $I$.
1000
1001 By the Hilbert basis theorem \ref{hilbert-basis} and induction,\\
1002 $A$ being Noetherian implies that $A[x_1, \ldots, x_n]$ is Noetherian.
1003
1004 And by Corollary \ref{R.3.5}(iv),\\
1005 $A[x_1, \ldots, x_n]$ being Noetherian implies that $A[x_1, \ldots, x_n]/I$ is Noetherian.
1006\end{proof}
1007
1008
1009
1010\vspace{1cm}
1011\section{Finite ring extensions and Noether normalization}
1012
1013\subsection{A-algebras and integral domains}
1014
1015\begin{defn}{}[A-algebra / k-algebra]
1016 An $A$-algebra is a ring $B$ with a ring homomorphism $\psi: A \longrightarrow B$.
1017
1018 $B$ is an $A$-module with multiplication defined by $\psi(a) \cdot b~~~ (a \in A, b \in B)$.
1019
1020 When $A \subset B$, $B$ is an extension ring of $A$; denoted $\psi(A) = A' \subset B$.
1021\end{defn}
1022
1023\begin{defn}{R.4.1}\label{R.4.1}
1024 Let $B$ be an $A$-algebra.
1025
1026 \begin{enumerate}[i.]
1027 \item $B$ is a \emph{finite} $A$-algebra (\emph{finite over $A$}) if it is finite as an $A$-module.
1028 \item $y \in B$ is \emph{integral over} $A$ if $\exists$ a monic polynomial
1029 $$f(Y) = Y^n + a_{n-1} Y^{n-1} + \ldots + a_0 ~\in A'[Y]$$
1030 such that $f(y)=0:$
1031 $$f(y) = y^n + a_{n-1} y^{n-1} + \ldots + a_0 = 0$$
1032
1033 The algebra $B$ is \emph{integral over} $A$ if $\forall~ b \in B$ is integral.
1034 \end{enumerate}
1035\end{defn}
1036
1037
1038\begin{prop}{R.4.2}\label{R.4.2}
1039 Let $\psi: A \longrightarrow B$ be an $A$-algebra, and $y \in B$. Three equivalent conditions:
1040
1041 \begin{enumerate}[i.]
1042 \item $y$ is integral over $A$
1043 \item subring $A'[y] \subset B$ generated by $A' = \psi(A)$ and $y$ is finite over $A$
1044 \item $\exists$ an $A$-subalgebra $C \subset B$ such that $A'[y] \subset C$ and $C$ is finite over $A$
1045 \end{enumerate}
1046
1047 Notes: $A'$ is the image of $A$ in $B$, ie. $A' = \psi(A)$.\\
1048 $A'[y]$ is the smallest subring of $B$ containing both coefficients from $A$ and the element $y$.
1049\end{prop}
1050\begin{proof} .\\
1051 \begin{itemize}
1052 \item[(i to ii):]
1053 since $y$ integral over $A$ $~~\Longrightarrow~$ by \ref{R.4.1} (ii), $y$ satisfies
1054 $$f(y) = y^n + a_{n-1} y^{n-1} + \ldots + a_0 = 0$$
1055
1056 So any power $y^k~~ (k\geq n)$ can be expressed in terms of $\{1, y, y^2, \ldots, y^{n-1} \}$.
1057
1058 Thus the set $\{1, y, y^2, \ldots, y^{n-1} \}$ spans $A'[y]$ as an $A$-module.
1059
1060 \item[(iii to i):]
1061 since $A'[y] \subset C ~~\Longrightarrow~ y \in C$\\
1062 since $C$ finite over $A$, $C$ has finite generators $\{ c_1, \ldots, c_n \}$ such that $C = A \cdot c_1 + A \cdot c_2 + \ldots + A \cdot c_n$
1063
1064 Thus $y \cdot c_i \in C$,
1065 $$y \cdot c_i = \sum_{j=1}^n a_{ij} c_j$$
1066 with $a_{ij} \in A$.
1067
1068 By the Cayley-Hamilton theorem (\ref{2.4}),
1069 $$y^n + a_{n-1} y^{n-1} + \ldots + a_1 y + a_0 = 0$$
1070 Therefore, $y$ is integral (by \ref{R.4.1} (ii)).
1071 \end{itemize}
1072\end{proof}
1073
1074
1075\begin{prop}{R.4.3}[Tower Laws]\label{R.4.3}
1076 \\Let $B$ be an $A$-algebra.
1077 \begin{enumerate}[a.]
1078 \item Transitivity of finiteness: if $A \subset B \subset C$ are extension rings such that $C$ is a finite $B$-algebra and $B$ a finite $A$-algebra,\\
1079 then $C$ is finite over $A$.
1080 \item Finiteness of generated algebras: if $y_1, \ldots, y_m \in B$ are integral over $A$, then $A[y_1, \ldots, y_m]$ is finite over $A$.\\
1081 In particular, every $f \in A[y_1, \ldots, y_m]$ is integral over $A$.
1082 \item Transitivity of integrality: if $A \subset B \subset C$ with $C$ integral over $B$, and $B$ integral over $A$,\\
1083 then $C$ is integral over $A$.
1084 \item Integral closure as a subring: the subset
1085 $$\tilde{A} = \{ y \in B ~|~ y ~\text{is integral over}~ A \} \subset B$$
1086 is a subring of $B$.
1087
1088 Moreover, if $y \in B$ is integral over $\tilde{A}$ then $y \in \tilde{A}$, so that $\tilde{\tilde{A}} = \tilde{A}$.
1089 \end{enumerate}
1090\end{prop}
1091\begin{proof}.\\
1092 \begin{enumerate}[a.]
1093 \item if $\{ \beta_1, \ldots, \beta_n \}$ generate $B$ as an $A$-module and $\{ \gamma_1, \ldots, \gamma_n \}$ generate $C$ as an $B$-module,\\
1094 then the set of products $\{ \beta_i \gamma_j \}$ generates $C$ as an $A$-module.
1095
1096 Since there are $n \times m$ generators (ie. finite), $C$ is finite over $A$.
1097
1098 \item proof by induction:
1099
1100 base case: if $y_1$ integral over $A ~\Longrightarrow~$ it satisfies a monic polynomial.
1101
1102 Thus $A[y_1]$ is generated as an $A$-module by $\{1, y_1, y_1^2, \ldots, y_1^{n-1} \}$, making it a finite $A$-algebra.
1103
1104 inductive step: let $R_k = A[y_1, \ldots, y_k]$. Assume $R_k$ is finite over $A$.
1105
1106 Since $y_{k+1}$ is integral over $A~~ \Longrightarrow~$ it is also integral over $R_k$.
1107
1108 Thus $R_{k+1} = R_k[y_{k+1}]$ is finite over $R_k$.
1109
1110 Applying part (a) (transitivity of finiteness), if $R_{k+1}$ is finite over $R_k$ and $R_k$ finite over $A$, then $R_{k+1}$ is finite over $A$.
1111
1112 Consequence: since any $f \in A[y_1, \ldots, y_m]$ belongs to a finite $A$-algebra, $f$ must be integral over $A$ (since an element is integral iff it is contained in a finite extension).
1113
1114 \item let $x \in C$, since $x$ integral over $B$, it satisfies:
1115 $$x^n + b_{n-1} x^{n-1} + \ldots + b_1 x + b_0 = 0,~~~~~b_i \in B$$
1116
1117 Let $B''=A[b_0, b_1, \ldots, b_{n-1}]$. Since each $b_i \in B$ and $B$ is integral over $A$\\
1118 \hspace*{2em} $\Longrightarrow~$ each $b_i$ is integral over $A$.
1119
1120 Since all $b_i$ are integral over $B'$ $~~\Longrightarrow~ B'[x]$ is a finite $B'$-algebra.
1121
1122 By part (a) (transitivity of finiteness), $B'[x]$ is a finite $A$-algebra.
1123
1124 Therefore, $x$ is integral over $A$.
1125
1126 \item
1127 \begin{enumerate}[I.]
1128 \item subring:\\
1129 let $x,y \in \tilde{A}$. Want to show $x+y, xy \in \tilde{A}$:
1130
1131 by part (b), the algebra $A[x,y]$ is finite over $A$.
1132
1133 Since $x+y,xy \in A[x,y]$, they are integral over $A$.
1134
1135 Thus $x+y, xy \in \tilde{A}$, since $\tilde{A} = \{ b \in B ~|~ b ~\text{integral over}~ A \}$.
1136
1137 \item idempotence\\
1138 let $z \in B$ be integral over $\tilde{A}$
1139
1140 we have a chain $A \subseteq \tilde{A} \subseteq \tilde{A}[x]$.
1141
1142 By definition, $\tilde{A}$ is integral over $A$, and $z$ is integral over $\tilde{A}$\\
1143 thus by part (c), $z$ is integral over $A$.
1144
1145 Therefore, $z \in \tilde{A}$.
1146 \end{enumerate}
1147 \end{enumerate}
1148\end{proof}
1149
1150\begin{lemma}{4.3.Aux}[Integrality implies finiteness] \label{integral-implies-finite}
1151 If $y$ integral over $A$ then $A[y]$ is finite over $A$.
1152
1153 This extends on point (b) from the previous proposition \ref{R.4.3}.
1154\end{lemma}
1155\begin{proof}
1156 Suppose $y$ is integral over $A$. By definition $\exists~~ f \in A[T]$, with
1157 $f$ monic, such that $f(y)=0$.
1158
1159 Let $deg(f)=d$, so that for $f(y)=0$ we have
1160 $$y^d + a_{d-1} y^{d-1} + \ldots + a_1 y + a_0 = 0 ~~~~ a_i \in A$$
1161
1162 Since it is monic (leading coefficient is $1$), we can rearrange it to isolate the highest power:
1163 \begin{equation}
1164 y^d = -(a_{d-1} y^{d-1} + \ldots + a_1 y + a_0)
1165 \label{eq:yn}
1166 \end{equation}
1167 Thus $y^d$ can be written using lower powers of $y$ with coefficients in $A$.
1168
1169 \vspace{0.5cm}
1170 Consider any element $p \in A[y]$, $p = c_m y^m + c_{m-1} y^{m-1} + \ldots + c_0$.
1171
1172 if $m<d$, leave it as it is.\\
1173 if $m \geq d$, use the monic equation \eqref{eq:yn} to replace $y^d$ with lower powers.
1174
1175 Repeating this process, can reduce any power of $y$ down to a linear
1176 combination of $\{1, y, y^2, \ldots, y^{d-1} \}$.
1177
1178 Thus every element in $A[y]$ can be expressed as
1179 $$\lambda_{d-1} y^{d-1} + \ldots + \lambda_2 y^2 + \lambda_1 y + \lambda_0 \cdot 1~~~~ \lambda_i \in A$$
1180
1181 Henceforth, the set $\{1, y, y^2, \ldots, y^{d-1} \}$ generates $A[y]$ as a finite $A$-module.
1182\end{proof}
1183
1184
1185
1186\vspace{0.5cm}
1187\begin{defn}{4.4}[Integral closure]
1188 Given the ring $\tilde{A}$ from \ref{R.4.3}.(d), ie. $\tilde{A} = \{ y \in B ~|~ y ~\text{integral over}~ A \} \subset B$,
1189 $\tilde{A}$ is the \emph{integral closure} of $A$ in $B$.
1190
1191 If $A=\tilde{A}$, then $A$ is \emph{integrally closed} in $B$.
1192
1193 An integral domain $A$ is \emph{normal} if it is \emph{integrally closed in its field of fractions}, that is if
1194 $$A = \tilde{A} \subset K = Frac(A)$$
1195
1196 For any integral domain $A$, the integral closure of $A$ in its field of fractions $K=Frac(A)$ is also called the \emph{normalization} of $A$.
1197\end{defn}
1198
1199
1200\vspace{0.5cm}
1201
1202\subsection{Noether normalization}
1203
1204\begin{defn}{4.6}[Algebraically independent] \label{R.4.6.D}
1205 $y_1, \ldots, y_n \in A$ are \emph{algebraically independent} over $K$ if the natural surjection $K[Y_1, \ldots, Y_n] \longrightarrow K[y_1, \ldots, y_n]$ is an isomorphism.
1206
1207 $\Longrightarrow~~ \nexists~ F(y_1, \ldots, y_n)=0$ ($F$ nonzero) with coefficients in $K$.
1208\end{defn}
1209
1210Recall: a $K$-algebra $A$ is fingen over $K$ if $A=K[y_1, \ldots, y_n]$ for some finite set $y_1, \ldots, y_n$.
1211
1212
1213\vspace{0.5cm}
1214\begin{lemma}{R.4.6.L} \label{R.4.6.L}
1215 Let $A = K[y_1, \ldots, y_n]$ and $0 \neq F \in K[Y_1, \ldots, Y_n]$ such that $F(y_1, \ldots, y_n)=0$.
1216
1217 Then $\exists~ y^*_1, \ldots, y^*_{n-1} \in A$ such that $y_n$ is integral over
1218 $$A^* = K[y^*_1, \ldots, y^*_{n-1}] ~~\text{and}~~ A=A^*[y_n]$$
1219\end{lemma}
1220\begin{proof}
1221 Set $y_i^* = y_i - y_n^{r_i}$ for $i \in [n-1]$ and $r_1, \ldots, r_{n-1} \geq 1 \in \mathbb{Z}$.\\
1222 \hspace*{3em}(ie. $y_i=y_i^* + y_n^{r_i}$)
1223
1224 Define $G \in A$ by
1225 $$G(y_1^*, \ldots, y_{n-1}^*, y_n) = F(y_i^* + y_n^{r_i}, y_n)=0$$
1226 viewed as a relation for $y_n$ over $K[y_1^*, \ldots, y_{n-1}^*]$.
1227
1228 Since $F$ is a polynomial in $y_1, \ldots, y_{n-1}^*$, can write it as a sum of monomials
1229 $$F= \sum_m a_m y^m = \sum_m a_m \prod y_i^{m_i}$$
1230 where $m=(m_1, \ldots, m_n)$ and each $a_m \neq 0$.
1231
1232
1233 Therefore,
1234 $$G= \sum a_m \prod (y_i^* + y_n^{r_i})^{m_i}$$
1235 which when expanding out, each summand $a_m \prod (y_i^* + y_n^{r_i})^{m_i}$ has a unique term of highest order in $y_n$, namely $a_m y_n^{(\sum r_i m_i)}$.
1236
1237 Suppose we can arrange so that
1238 $$m \neq m' ~\Longrightarrow~ \sum r_i m_i \neq \sum r_i m_i'$$
1239
1240 Then $max \{ \sum r_i m_i ~|~ m ~\text{s.th.}~ a_m \neq 0 \}$ is achieved in only one summand, so that here is no cancellation; thus the highest order term in $G$ is $a_m y_n^{(\sum r_i m_i)}$ (ie. $a_m$ times a pure power of $y_n$).
1241\end{proof}
1242
1243
1244\vspace{0.5cm}
1245\begin{thm}{R.4.6}[Noether normalization lemma] \label{noether-normalization}
1246 Let $K$ a field, $A$ a fingen $K$-algebra.
1247
1248 Then $\exists~ z_1, \ldots, z_m \in A$ such that
1249 \begin{enumerate}[i.]
1250 \item $z_1, \ldots, z_m$ are algebraically independent over $K$
1251 \item $A$ is finite over $B=K[z_1, \ldots, z_m]$
1252 \end{enumerate}
1253
1254 That is, a fingen extension $K \subset A$ can be written as a composite
1255 $$K \subset B = K[z_1, \ldots, z_m] \subset A$$
1256 where $K \subset B$ is a polynomial extension, and $B \subset A$ is finite.
1257\end{thm}
1258\begin{proof}
1259 % (by induction on the number of generators ($n$) of $A$).
1260 Let $y_1, \ldots, y_n$ be generators of $A = K[y_1, \ldots, y_n]$.
1261
1262 if $n=0$, nothing to prove since $A$ is generated by $0$ elements $~\Longrightarrow~ A=K$, and $K$ is finite.
1263
1264 if $n>0$ we have two cases:
1265 \begin{itemize}
1266 \item[-] $y_1, \ldots, y_n$ are algebraically independent over $K$, then by
1267 definition \ref{R.4.6.D} $A \cong K[y_1, \ldots, y_n]$, so that $A$ is a finite module over itself, with $m=n$.
1268 \item[-] $y_1, \ldots, y_n$ are algebraically dependent over $K$,
1269 $$\exists~ 0 \neq f \in K[y_1, \ldots, y_n] ~\text{s.th}~ f(y_1, \ldots, y_n)=0$$
1270 \end{itemize}
1271
1272 Want $f$ to be \emph{monic}, so that $y_n$ is integral over new defined variables $y_1^*, \ldots, y_{n-1}^*$. In other words, want some polynomial like
1273 $$y_n^d+ a_{d-1} y_n^{d-1} + \ldots + a_1 y_n + a_0 = 0~~~~~~~a_i \in K[y_1^*,
1274 \ldots, y_{n-1}^*]$$
1275 \hspace*{2em} ie. monic, so that by definition (\ref{R.4.1}), $y_n$ is
1276 integral over $K[y_1^*, \ldots, y_{n-1}^*]$.
1277
1278 $~\longrightarrow~$ Change variables so that $f$ becomes monic in one of the variables ($y_n$); this allows to express one generator ($y_n$) as an integral element over the others.
1279
1280
1281 \vspace{0.3cm}
1282 Following from Lemma \ref{R.4.6.L}, define the new variables $y^*_1, \ldots, y^*_{n-1} \in A$ such that $y_n$ is integral over
1283 $$A^* = K[y^*_1, \ldots, y^*_{n-1}], ~~\text{and}~ A=A^*[y_n]$$
1284
1285 Setting $y_i^* = y_i - y_n^{r_i}$, so that $y_i = y_i^* + y_n^{r_i}$ $\forall i \in [n-1],~~ r_1, \ldots, r_{n-1} \geq 1 \in \mathbb{Z}$.
1286
1287 Use those new variables at $f(y_1, \ldots, y_n)=0$:
1288 $$f(y_1^* + y_n^{r_1}, y_2^* + y_n^{r_2}, \ldots, y_{n-1}^* + y_n^{r_{n-1}}, y_n) = 0$$
1289
1290 Then the highest power of $y_n$ in each term of $f$ will look like $y_n^{(\sum a_i r_i)}$, and with $r_i$ growing fast enough we ensure that each monomial in $f$ produces a unique power of $y_n$.
1291
1292 Then we have $c \cdot y_n^D + \text{(terms with lower powers of $y_n$)} = 0$ with $c \in K \setminus \{0\}$. So that dividing by $c$ we get the shape $y_n^D + \ldots =0$, thus $y_n$ is integral over $A^* = K[y_1^*, \ldots, y_{n-1}^*]$.
1293
1294 \vspace{0.3cm}
1295 Induction:\\
1296 Since $y_n$ integral over $A^* ~~\Longrightarrow~ A=A^*[y_n]$ is finite over $A^*=K[y_1^*, \ldots, y_{n-1}^*]$ (by \ref{integral-implies-finite}).
1297
1298 By inductive hypothesis on $A^*,~~ \exists~ z_1, \ldots, z_m \in A^*$ algebraically independent over $K$ and with $A^*$ finite over $B=K[z_1, \ldots, z_m]$.
1299
1300 Therefore, each step of $B \subset A^* \subset A^*[y_n]=A$ is finite, and $A$ is finite over $B$ as required.
1301\end{proof}
1302
1303
1304\vspace{0.5cm}
1305\begin{eg}{ }
1306 $A = K[X,Y]/(XY-1)$. $Y$ is algebraic over $K[X]$, but not integral over $K[Y]$.
1307
1308 This corresponds to the fact that the hyperbola $XY=1$ has the line $X=0$ as an asymptotic line (so that its projection to the $X$-axis misses a root over $X=0$).
1309
1310 Take $X' = X- \epsilon Y$ as the element of $A$ instead of $X$; then the relation becomes $(X' + \epsilon Y) Y=1$, monic in $Y$ if $\epsilon \neq 0$.
1311
1312 This corresponds geometrically to tilting the hyperbola a little before projecting, so that no longer has a vertical asymptotic line.
1313\end{eg}
1314
1315\vspace{1cm}
1316
1317\subsection{Weak Nullstellensatz}
1318
1319\begin{prop}{R.4.9}\label{R.4.9}
1320 let $A \subset B$ be an integral extension of integral domain,\\
1321 then $A$ is a field $\Longleftrightarrow~ B$ is a field.
1322\end{prop}
1323\begin{proof}
1324 $\Longrightarrow$:\\
1325 let $0 \neq x \in B$, then $\exists~~ x^n + a_{n-1} x^{n-1} + \ldots + a_0 = 0 ~~~~ a_i \in A$, monic.
1326
1327 Since $A$ is a field, $\exists$ inverse, observe that:
1328 \begin{align*}
1329 x^n &+ a_{n-1} x^{n-1} + \ldots + a_1 x + a_0 = 0\\
1330 x(x^{n-1} &+ a_{n-1} x^{n-2} + \ldots + a_1) = - a_0\\
1331 -a_0^{-1}(x^{n-1} &+ a_{n-1} x^{n-2} + \ldots + a_1) = x^{-1} \in B
1332 \end{align*}
1333 thus there exists inverse in $B$, so $B$ is a field too.
1334
1335 $\Longleftarrow$:\\
1336 if $B$ is a field and $0 \neq x \in A$, then $x^{-1} \in B$, so $x^{-1}$ is integral over $A$.
1337
1338 So there is a relation of the form
1339 $$(x^{-1})^n + a_{n-1} (x^{-1})^{n-1} + \ldots + a_0 =0$$
1340
1341 Therefore
1342 \begin{align*}
1343 (x^{-1})^n &+ a_{n-1} (x^{-1})^{n-1} + \ldots + a_0 = 0\\
1344 (x^{-1})^n &= -a_{n-1} (x^{-1})^{n-1} - \ldots - a_0\\
1345 x^{-n} &= -a_{n-1} x^{-n+1} - \ldots - a_0 ~~\text{(mult by $x^{n-1}$)}\\
1346 x^{-n+(n-1)} &= -a_{n-1} x^{-n+1+(n-1)} - \ldots - a_0 x^{n-1}\\
1347 x^{-1} &= -a_{n-1} - \ldots - a_0 x^{n-1} \in A
1348 \end{align*}
1349
1350 thus there exists inverse in $A$, so $A$ is a field too.
1351\end{proof}
1352
1353\begin{thm}{4.10.prev}[Zariski's lemma] \label{zariski}
1354 $k$ a field, $L$ fingen $k$-algebra and a field. Then $L$ is a finite algebraic extension of $k$.
1355
1356 If $k$ is algebraically closed, then $L=k$.
1357\end{thm}
1358
1359\vspace{0.4cm}
1360From Zariski's lemma we can see that:\\
1361let maximal ideal $m \subset k[X_1, \ldots, X_n]$, then $k[X_1, \ldots, X_n]/m$ is a (quotient) field.
1362
1363It's a fingen $k$-algebra, so by Zariski's lemma, $k[X_1, \ldots, X_n]/m$ is algebraic over $k$.
1364
1365Since $k[X_1, \ldots, X_n]/m$ is algebraically closed, it must equal $k$; ie.
1366$$\frac{k[X_1, \ldots, X_n]}{m}=k$$
1367
1368
1369Since $k[X_1, \ldots, X_n]$ is a $k$-algebra, we have the natural map
1370$$\psi: k \longrightarrow \frac{k[X_1, \ldots, X_n]}{m}$$
1371so that $\forall x_i \in k,~~\psi(x_i)=a_i \in k$ (its image in the quotient field $k[X_1, \ldots, X_n]/m$ must be an element of $k$).\\
1372Then, by definition of a quotient ring, $\psi(x_i)$ is the coset $\psi(x_i)=X_i +m$.
1373Thus,
1374$$a_i = X_i +m$$
1375$$\Longrightarrow X_i - a_i \in m$$
1376
1377 % So, $\forall x_i \in k$, its image in the quotient field $A/m$ must be an element of $k$.
1378 % $$\Longrightarrow x_i'=a_i \in k, ~\forall i \in [n]$$
1379 % $$\Longrightarrow x_i - a_i \in m$$
1380
1381The ideal generated by these terms is a subset of $m$:
1382$$J=(X_1 -a_1, \ldots, X_n -a_n) \subseteq m$$
1383
1384Thus $m=(X_1 - a_1, \ldots, X_n - a_n)$ (shown also at \ref{5.2}).
1385
1386\vspace{0.4cm}
1387Then:
1388For $k$ algebraically closed, every maximal ideal of $k[X_1, \ldots, X_n]$ has the form
1389$(X_1 - a_1, \ldots, X_n - a_n)$ for some $a_i \in k$.
1390
1391Equivalently, $V(I) = \emptyset ~~\Longleftrightarrow 1 \in I$.
1392
1393\vspace{0.4cm}
1394
1395\begin{thm}{R.4.10}[Weak Nullstellensatz - Zariski's lemma] \label{zariski}
1396 let $k$ a field, $K$ a $k$-algebra which
1397 \begin{enumerate}
1398 \item is finitely generated as a $k$-algebra
1399 \item is a field
1400 \end{enumerate}
1401 Then $K$ is algebraic over $k$, so that $k \subset K$ is a finite field
1402 extension. That is, $[K:k] < \infty$.
1403\end{thm}
1404\begin{proof}
1405 $K=k[z_1, \ldots, z_m]$ a field; want to show that $K$ is algebraic over $k$.
1406 \vspace{0.3cm}
1407
1408 Since $K$ is a fingen $k$-algebra, by Noether normalization lemma (\ref{noether-normalization}),\\
1409 $\exists~ z_1, \ldots, z_m \in K$ such that
1410 \begin{itemize}
1411 \item are algebraically independent
1412 \item $K$ is integral over the polynomial ring $A=k[z_1, \ldots, z_m]$ (which by \ref{integral-implies-finite} is finite)
1413 \end{itemize}
1414\\
1415 Now we're at the situation of \ref{R.4.9}:
1416
1417 $A \subset K$ is integral, $K$ is a field $~~\Longrightarrow~$ therefore $A$ is a field.
1418
1419 \vspace{0.2cm}
1420 Since $z_1, \ldots, z_m \in K$ are algebraically independent,\\
1421 \hspace*{2em}$\Longrightarrow~ A=k[z_1, \ldots, z_m]$ is a polynomial ring in $m$ indeterminates, and this is a field only if $m=0$
1422
1423 (since in $k[z_1]$ the element $z_1$ is not invertible, since $1/z_1$ is a rational function, not a polynomial).
1424
1425 So $A=k$; which by Noether normalization we saw that $K$ is integral over $A=k$, and by \ref{integral-implies-finite} that it is finite, thus $K$ is finite over $k$, ie. $[K:k],\infty$, and $K$ is algebraic over $k$.
1426\end{proof}
1427
1428
1429\vspace{1cm}
1430
1431\section{Nullstellensatz}
1432
1433\subsection{Corollary from Weak Nullstellensatz}
1434Note: for $k$ a field, $k[X_1, \ldots, X_n]$, $m$ maximal ideal; the residue field $K=k[X_1, \ldots, X_n]/m$ satisfies the Zariski's lemma (\ref{zariski}), thus $K$ is a finite algebraic extension of $k$.
1435
1436\vspace{0.3cm}
1437\begin{cor}{5.2} \label{5.2}
1438 $k$ algebraically closed. Then every maximal ideal of $A = k[X_1, \ldots,
1439 X_n]$ is of the form
1440 $$m = (X_1 - a_1, \ldots, X_n -a_n),~~ a_i \in k$$
1441
1442 The map $k[X_1, \ldots, X_n] \longrightarrow k[X_1, \ldots, X_n]/m=k$ is the natural evaluation map $f(X_1, \ldots, X_n) \longmapsto f(a_1, \ldots, a_n)$.
1443
1444 Thus
1445 \begin{align*}
1446 k^n &\longleftrightarrow m-Spec~ A\\
1447 (a_1, \ldots, a_n) &\longleftrightarrow f(a_1, \ldots, a_n)
1448 \end{align*}
1449\end{cor}
1450\begin{proof}
1451 let $m \subset k[X_1, \ldots, X_n]$ be a maximal ideal.
1452
1453 By fundamental property of maximal ideals, $K=A/m$ is a field.
1454
1455 Since $A$ is a fingen $k$-algebra (generated by $X_1, \ldots, X_n$), then $K=A/m$ is also a fingen $k$-algebra, generated by residues $\psi(x_i) = x_i' = x_i +m$ (where $\psi: k \longrightarrow A/m$).
1456
1457 By Zariski's lemma (\ref{zariski}), $K=A/m$ is algeraic over $k$.
1458
1459 Since by hypothesis $k$ is algebraically closed, it has no proper algebraic extensions\\
1460 \hspace*{2em} $\Longrightarrow~~ K=k~~ \Longrightarrow~~ k \cong A/m$.
1461
1462 \vspace{0.3cm}
1463 Recall that since $A$ is a $k$-algebra, we have the natural map $\psi: k \longrightarrow A/m$, so that $\forall x_i \in k,~~\psi(x_i)=a_i \in k$ (its image in the quotient field $A/m$ must be an element of $k$).\\
1464 Also, by definition of a quotient ring, $\psi(x_i)$ is the coset $\psi(x_i)=X_i +m$.
1465 Thus,
1466 $$a_i = X_i +m$$
1467 $$\Longrightarrow X_i - a_i \in m$$
1468
1469 The ideal generated by these terms is a subset of $m$:
1470 $$J=(X_1 -a_1, \ldots, X_n -a_n) \subseteq m$$
1471
1472 Since $J$ is the kernel of the evaluation map at point $(a_1, \ldots, a_n)$,
1473 then $J$ is a maximal ideal. Together with $J \subseteq m$, then we have
1474 $J=m$, ie. $$m = (X_1 -a_1, \ldots, X_n -a_n)$$
1475
1476 \vspace{0.3cm}
1477 Let
1478 \begin{align*}
1479 \phi: k[X_1, \ldots, X_n] &\longrightarrow k[X_1, \ldots, X_n]/m\\
1480 \phi: x_i &\longmapsto a_i
1481 \end{align*}
1482
1483 Which is the natural evaluation map $f(X_1, \ldots, X_n) \longrightarrow f(a_1, \ldots, a_n)$.
1484 \vspace{0.2cm}
1485
1486 Since $\phi$ is a $k$-algebra homomorphism, then $\forall f \in A$:
1487 $$\phi(f(X_1, \ldots, X_n)) = f(\phi(x_1), \ldots, \phi(x_n))= f(a_1, \ldots, a_n)$$
1488
1489 Thus there is a one-to-one correspondence:
1490
1491 points in $k^n ~~~ \longleftrightarrow~~~ m-Spec~ A$ (maximal ideals in $k[X_1, \ldots, X_n]$
1492
1493 $(a_1, \ldots, a_n) ~~~\longleftrightarrow~~~ (X_1 - a_1, \ldots, X_n - a_n)$
1494\end{proof}
1495
1496
1497\vspace{0.5cm}
1498\subsection{Variety}
1499
1500\begin{defn}{5.3}[Variety]
1501 A \emph{variety} $V \subset k^n$:
1502 $$ V = V(J) = \{ P=(a_1, \ldots, a_n) \in k^n | f(P)=0 ~\forall~ f \in J \}$$
1503
1504 \begin{itemize}
1505 \item[$\rightarrow$] $V$ is defined by $f_1(P)= \ldots = f_m(P) = 0$
1506 \item[$\rightarrow$] $V$ is defined as the simultaneous solutions of a number of polynomial equations.
1507 \end{itemize}
1508\end{defn}
1509
1510\begin{prop}{5.3} \label{5.3}
1511 $k$ an algebraically closed field, and $A=k[X_1, \ldots, X_n]$ a fingen $k$-algebra of the form $A=k[X_1, \ldots, X_n]/J$, where $J$ is an ideal of $k[X_1, \ldots, X_n]$.
1512 (notation: $x_i = X_i \pmod J$)
1513
1514 Then every maximal ideal of $A$ is of the form
1515 $$(x_1 -a_1, \ldots, x_n - a_n)$$
1516 for some point $(a_1, \ldots, a_n) \in V(J)$.
1517
1518 Therefore, $\exists$ a one-to-one correspondence
1519 \begin{align*}
1520 V(X) &\longleftrightarrow m-Spec~ A\\
1521 \text{given by}~~~(a_1, \ldots, a_n) &\longleftrightarrow (x_1 -a_1, \ldots, x_n - a_n)
1522 \end{align*}
1523\end{prop}
1524\begin{proof}
1525 the ideals of $A$ are given by ideals of $k[X_1, \ldots, X_n]$ containing $J$, since for $Q=R/I$, $\exists$ one-to-one correspondence between ideals of $Q$ and ideals of $R$ that contain $I$, ie.
1526 \begin{align*}
1527 m \subset A \longleftrightarrow &m' \subseteq k[X_1, \ldots, X_n]\\
1528 &\text{s.th.}~ J \subseteq m'
1529 \end{align*}
1530
1531 Thus, every maximal ideal of $A$ is of the form
1532 $$\underbrace{(x_1 -a_1, \ldots, x_n - a_n)}_{i.} ~\text{such that}~ \underbrace{J \subset (X_1 - a_1, \ldots, X_n - a_n)}_{ii.}$$
1533
1534 \begin{enumerate}[i.]
1535 \item Since $k$ is algebraically closed, the maximal ideals of $k[X_1, \ldots, X_n]$ look like $m=(X_1 - a_1, \ldots, X_n - a_n)$ for some point $(a_1, \ldots, a_n) \in k^n$.
1536
1537 Which when projected to the quotient ring $A$, $X_i \longmapsto x_i$ (residue class), giving $(x_1 - a_1, \ldots, x_n - a_n)$.
1538
1539 \item for $m$ to exist in $A$, the corresponding $m'$ must contain $J$; since if it didn't contain $J$ it wouldn't "survive" the quotient process.
1540 \end{enumerate}
1541
1542 \vspace{0.3cm}
1543 However, since $(X_1 - a_1, \ldots, X_n - a_n)$ is the kernel of the evaluation map $f \longmapsto f(a_1, \ldots, a_n)$
1544
1545 $\Longrightarrow~$ means that $m'=(X_1 - a_1, \ldots, X_n - a_n)$ consists of all polynomials that vanish at point $P=(a_1, \ldots, a_n)$.
1546
1547 If $J \subseteq m'$, then $\forall~ f \in J$ must vanish at $P$.
1548
1549 By definition, the set of points where all polynomials in $J$ vanish is the \emph{variety}, $V(J)$.
1550
1551 \vspace{0.4cm}
1552 Thus,\\
1553 every maximal ideal in $A$ corresponds to a point $(a_1, \ldots, a_n) \in k^n$, ie.
1554 $$m-Spec~ A \longleftrightarrow k^n$$
1555
1556 The condition that the ideal belongs to the quotient ring $A=k[X_1, \ldots, X_n]/J$ forces that point to lie in $V(J)$, so
1557 \begin{align*}
1558 m-Spec~ A &\longleftrightarrow V(J)\\
1559 \text{maximal spectrum} &\longleftrightarrow \text{variety}
1560 \end{align*}
1561\end{proof}
1562
1563\begin{prop}{5.5}[Correspondeces $V$ and $I$] \label{5.5}
1564 A variety $X \subset k^n$ is by definition $X=V(J)$ (J an ideal of $k[X_1, \ldots, X_n]$).
1565
1566 So $V$ gives a map:\\
1567 $$\{ \text{ideals of}~ k[X_1, \ldots, X_n] \} \stackrel{V}{\longrightarrow} \{ \text{subsets}~ X ~\text{of}~ k^n \}$$
1568
1569 correspondence going the other way:
1570 $$\{ \text{subsets}~ X ~\text{of}~ k^n \} \stackrel{I}{\longrightarrow} \{ \text{ideals of} ~k[X_1, \ldots, X_n] \}$$
1571
1572 defined by taking a subset $X \subset k^n$ into the ideal
1573 $$I(X) = \{ f \in k[X_1, \ldots, X_n] | f(P)=0 ~\forall~ P \in X \}$$
1574
1575 \vspace{0.4cm}
1576
1577 $V,~I$ satisfy reverse inclusions:
1578 $$J \subset J' ~\Longrightarrow~ V(J) \supset V(J') ~~~~\text{and}~~~~ X \subset Y ~\Longrightarrow~ I(X) \supset I(Y)$$
1579\end{prop}
1580
1581
1582\vspace{0.4cm}
1583\subsection{Nullstellensatz}
1584
1585\vspace{0.5cm}
1586\begin{thm}{5.6}[Nullstellensatz] \label{nullstellensatz}
1587 Let $k$ algebraically closed field.
1588
1589 \begin{enumerate}[a.]
1590 \item if $J \subsetneq k[X_1, \ldots, X_n]$ then $V(J) \neq \emptyset$
1591 \item $I(V(J)) = rad J$, in other words, for $f \in k[X_1, \ldots, X_n]$,
1592 $$f(P)=0 ~\forall~ P \in V ~~\Longleftrightarrow~ f^n \in J ~\text{for some $n$.}$$
1593 \end{enumerate}
1594\end{thm}
1595\begin{proof}
1596 \begin{enumerate}[a.]
1597 \item if $J \subsetneq k[X_1, \ldots, X_n]$ then $V(J) \neq \emptyset$:\\
1598 Let $m \subset k[X_1, \ldots, X_n]$ be a maximal ideal.\\
1599
1600 Now,
1601 \begin{itemize}
1602 \item[-] since $m$ maximal, $L= k[X_1, \ldots, X_n]/m$ is a field.
1603 \item[-] since $k[X_1, \ldots, X_n]$ is a fingen $k$-algebra, $L$ is a fingen $k$-algebra.
1604 \end{itemize}
1605 $\Longrightarrow~$ thus $L$ is a finite field extension of $k$.
1606
1607 (Recall: if $k$ algebraically closed and $L$ a fingen field extension of $k$,
1608 then $L \cong k$.)
1609
1610 Therefore,
1611 $$L=\frac{k[X_1, \ldots, X_n]}{m} \cong k$$
1612
1613 Since $k[X_1, \ldots, X_n]$ is a $k$-algebra, $\exists$ a surjective homomorphism
1614 $$\psi: k[X_1, \ldots, X_n] \longrightarrow k$$
1615
1616 Let $a_i = \psi(x_i)$. Then $x_i - a_i \in ker(\psi) = m ~\forall~ i \in [n]$.
1617
1618 Since the ideal $(X_1 - a_1, \ldots, X_n - a_n)$ is maximal and contained in $m$, they must be equal, ie. $m = (X_1 - a_1, \ldots, X_n - a_n)$. (as in \ref{5.2})
1619
1620 Therefore, $P=(a_1, \ldots, a_n) \in k^n$ is a zero for every polynomial in $m$,
1621 $$f \in m ~\Longleftrightarrow~ f(P)=0$$
1622
1623 Since $J \subseteq m$, $P$ is also a zero for every polynomial in $J$, ie. every element of $J$ vanishes at $P$.\\
1624 $\Longrightarrow~$ therefore $P \in V(J)$, and thus $V(J) \neq \emptyset$.
1625
1626\item $I(V(J)) = rad J$:\\
1627 \begin{align*}
1628 I(V(J)) &= rad J\\
1629 \text{vanishing ideal of a variety} &= \text{radical of the ideal defining the variety}
1630 \end{align*}
1631 where $rad~J = \{ f \in R ~|~ f^n \in J ~\text{for some}~ n>0 \}$.
1632
1633 Want to show that if a polynomial vanishes at all points where $g_1, \ldots, g_m$ vanish, then $f \in rad(g_1, \ldots, g_m)$.
1634
1635 Consider the ring $k[X_1, \ldots, X_n, Y]$ and the ideal $J'$ generated by $\{ g_1, \ldots, g_m, 1-Y f \}$
1636
1637 Suppose there is a point $(a_1, \ldots, a_n, a_{n+1})$ that is a zero of $J'$. ie.
1638 $$\exists~ (a_1, \ldots, a_n, a_{n+1}) \in V(J')$$
1639
1640 Since $g_i(a)=0$, our hypothesis says $f(a)=0$. However, the last generator $(1-Yf)$ requires
1641 $$1 - a_{n+1} f(a) = 0 ~~\Longrightarrow~ \text{implies}~ 1 - a_{n+1} \cdot 0 = 0 ~\Longrightarrow~ 1-0=0$$
1642 a contradiction.
1643
1644 Therefore, $V(J') = \emptyset$.
1645
1646 \vspace{0.4cm}
1647
1648 Since $V(J')=\emptyset$, by the Weak Nullstellensatz/Zariski (\ref{zariski}),\\
1649 \hspace*{2em} if $V(J')=\emptyset$ then $J'=(1)$, so $1 \in J'=(1)$.
1650
1651 Every element in an ideal is a linear combination of its generators: $J'$ is generated by $\{ g_1, \ldots, g_m, 1-Yf \}$
1652
1653 $$\Longrightarrow~ \forall j \in J',~~ j=(\sum \text{(polynomial)}~ g_i) + \text{(polynomial)} \cdot (1 - Yf)$$
1654
1655 which, since $1 \in J'$,
1656 $$1= \left( \sum_{i=1}^m p_i(X,Y) g_i(X) \right) + q(X,Y) \cdot (1 - Y f(X))$$
1657
1658 substitute $Y=1/f$,
1659 $$1= \left( \sum_{i=1}^m p_i(X,\frac{1}{f}) g_i(X) \right) + q(X,\frac{1}{f}) \cdot \underbrace{(1 - \frac{1}{f} f(X))}_{0}$$
1660 thus
1661 $$1= \sum_{i=1}^m p_i(X,\frac{1}{f}) g_i(X)$$
1662 multiply by $f^n$,
1663 $$f^n= \sum_{i=1}^m A_i(X) g_i(X)$$
1664
1665 thus $f^n$ is a linear combination of $g_i$.\\
1666 Thus $f^n \in J$, so $f \in rad~J$.
1667\end{enumerate}
1668\end{proof}
1669
1670
1671\vspace{0.4cm}
1672\subsection{Irreducible varieties}
1673
1674\begin{defn}{5.7}[Irreducible variety]
1675 a variety $X \subset k^n$ is \emph{irreducible} if it is nonempty and not the union of two proper subvarieties; that is, if
1676 $$X = X_1 \cup X_2 ~~\text{for varieties}~ X_1, X_2 ~\Longrightarrow~ X= X_1 ~\text{or}~ X_2$$
1677\end{defn}
1678
1679\begin{prop}{5.7} \label{5.7}
1680 a variety $X$ is irreducible iff $I(X)$ is prime.
1681\end{prop}
1682\begin{proof}
1683 set $I=I(X)$.
1684
1685 if $I$ not prime, then $f,g \in A \setminus I$ be such that $fg \in I$.
1686
1687 Define new ideals
1688 $$J_1=(I, f) ~~\text{and}~~ J_2=(I, g)$$
1689
1690 Then, since $f \not\in I(X)$, it follows that $V(J_1) \subsetneq X$
1691
1692 \hspace*{2em}$\Longrightarrow$ so $X=V(J_1) \cup V(J_2)$ is reducible.
1693
1694 The converse is similar.
1695\end{proof}
1696
1697\begin{cor}{5.8} \label{cor.5.8}
1698 let $k$ algebraically closed field. Then $V$ and $I$ induce one-to-one correspondences
1699
1700 \begin{align*}
1701 \{ \text{radical ideals}~J~\text{of}~k[X_1, \ldots, X_n] \} &\longleftrightarrow \{ \text{varieties}~ X \subset k^n \}\\
1702 \{ \text{prime ideals}~P~\text{of}~k[X_1, \ldots, X_n] \} &\longleftrightarrow \{ \text{irreducible varieties}~ X \subset k^n \}
1703 \end{align*}
1704
1705 Therefore,
1706 $$Spec~ k[X_1, \ldots, X_n] = \{ \text{irreducible varieties}~ X \subset k^n \}$$
1707\end{cor}
1708
1709\begin{prop}{5.8} \label{5.8}
1710 let $A= k[x_1, \ldots, x_n]$ a fingen $k$-algebra ($k$ an algebraically closed field).
1711
1712 Write $J$ for the ideal of relations holding between $x_1, \ldots, x_n$, so that $A=k[X_1, \ldots, X_n]/J$.
1713
1714 Then there is a one-to-one correspondence
1715 $$Spec~ A \longleftrightarrow \{ \text{irreducible subvarieties}~ X \subset V(J) \}$$
1716\end{prop}
1717\begin{proof}
1718 By definition, $Spec~ A = \{ P ~|~ P \subset A ~\text{is prime ideal} \}$.
1719
1720 By Corollary \ref{cor.5.8}:
1721 $$\{ \text{prime ideals}~P~\text{of}~k[X_1, \ldots, X_n] \} \longleftrightarrow \{ \text{irreducible varieties}~ X \subset k^n \}$$
1722
1723 About varieties:
1724 \begin{itemize}
1725 \item $I(X)$ in $R=k[X_1, \ldots, X_n]$ is the ideal of the variety $X$\\
1726 \hspace*{2em}ie. the set of all polynomials that vanish on every point of $X$.
1727 \item $I(X)$ in $A=k[X_1, \ldots, X_n]/J$, we're not looking at all possible polynomials but at the residue classes.
1728 \end{itemize}
1729
1730 If $P$ is prime in $A~~\Longrightarrow~$ it must correspond to some prime ideal $\mathfrak{P}$ in $R$ (also $J \subset R$).
1731
1732 Then from Nullstellensatz (\ref{nullstellensatz}), every prime ideal $\mathfrak{P}$ in $R$ is the ideal of some irreducible variety $X$.\\
1733 \hspace*{2em}$\Longrightarrow~~ \mathfrak{P}=I(X)$.
1734
1735
1736 Since we're restricted to the ring $A=k[X_1, \ldots, X_n]/J$, the ideal $P$ are the elements of $I(X)$ viewed through the lens of the quotient\\
1737 $$\Longrightarrow~~ P = \{ f+J ~|~ f \in I(X) \}~~ = I(X) ~\text{mod}~J$$
1738
1739 Now, $J$ is the set of equations defining our "universe" $V(J)$.
1740
1741 Since $A=R/J ~~ \Longrightarrow~$ we thus have $J \subseteq R$.
1742
1743 Also we have a correspondence between $A=R/J$ and $R$.
1744
1745 Let $\mathfrak{P}$ be the preimage of $P$ in $R=k[X_1, \ldots, X_n]$, ie.
1746 \begin{align*}
1747 R &\longrightarrow A=R/J\\
1748 \mathfrak{P} &\longmapsto P\\
1749 I(X) &\longmapsto I(X) ~\text{mod}~J
1750 \end{align*}
1751
1752 $\Longrightarrow~ \text{thus}~ J \subseteq \mathfrak{P}$.
1753
1754
1755 Now, $J \subset \mathfrak{P} = I(X)$;\\
1756 by \ref{5.5}, the set of points where $\mathfrak{P}$ vanishes must be inside the set of points where $J$ vanishes, so
1757 $$V(J) \supseteq V(\mathfrak{P}) = V(I(X)) = X$$
1758 $\Longrightarrow~~ X \subseteq V(J)$, ie. the irreducible variety $X$ must be a subvariety of $V(J)$.
1759
1760 Therefore,
1761 $$\mathfrak{P} \in Spec~ A \longleftrightarrow X \subseteq V(J)$$
1762 where $X = V(\mathfrak{P})$.
1763\end{proof}
1764
1765\subsection{Zariski, Weak Nullstellensatz, Nullstllensatz}
1766This subsection proves again Zariski's lemma, Weak Nullstellensatz and Nullstellensatz, in a more interconnected way than the proofs described previously.
1767
1768\begin{lemma}{}[Zariski's lemma]
1769 $k$ a field, $K$ a fingen $k$-algebra and a field.
1770
1771 Then $K$ is a finite algebraic extension of $k$.
1772
1773 If $k$ algebraically closed, then $K=k$.
1774\end{lemma}
1775\begin{proof}
1776 $K$ a fingen $k$-algebra and a field $\Longleftrightarrow$ $K=k[X_1, \ldots, X_n]$ a field.\\
1777 Want to show that $K$ is algebraic over $k$.
1778
1779 Since $K$ is a fingen $k$-algebra, by Noether normalization \ref{noether-normalization},\\
1780 $\exists~ \{y_1, ldots, y_r\} \subset K$ such that
1781 \begin{itemize}
1782 \item the set $\{y_1, \ldots, y_r\}$ is algebraically independent over $k$
1783 \item $K$ is integral over the polynomial ring $R=k[y_1, \ldots, y_r] \sbuset K$.
1784 \end{itemize}
1785
1786 By \ref{R.4.9}:\\
1787 if $A \subset B$ integral extension of integral domain,\\
1788 then $A$ is a field $\Longleftrightarrow~ B$ is a field.
1789
1790 which applied to our case:
1791 $$B:=K ~\text{(a field)},~~ A:= R=k[y_1, \ldots, y_r]$$
1792 since $K$ is integral over $R$ and $K$ a field $\Longrightarrow$ by \ref{R.4.9} $R$ must be a field.
1793
1794 \vspace{0.3cm}
1795 Since $y_i \in K$ are algebraically independent\\
1796 $\Longrightarrow~ R=k[y_1, \ldots, y_r]$ is a polynomial ring in $r$ indeterminates.
1797
1798 Then, if $r \geq 1$, we have at least one variable ($k[y_1]$);\\
1799 in $k[y_1]$, the element $y_1$ is not invertible, since $1/y_1$ is a rational function, not a polynomial.\\
1800 (alternatively: the only invertible elements in a polynomial ring over a field are the non-zero constants of the field $k$).
1801
1802 Therefore, $R=k[y_1, \ldots, y_r]$ can be a field iff $r=0$, and we know that is a field, therefore $r=0$ and $R=k$.
1803
1804 By Noether normalization, at the previous step we knew that $K$ is integral over $R$ ($=k$).
1805
1806 \vspace{0.3cm}
1807 By \ref{integral-implies-finite}, a fingen algebra that is integral over its base field is a finite vector space over that field.
1808
1809 Thus $[K:k]<\infty$, and $K$ is algebraic over $k$.
1810\end{proof}
1811
1812\vspace{0.5cm}
1813This brings us to the \emph{Weak Nullstellensatz}:
1814
1815\begin{thm}{4.10}[Weak Nullstellensatz]\label{weak-nullstellensatz-again}
1816 $k$ a field, $K$ a $k$-algebra with
1817 \begin{itemize}
1818 \item $K$ fingen as a $k$-algebra
1819 \item $K$ a field
1820 \end{itemize}
1821 Then $K$ is algebraic over $k$, so that $k \subset K$ is a finite field extension; that is $[K:k] < \infty$.
1822\end{thm}
1823\begin{proof}
1824 proven at previous proof.
1825\end{proof}
1826
1827
1828\vspace{0.8cm}
1829Now, let $m\subset k[X_1, \ldots, X_n]$ a maximal ideal. Let $K=k[X_1, \ldots, X_n]$.
1830
1831Then $\frac{k[X_1, \ldots, X_n]}{m} = \frac{K}{m}$ is a field (by basic ideal quotient theory).
1832
1833If it's a fingen $k$-algebra $\Longrightarrow$ by Zariski's lemma, $\frac{K}{m}$ is algebraic over $k$.
1834
1835And since $k$ is algebraically closed $\Longrightarrow~ \frac{K}{m}=k$.
1836
1837By definition of $K$ being a $k$-algebra,
1838$$\exists~ \psi: k \longrightarrow \frac{K}{m} ~~~\Longrightarrow~ k \stackrel{iso}{\cong} \frac{K}{m}$$
1839
1840Thus, $\forall x_i \in k,~ \psi(x_i)=a_i \in k$.
1841And by definition of a quotient ring,
1842
1843$psi(x_i)$ is the coset
1844\begin{align*}
1845 \psi(x_i)&=x_i+m\\
1846 &\Longrightarrow a_i = x_i +m\\
1847 &x_i - a_i \in m
1848\end{align*}
1849
1850Since $x_i - a_i \in m ~~\Longrightarrow~~ J=(X_1 - a_1, \ldots, X_n -a_n) \subseteq m$,
1851
1852since $J$ is the kernel of the evaluation map at point $(a_1, \ldots, a_n)$, then $J$ is a maximal ideal.
1853
1854(Corollary \ref{5.2}) Thus $J=m$, ie. $m=(X_1 - a_1, \ldots, X_n -a_n)$, with $a_i \in k$.
1855
1856\vspace{0.4cm}
1857We had $k \stackrel{iso}{\cong} \frac{K}{m} = \frac{k[X_1, \ldots, X_n]}{m}$.
1858
1859We have the quotient map
1860\begin{align*}
1861 \phi: k[X_1, \ldots, X_n] &\longrightarrow \frac{k[X_1, \ldots, X_n]}{m} \cong k\\
1862 x_i &\mapsto a_i \in k
1863\end{align*}
1864which is the natural evaluation map $f(X_1, \ldots, X_n) \longrightarrow f(a_1, \ldots, a_n)$.
1865
1866Since $\phi$ is a $k$-algebra homomorphism, then
1867$$\forall~ f \in K,~ \phi(f(X_1, \ldots, X_n)) = f(\phi(x_1), \ldots, \phi(x_n)) = f(a_1, \ldots, a_n)$$
1868
1869Thus, $\exists$ a one-to-one correspondence:
1870\begin{align*}
1871 \text{points in}~ k^n ~~~ &\longleftrightarrow~~~ m-Spec~ A, ~\text{maximal ideals in}~ k[X_1, \ldots, X_n]\\
1872 (a_1, \ldots, a_n) ~~~&\longleftrightarrow~~~ (X_1 - a_1, \ldots, X_n - a_n)
1873\end{align*}
1874
1875\vspace{0.5cm}
1876Observe: $x_i - a_i \in ker(\psi) =m~ \forall~ i \in [n]$.
1877
1878We also have seen that $m=(X_1-a_1, \ldots, X_n-a_n)$.
1879
1880So for $P=(a_1, \ldots, a_n) \in k^n$, it is a zero for every polynomial in $m$, ie.
1881$$\forall~ f \in m ~\Longrightarrow~ f(P)=0$$
1882
1883Since $J \subseteq m$, $P$ is also a zero for every polynomial in $J$; ie. every element of $J$ vanishes at $P$.
1884
1885$\Longrightarrow~ P \in V(J)$, and thus $V(J) \neq \emptyset$. This is what the Nullstellensatz first part states:
1886\begin{thm}{5.6}[Nullstellensatz] \label{nullstellensatz}
1887 \begin{enumerate}[a.]
1888 \item if $J \subsetneq k[X_1, \ldots, X_n]$ then $V(J) \neq \emptyset$
1889 \item $I(V(J)) = rad J$, in other words, for $f \in k[X_1, \ldots, X_n]$,
1890 $$f(P)=0 ~\forall~ P \in V ~~\Longleftrightarrow~ f^n \in J ~\text{for some $n$.}$$
1891 \end{enumerate}
1892\end{thm}
1893\begin{proof}
1894 \begin{enumerate}[a.]
1895 \item already proven in the previous steps.
1896
1897 \item $I(V(J)) = rad J$\\
1898 ie. vanishing ideal of a variety = radical of the ideal definingh the variety
1899
1900 where $rad~J = \{ f \in R | f^n \in J ~\text{for some}~ n>0 \}$.
1901
1902 Want to show that if a polynomial vanishes at all points where $g_1, \ldots, g_m$ vanish, then $f \in rad(g_1, \ldots, g_m)$.
1903
1904 Consider the ring $k[X_1, \ldots, X_n, Y]$ and the ideal $J'$ generated by $\{ g_1, \ldots, g_m, 1-Y f \}$
1905
1906 Suppose there is a point $(a_1, \ldots, a_n, a_{n+1})$ that is a zero of $J'$. ie.
1907 $$\exists~ \underbrace{(a_1, \ldots, a_n, a_{n+1})}_{a} \in V(J')$$
1908
1909 Since $g_i(a)=0$, our hypothesis says $f(a)=0$. However, the last generator $(1-Yf)$ requires
1910 $$1 - a_{n+1} f(a) = 0 ~~\Longrightarrow~ \text{implies}~ 1 - a_{n+1} \cdot 0 = 0 ~\Longrightarrow~ 1-0=0$$
1911 a contradiction.
1912
1913 Therefore, $V(J') = \emptyset$.
1914
1915 \vspace{0.4cm}
1916
1917 By the Weak Nullstellensatz (\ref{weak-nullstellensatz-again}),\\
1918 \hspace*{2em} if $V(J')=\emptyset$ then $J'=(1)$, so $1 \in J'=(1)$.
1919
1920 Every element in an ideal is a linear combination of its generators:\\
1921 $J'$ is generated by $\{ g_1, \ldots, g_m, 1-Yf \}$
1922
1923 $$\Longrightarrow~ \forall j \in J',~~ j=(\sum \text{(polynomial)}~ g_i) + \text{(polynomial)} \cdot (1 - Yf)$$
1924
1925 which, since $1 \in J'$,
1926 $$1= \left( \sum_{i=1}^m p_i(X,Y) g_i(X) \right) + q(X,Y) \cdot (1 - Y f(X))$$
1927
1928 substitute $Y=1/f$,
1929 $$1= \left( \sum_{i=1}^m p_i(X,\frac{1}{f}) g_i(X) \right) + q(X,\frac{1}{f}) \cdot \underbrace{(1 - \frac{1}{f} f(X))}_{0}$$
1930 thus
1931 $$1= \sum_{i=1}^m p_i(X,\frac{1}{f}) g_i(X)$$
1932 multiply by $f^n$,
1933 $$f^n= \sum_{i=1}^m A_i(X) g_i(X)$$
1934
1935 thus $f^n$ is a linear combination of $g_i$.\\
1936 Therefore $f^n \in J$, so $f \in rad~J$.
1937 \end{enumerate}
1938\end{proof}
1939
1940
1941
1942\section{Rings of fractions $S^{-1}A$ and localization}
1943
1944\subsection{Rings of fractions $S^{-1}A$}
1945
1946\begin{defn}{6.1}[ring of fractions] \label{def.6.1}
1947 let $A$ a ring, $S \subset A$ a multiplicative set ($1 \in S$, and $st \in S
1948 ~\forall s, t \in S$).
1949
1950 Introduce th following relation $\sim$ on $A \times S$:
1951 $$(a, s) \sim (b, t) \Longleftrightarrow \exists y \in S ~\text{such that}~ u(at - bs) = 0$$
1952
1953 (write $a/s$ for the equivalence class of $(a, s)$.
1954
1955 Then, the \emph{ring of fractions of $A$ with respect to $S$} is
1956 $$S^{-1}A = (A \times S)/\sim$$
1957
1958 with ring op'ns defined by the usual arithmetic op'ns on fractions:
1959 $$\frac{a}{s} \pm \frac{b}{t} = \frac{(at \pm bs)}{st} ~~\text{and}~~ \frac{a}{s} \cdot \frac{b}{t} = \frac{ab}{st}$$
1960\end{defn}
1961
1962\begin{prop}{6.1} \label{prop.6.1}
1963 \begin{enumerate}[i.]
1964 \item $\sim$ is an equivalence relation
1965 \item the ring op'ns are well defined, and $S^{-1}A$ is a ring
1966 \item
1967 \begin{align*}
1968 \psi: A &\longrightarrow S^{-1}A\\
1969 a &\longmapsto a/1
1970 \end{align*}
1971 is a ring homomorphism.
1972 \end{enumerate}
1973\end{prop}
1974
1975\begin{eg}{ }
1976 TODO
1977\end{eg}
1978
1979\begin{lemma}{6.2} \label{6.2}
1980 For $f \in A$, write $S = \{ 1, f, f^2, \ldots \}$, and $A_f \cong S^{-1}A$.
1981
1982 Then
1983 $$A_f \cong \frac{A[X]}{(Xf-1)}$$
1984\end{lemma}
1985\begin{proof}
1986 Define the homomorphism
1987 \begin{align*}
1988 \psi: A[X] &\longrightarrow A_f\\
1989 a &\longmapsto a/1\\
1990 X &\longmapsto 1/f
1991 \end{align*}
1992
1993By the 1st isomorphism theorem:
1994
1995 \begin{tikzpicture}[node distance=1.5cm, auto]
1996 \node (G) {$A[X]$};
1997 \node (H) [right of=G] {$A_f$};
1998 \node (GmodK) [below of=G, xshift=0.75cm] {$A[X]/\ker(\psi)$};
1999
2000 \draw[->] (G) to node {$\psi$} (H);
2001 \draw[->] (G) to node [swap] {$\phi$} (GmodK);
2002 \draw[->] (GmodK) to node [swap] {$\eta$} (H);
2003 \end{tikzpicture}
2004
2005 Thus we want to prove that $ker(\psi) = (Xf-1)$, so that $\frac{A[X]}{ker(\psi)} = \frac{A[X]}{(Xf-1)}$, and the lemma is proven.
2006
2007 \vspace{0.3cm}
2008 First, observe that $\psi(Xf-1) = \psi(X)\psi(f)-\psi(1) = \frac{1}{f} \frac{f}{1} - 1 = 1-1=0$,
2009 so $Xf-1 \in ker(\psi)$, ie. $(Xf-1) \subseteq ker(\psi)$.
2010
2011 Now, we want to prove that $ker(\psi) \subseteq (Xf-1)$.
2012
2013 Take $h \in ker(\psi)$, will prove that $h \in (Xf-1)~ \forall~ h \in ker(\psi)$, and thus $ker(\psi) \subseteq(Xf-1)$.
2014
2015 \vspace{0.3cm}
2016 Want to prove that $h(X)$ is a multiple of $(Xf-1)$.
2017
2018 Let
2019 $$h(X)=a_n X^n + a_{n-1} X^{n-1} + \ldots + a_1 X + a_0$$
2020
2021 % Since $h \in ker(\psi) ~~\Longrightarrow~~ \psi(h)=0$, so
2022 % $$\psi(h) = \frac{a_n}{f^n} + \frac{a_{n-1}}{f^{n-1}} + \ldots \frac{a_1}{f} + \frac{a_0}{1} = 0 \in A_f$$
2023
2024 multiply $h(X)$ by $f^n$:
2025 $$f^n \cdot h(X)=a_n (f^n X^n) + a_{n-1} f (f^{n-1} X^{n-1}) + a_{n-2} f^2 (f^{n-2} X^{n-2}) \ldots$$
2026
2027 Note that since $\forall~ i \geq 1,~~ f^i X^i = (Xf -1)\cdot (f^{i-1} X^{i-1} + f^{i-2} X^{i-2} + \ldots + 1)$, then $f^i X^i \equiv 1 \pmod{Xf-1}$.
2028
2029 So,
2030 $$f^n \cdot h(X)=\underbrace{a_n (1) + a_{n-1} f (1) + a_{n-2} f^2 (1) + \ldots + a_0 f^n}_{C~~\text{(constant)}} \pmod{Xf-1}$$
2031
2032 $$\Longrightarrow~~ f^n \cdot h(X)=C \pmod{Xf-1}$$
2033 $$\Longleftrightarrow~~ f^n \cdot h(X)=Q(X) \cdot (Xf-1) + C$$
2034
2035 Want to remove $C$, but it is non-zero. Note that in $A_f$ (ring of
2036 fractions), $\frac{a}{f^n} = 0$ iff $\exists~ k$ such that $f^k \cdot a = 0$ in $A$.
2037
2038 So, multiply both sides by $f^k$:
2039 $$f^k \cdot f^n \cdot h(X)=f^k \cdot (Q(X) \cdot (Xf-1) + C)$$
2040 $$\underbrace{f^k f^n}_{f^{nk}} \cdot h(X)=\underbrace{f^k Q(X)}_{Q'(X)} \cdot (Xf-1) + \underbrace{f^k C}_{0}$$
2041
2042 $$\Longrightarrow~~ f^{n+k} \cdot h(X)=Q'(X) \cdot (Xf-1)$$
2043 $$\Longleftrightarrow~~ f^{n+k} \cdot h(X) \equiv 0 \pmod{Xf-1}$$
2044
2045 multiply it by $X^{n+k}$:
2046 $$X^{n+k} \cdot f^{n+k} \cdot h(X) \equiv X^{n+k} \cdot 0 \pmod{Xf-1}$$
2047 $$(Xf)^{n+k} \cdot h(X) \equiv 0 \pmod{Xf-1}$$
2048
2049 Now, since we had $Xf \equiv 1$ in $\frac{A[X]}{(Xf-1)}$,
2050 $$(1)^{n+k} \cdot h(X) \equiv 0 \pmod{Xf-1}$$
2051 $$\Longrightarrow~~ h(X) \equiv 0 \pmod{Xf-1}$$
2052 By definition this is saying $h(X) \in (Xf-1) ~\forall~ k \in ker(\psi)$.
2053
2054 Thus $ker(\psi) \subseteq (Xf-1)$.
2055
2056 Initially we saw that $(Xf-1) \subseteq ker(\psi)$. Therefore $ker(\psi)=(Xf-1)$.
2057
2058 Hence,
2059 $$A_f \cong \frac{A[X]}{(Xf-1)}$$
2060\end{proof}
2061
2062
2063\vspace{0.4cm}
2064
2065Given a ring homomorphism $\psi: A \longrightarrow B$, there is a correspondence
2066
2067$$e: \{ \text{ideals of } A \} \longrightarrow \{ \text{ideals of } B \}$$
2068
2069given by $e(I) = \psi(I)B = IB$ (called \emph{extension}),
2070
2071and
2072
2073$$r: \{ \text{ideals of } B \} \longrightarrow \{ \text{ideals of } A \}$$
2074
2075given by $r(J) = \psi^{-1} J$ (called \emph{restriction}, written $A \cap J$).
2076
2077Set $B= S{-1}A$. Then $S^{-1}I = e(I) = \psi(I)B$.
2078
2079\begin{prop}{6.3} \label{prop.6.3}
2080 \begin{enumerate}[a.]
2081 \item $\forall$ ideal $J$ of $S^{-1}A$, $e(r(J))=J$
2082 \item $\forall$ ideal $I$ of $A$,
2083 $$r(e(I)) = \{ a \in A ~|~ as \in I ~\text{for some}~ s \in S \}$$
2084 \item if $P$ prime and $P \cap S = \emptyset$,\\
2085 then $e(P)=S^{-1}P$ is a prime ideal of $S^{-1}A$.
2086 \end{enumerate}
2087\end{prop}
2088\begin{proof}
2089\end{proof}
2090
2091\begin{cor}{6.3} \label{cor.6.3}
2092 for an ideal $I$ of $A$, the necessary and sufficient condition for
2093 $r(e(I))=I$ is
2094 $$as \in I \Longrightarrow a \in I~~ \forall s \in S$$
2095\end{cor}
2096
2097
2098\subsection{Localization}
2099
2100If $P$ prime ideal, then $S=A \setminus P$ is a multiplicative set.
2101Define the set $A_P=S^{-1}A$.
2102
2103\begin{prop}{6.4} \label{6.4}
2104 $a/s \in A_P$ is a unit of $A_P ~\Longleftrightarrow~ a \not\in P$.
2105
2106 Therefore $A_P$ is a \emph{local ring}, with maximal ideal $e(P)=P A_P$.
2107
2108 The local ring $(A_P, PA_P)$ is called the \emph{localization} of $A$ at $P$.
2109\end{prop}
2110\begin{proof}
2111 \begin{enumerate}
2112 \item[$\Longleftarrow$] (if $a \not\in P ~\Longrightarrow~ a/s \in A_P$ is a unit)\\
2113
2114 if $a \not\in P$, then by definition of $S,~~ a \in S$.
2115
2116 In the localization $A_P$, every element of $S$ is invertible.
2117
2118 The inverse of $\frac{a}{s}$ is $\frac{s}{a}$\\
2119 \hspace*{2em}$\longrightarrow~~ \frac{a}{s} \cdot \frac{s}{a} = 1$, thus
2120 $a/s \in A_P$ is a unit.
2121
2122 \item[$\Longrightarrow$] (if $a/s$ unit $~\Longrightarrow~ a \not\in P$)\\
2123
2124 Suppose $a/s$ a unit; then $\exists~ \frac{b}{t} \in A_P$ such that
2125 $\frac{a}{s} \cdot \frac{b}{t} = 1$.
2126
2127 By definition of equality in localization, $\frac{ab}{st}=1$ means $\exists u \in S$ such that
2128 \begin{equation}
2129 u(ab \cdot 1 - st \cdot 1) = 0~~ \Longrightarrow~ uab=ust
2130 \label{eq:6.4}
2131 \end{equation}
2132 with $u,s,t \in S$.
2133
2134 Since $S=A \setminus P$ and $P$ is a prime ideal,\\
2135 the products of elements outside $P$ must also be outside of $P$.
2136 $$u,s,t \not\in P ~\Longrightarrow~ ust \not\in P$$
2137
2138 At \eqref{eq:6.4}, we know that $uab=ust \not\in P$, thus $uab \not\in P$.
2139
2140 If $uab \not\in P$, then $a \not\in P$.
2141
2142
2143 Next we will prove that $A_P$ is a local ring.\\
2144
2145 A ring is local if it has exactly one maimal ideal (\ref{1.13}); so we
2146 show that the set of non-units forms an ideal.
2147
2148 $a/s$ is not a unit iff $a \in P$. Let $m= \{ a/s | a \in P,~ s \not\in P \} = PA_P$.
2149 Want to show that $PA_P$ is the unique maximal ideal:
2150 \begin{itemize}
2151 \item it's an ideal: let $\frac{a}{s}, \frac{b}{t} \in PA_P$ with $a,b \in P$.
2152
2153 Then $\frac{a}{b} + \frac{b}{t} \in PA_P$ with numerator in $P$.
2154
2155 If multiply a fraction in $PA_P$ by any fraction in $A_P$, the numerator stays in $P$, thus $PA_P$ is an ideal.
2156
2157 \item every element outside of $PA_P$ is a unit (proven at the beginning of this proposition's proof ($\Longleftarrow$)).
2158
2159 \item maximality: every ideal strictly larger than $PA_P$ must contain a unit.\\
2160 If an ideal contains a unit, it must be the entire ring $A_P$.\\
2161 \hspace*{2em}$\Longrightarrow$ therefore, $PA_P$ is the unique maximal ideal.
2162 \end{itemize}
2163 \end{enumerate}
2164\end{proof}
2165
2166
2167In other words:
2168
2169\emph{Localization}: formal way to 'force' certain elements to have inverses.
2170
2171It's the smallest ring that contains $A$ and makes all the elements of $S$ invertible.
2172
2173There is a natural map $\psi: A \longrightarrow S^{-1}A$, by $f(a)=\frac{a}{1},~ f(s)=\frac{1}{s}~~ \text{for}~ s \in S$.
2174
2175
2176\subsection{Localization commutes with taking quotients}
2177Let $A$ ring, $S$ multiplicative set, $I$ ideal.
2178
2179Write $T$ for the image of $S$ in $A/I$.
2180
2181Then $S^{-1}I=I \cdot S^{-1}A$ is an ideal of $S^{-1}A$, can take the quotient ring $S^{-1}A / S^{-1} I$.
2182
2183$\longleftrightarrow$ can take the quotient $A/I$ and then localize to get $T^{-1}(A/I)$.
2184
2185
2186\begin{cor}{6.7} \label{6.7}
2187 $$T^{-1}(A/I) \cong \frac{S^{-1}A}{S^{-1}I}$$
2188 In particular, for $P$ prime ideal,
2189 $$\frac{A_P}{PA_P} = k(P) = Frac(\underbrace{A/P}_{\substack{\text{integral}\\\text{domain}}})$$
2190
2191 From \ref{6.4}, $A_P$: local ring, $PA_P$: unique maximal ideal.
2192 $k(P)$ and $Frac(A/P)$ are field of fractions.
2193\end{cor}
2194\begin{proof}
2195 the quotient ring $A/I$ can be viewed as an $A$-module and
2196 $$\underbrace{ T^{-1}(A/I) }_{\text{ring of fractions}} \cong
2197 \underbrace{ \frac{S^{-1}A}{S^{-1}I} }_{\text{module of fractions}}$$
2198
2199 The \ref{cor.6.6}.i, gives an isomorphism of modules
2200 $$ T^{-1}(A/I) = S^{-1}(A/I) \cong \frac{S^{-1}A}{S^{-1}I}$$
2201 it's easy to see that this is a ring homomorphism.
2202\end{proof}
2203% TODO 6.6 (proposition and corollary)
2204
2205
2206
2207\newpage
2208
2209\section{Exercises}
2210
2211For the exercises, I follow the assignments listed at \cite{mit-course}.
2212
2213The exercises that start with \textbf{R} are the ones from the book \cite{reid}, and the ones starting with \textbf{AM} are the ones from the book \cite{am}.
2214
2215\subsection{Exercises Chapter 1}
2216
2217\begin{ex}{R.1.1}
2218 Ring $A$ and ideals $I, J$ such that $I \cup J$ is not an ideal. What's the smallest ideal containing $I$ and $J$?
2219\end{ex}
2220\begin{proof}
2221 Take ring $A= \mathbb{Z}$. Set $I = 2 \mathbb{Z},~ J=3 \mathbb{Z}$.
2222
2223 $I,~J$ are ideals of $A$ ($=\mathbb{Z}$). And $I \cup J = 2 \mathbb{Z} \cup 3 \mathbb{Z}$.\\
2224 Observe that for $2 \in I,~ 3 \in J ~\Longrightarrow~ 2,3 \in I \cup J$, but $2+3 = 5 \not\in I \cup J$.
2225
2226 Thus $I \cup J$ is not closed under addition; thus is not an ideal.
2227
2228
2229 Smallest ideal of $\mathbb{Z}$ ($=A$) containing $I$ and $J$ is their sum:
2230
2231 $$I+J = \{ a+b | a \in I, b \in J \}$$
2232
2233 $gcd(2,3)=1$, so $I+J = \mathbb{Z}$.
2234
2235 Therefore, smallest ideal containing $I$ and $J$ is the whole ring $\mathbb{Z}$.
2236\end{proof}
2237
2238\begin{ex}{R.1.5}
2239 let $\psi: A \longrightarrow B$ a ring homomorphism. Prove that $\psi^{-1}$ takes prime ideals of $B$ to prime ideals of $A$.\\
2240 In particular if $A \subset B$ and $P$ a prime ideal of $B$, then $A \cap P$ is a prime ideal of $A$.
2241\end{ex}
2242\begin{proof}
2243 (Recall: prime ideal is if $a,b \in R$ and $a \cdot b \in P$ (with $R \neq P$), implies $a \in P$ or $b \in P$).
2244
2245 Let
2246 $$\psi^{-1}(P) = \{ a \in A | \psi(a) \in P \} = A \cap P$$
2247 The claim is that $\psi^{-1}(P)$ is prime ideal of $A$.
2248
2249 \begin{enumerate}[i.]
2250 \item show that $\psi^{-1}(P)$ is an ideal of $A$:\\
2251 $0_A \in \psi^{-1}(P)$, since $\psi(0_A)=0_B \in P$ (since every ideal contains $0$).
2252
2253 If $a,b \in \psi^{-1}(P)$, then $\psi(a), \psi(b) \in P$, so
2254 $$\psi(a-b)= \psi(a) - \psi(b) \in P$$
2255 hence $a-b \in \psi^{-1}(P)$.
2256
2257 If $a \in \psi^{-1}(P)$ and $r \in A$, then $\psi(ra) = \psi(r) \psi(a) \in P$, since $P$ is an ideal.\\
2258 Thus $ra \in \psi^{-1}(P)$.
2259
2260 $\Longrightarrow$ so $\psi^{-1}$ is an ideal of $A$.
2261
2262 \item show that $\psi^{-1}(P)$ is prime:\\
2263 $\psi^{-1}(P) \neq A$, since if $\psi^{-1}(P)=A$, then $1_A \in \psi^{-1}(P)$, so $\psi(1_A)=1_B \in P$, which would mean that $P=B$, a contradiction since $P$ is prime ideal of $B$.
2264
2265 Take $a,b \in A$ with $ab \in \psi^{-1}(P)$; then $\psi(ab) \in P$, and since $\psi$ is a ring homomorphism, $\psi(ab) = \psi(a)\psi(b)$.
2266
2267 Since $P$ prime ideal, then $\psi(a)\psi(b) \in P$ implies either $\psi(a) \in P$ or $\psi(b) \in P$.\\
2268 Thus $a \in \psi^{-1}(P)$ or $b \in \psi^{-1}(P)$.
2269
2270 Hence $\psi^{-1}(P)$ ($=A \cap P$) is a prime ideal of $A$.
2271 \end{enumerate}
2272\end{proof}
2273
2274
2275\begin{ex}{R.1.6}
2276 prove or give a counter example:
2277 \begin{enumerate}[a.]
2278 \item the intersection of two prime ideals is prime
2279 \item the ideal $P_1+P_2$ generated by $2$ prime ideals $P_1,P_2$ is prime
2280 \item if $\psi: A \longrightarrow B$ ring homomorphism, then $\psi^{-1}$ takes maximal ideals of $B$ to maximal ideals of $A$
2281 \item the map $\psi^{-1}$ of Proposition 1.2 takes maximal ideals of $A/I$
2282 to maximal ideals of $A$
2283 \end{enumerate}
2284\end{ex}
2285\begin{proof}
2286 \begin{enumerate}[a.]
2287 \item let $I = 2 \mathbb{Z} = (2)$, $J = 3 \mathbb{Z} = (3)$ be ideals of $\mathbb{Z}$, both prime.
2288
2289 Then $I \cap J = (2) \cap (3) = (6)$.
2290
2291 The ideal $(6)$ is not prime in $\mathbb{Z}$, since $2 \cdot 3 \in (6)$, but $2 \neq (6)$ and $3 \neq (6)$.
2292
2293 Thus the intersection of two primes can not be prime.
2294
2295 \item $P_1=(2),~ P_2=(3)$, both prime.
2296
2297 Then,
2298 $$P_1 + P_2 = (2)+(3)=\{ a+b | a \in P_1, b \in P_2 \}$$
2299
2300 $\longrightarrow~$ in a principal ideal domain (like $\mathbb{Z}$), the sum of two principal ideals is again principal, and given by $(m)+(n)=(gcd(m,n))$.
2301
2302 (recall: principal= generated by a single element)
2303
2304 So, $P_1+P_2= (2)+(3) = (gcd(2,3))=(1)=\mathbb{Z}$.
2305
2306 The whole ring is not a prime ideal (by the definition of the prime ideal), so $P_1+P_2$ is not a prime ideal.
2307
2308 Henceforth, the sum of two prime ideals is not necessarily prime.
2309
2310 \item let $A=\mathbb{Z},~ B=\mathbb{Q},~ \psi: A \longrightarrow B$.
2311
2312 Since $\mathbb{Q}$ is a field, its only maximal ideal is $(0)$.
2313
2314 Then
2315 \begin{align*}
2316 \psi^{-1}( (0) ) &= (0) \subset \mathbb{Z}\\
2317 \text{ie.}~ \psi^{-1}( m_B ) &= (m_B) \subset A
2318 \end{align*}
2319
2320 But $(0)$ is not maximal in $\mathbb{Z}$, because $\mathbb{Z}/(0) \cong \mathbb{Z}$ is not a field.
2321
2322 Thus the preimages of maximal ideals under arbitrary ring homomorphisms need not be maximal.
2323
2324 \item $\psi: A \longrightarrow A/I$ quotient homomorphism, $I \subseteq A$ an ideal.
2325
2326 Let $M$ a maximal ideal of $A/I$, then $\frac{(A/I)}{M}$ is a field (Proposition 1.3).
2327
2328 By the isomorphism theorems,
2329 $$\frac{(A/I)}{M} \cong \frac{A}{\psi^{-1}(M)}$$
2330
2331
2332 Since $\frac{(A/I)}{M}$ is a field, the quotient $\frac{A}{\psi^{-1}(M)}$ is a field, so $\psi^{-1}(M)$ is a maximal ideal of $A$.
2333
2334 $\Longrightarrow~$ under $\psi$, preimages of maximal ideals are maximal.
2335 \end{enumerate}
2336\end{proof}
2337
2338\begin{ex}{R.1.12.a}
2339 if $I,J$ ideals and $P$ prime ideal, prove that
2340 $$IJ \subset P ~\Longleftrightarrow~ I \cap J \subset P ~\Longleftrightarrow~ I ~\text{or}~ J \subset P$$
2341\end{ex}
2342\begin{proof}
2343 assume $I \subseteq P$ (for $J \subseteq P$ will be the same, symmetric), take $x \in IJ$,
2344
2345 then
2346 $$x = \sum_{k=1}^n a_k b_k$$
2347 with $a_k \in I,~ b_k \in J$.
2348
2349 Each $a_k \in I \subseteq P$. Since $P$ an ideal,
2350 $$\sum_{k=1}^n a_k b_k \in P$$
2351
2352 thus $x \in P$, hence $IJ \subseteq P$.
2353
2354 So $I \subseteq P$ or $J \subseteq P$ $~\Longrightarrow IJ \subseteq P$.
2355
2356 \vspace{0.5cm}
2357 Conversely,\\
2358 assume $P$ prime and $IJ \subseteq P$.
2359
2360 Suppose by contradiction that $I \not\subseteq P$ and $J \not\subseteq P$.
2361 \begin{itemize}
2362 \item[-] since $I \not\subseteq P,~ \exists a \in I$ with $a \not\in P$
2363 \item[-] since $J \not\subseteq P,~ \exists b \in J$ with $b \not\in P$
2364 \end{itemize}
2365 Since $a \in I,~ b \in J,~~ ab \in IJ \subseteq P$, but $P$ is prime, so $ab \in P$ implies that $a \in P$ or $b \in P$. This contradicts $a,b$ being taken outside of $P$.
2366
2367 Thus $I \not\subseteq P$ and $J \not\subseteq P$ are false.
2368
2369 \vspace{0.3cm}
2370 So both directions are proven, hence
2371 $$IJ \subseteq P ~\Longrightarrow~ I \subseteq P ~\text{or}~ J \subseteq P$$
2372
2373\end{proof}
2374
2375\begin{ex}{R.1.18}
2376 Use Zorn's lemma to prove that any prime ideal $P$ contains a minimal prime ideal.
2377\end{ex}
2378\begin{proof}
2379 Let $P$ prime ideal of $R$.
2380
2381 $$S = \{ Q \subseteq R ~|~ Q ~\text{a prime ideal AND}~ Q \subseteq P \}$$
2382
2383 Goal: show that $S$ has a minimal element, the minimal ideal contained in $P$.
2384
2385 $P \subset S$, so $S$ is nonempty.
2386
2387 Let $C \subseteq S$ be a chain (= totally ordered subset) with respect to inclusion.
2388
2389 Define
2390 $$Q_C = \bigcap_{Q \in C} Q$$
2391
2392 Clearly $Q_C \subseteq P$, since each $Q \in C$ is $Q \subseteq P$.
2393
2394 Since $C$ is ordered by inclusion, it is a decreasing chain of prime ideals.
2395
2396 Intersection of a decreasing chain of prime ideals is again a prime ideal:
2397 \begin{itemize}
2398 \item[-] if $ab \in Q_C$, then $ab \in Q ~\forall Q \in C$
2399 \item[-] since $Q$ prime, $\forall Q \in C$ either $a \in Q$ or $b \in Q$
2400 \end{itemize}
2401
2402 If there were some $Q_1,~ Q_2 \in C$ with $a \in Q_1$ and $b \not\in Q_2$, then by total ordering, either $Q_1 \subseteq Q_2$ or $Q_2 \subseteq Q_1$.
2403
2404 In either case: contradiction, since the smaller one would have to contain the element that was assumed to be excluded.
2405
2406 Thus $\forall Q \in C$ the same element $a, b$ must lie in all $Q$. $\Longrightarrow~$ lies in the intersection of them, $Q_C$.
2407
2408 Henceforth, $Q_C$ is a prime ideal and lies in $S$, and its a lower bound of $C$ in $S$.
2409
2410 Now, $S$ is nonempty, and every chain in $S$ has a lower bound in $S$ (its intersection).\\
2411 Therefore, $S$ has a minimal element $P_{min}$.
2412
2413 By construction, $P_{min}$ is a prime ideal $P_{min} \subseteq P$, and by minimality there are no strictly smaller prime ideals inside $P$.
2414
2415 So $P_{min}$ is a minimal prime ideal, contained in $P$.
2416\end{proof}
2417
2418\begin{ex}{R.1.10}
2419\end{ex}
2420\begin{proof}
2421\end{proof}
2422
2423\begin{ex}{R.1.11}
2424\end{ex}
2425\begin{proof}
2426\end{proof}
2427
2428\begin{ex}{R.1.4}
2429\end{ex}
2430\begin{proof}
2431\end{proof}
2432
2433\subsection{Exercises Chapter 2}
2434
2435\begin{ex}{R.2.9}
2436$0 \longrightarrow L \stackrel{\alpha}{\longrightarrow} M \stackrel{\beta}{\longrightarrow} N \longrightarrow 0$ is a s.e.s. of $A$-modules. Prove that if $N, L$ are finite over $A$, then $M$ is finite over $A$.
2437\end{ex}
2438\begin{proof}
2439 Denote the generators of $L$ and $N$ respectively as
2440 \begin{align*}
2441 \{l_1, \ldots, l_k \} &\subseteq L\\
2442 \{n_1, \ldots, n_p \} &\subseteq N
2443 \end{align*}
2444
2445 By s.e.s. definition,
2446 \begin{itemize}
2447 \item[-] $\alpha$ is injective (one-to-one), so
2448 $$\forall l_i \in L,~ \exists~ x_i \in M ~\text{s.th.}~ \alpha(l_i)=x_i$$
2449
2450 \item[-] $\beta$ is surjective (onto), so
2451 $$\forall n_j \in N,~ \exists~ y_j \in M ~\text{s.th.}~ \beta(y_j)=n_j$$
2452\end{itemize}
2453
2454 We will show that $\{x_1, \ldots, x_k, y_1, \ldots, y_p \}$ generate $M$, and thus $M$ is finite:
2455
2456 Let $m \in M$, then $\beta(m) \in N$, and
2457 $$\beta(m) = \sum_{j=1}^p a_j n_j ~~~\text{with}~ a_j \in A$$
2458
2459 Take $m' \in M$, with $m' = \sum a_j y_j$, then
2460 $$\beta(m') = \sum a_j \beta(y_j) = \sum a_j n_j = \beta(m)$$
2461
2462 Then, since $\beta(m)=\beta(m')~~ \Longrightarrow~~ \beta(m-m')=0$, thus
2463 $$(m-m') \in ker(\beta)$$
2464
2465 By \emph{exactness} property, since $\alpha: L \longrightarrow ker(\beta)$, we have $ker(\beta)=im(\alpha)$.
2466
2467 Therefore, $\exists~ l \in L$ such that $\alpha(l)= m-m'$.
2468
2469 Since $\{l_i\}_k$ generate $L$,
2470 $$l = \sum^k b_i l_i$$
2471 thus
2472 $$m-m' = \alpha(l) = \alpha(\underbrace{\sum b_i l_i}_{l}) = \sum b_i \underbrace{\alpha(l_i)}_{x_i} = \sum b_i x_i$$
2473
2474 Rearrange,
2475 $$m = m' + \sum b_i x_i = \sum_{j=1}^p a_j y_j + \sum_{i=1}^k b_i x_i ~~~~~ \forall m \in M$$
2476
2477 So, $L$ provides $k$ generators for the kernel part of $M$, $N$ provides $p$ "lifts" for the quotient part of $M$; thus $M$ is generated by $k+p$ elements.\\
2478 Thus $M$ is finitely generated over $A$.
2479\end{proof}
2480
2481
2482\subsection{Exercises Chapter 3}
2483
2484\begin{ex}{R.3.2}
2485 $K$ a field, $A \supset K$ a ring which is finite dimensional as a $K$-vector space.
2486 Prove that $A$ is Noetherian and Artinian.
2487\end{ex}
2488\begin{proof}
2489 $dim(A)=n < \infty$, so every ideal $\aA$ of $A$ is a $K$-subspace of $A$, because if $x \in \aA$ and $c \in K$, then $c \cdot x \in \aA$.
2490
2491 \begin{enumerate}
2492 \item Noetherian:\\
2493 let $I_1 \subseteq I_2 \subseteq \ldots$ be an ascending chain of ideals in $A$.
2494
2495 Since each $I_i$ is a subspace, we have
2496 $$dim_K(I_1) \leq dim_K(I_2) \leq \ldots \leq n$$
2497 where at some $i=m$ we have $dim_K(I_m)=dim_K(I_{m+1})$; then since $I_m \subseteq I_{m+1}$, we have $I_m = I_{m+1}$. So $A$ is Noetherian.
2498
2499 \item Artinian:\\
2500 Similarly, if $I_1 \supseteq I_2 \supseteq \ldots$ a descending chain of ideals in $A$.
2501
2502 then
2503 $$n \geq dim_K(I_1) \geq dim_K(I_2) \geq \ldots \geq 0$$
2504 where at some $i=m$ we have $dim_K(I_m)=dim_K(I_{m+1})$; then since $I_m \subseteq I_{m+1}$, we have $I_m = I_{m+1}$. So $A$ is Artinian.
2505 \end{enumerate}
2506\end{proof}
2507
2508\begin{ex}{R.3.5}
2509 Let $0 \longrightarrow L \stackrel{\alpha}{\longrightarrow} M \stackrel{\beta}{\longrightarrow} N \longrightarrow 0$ an exact sequence. Let $M_1, M_2 \subseteq M$ be submodules of $M$.
2510
2511 Prove if the following holds or not:
2512 $$\beta(M_1)=\beta(M_2) ~\text{and}~ \alpha^{-1}(M_1)=\alpha^{-1}(M_2)~~\Longrightarrow~ M_1=M_2$$
2513\end{ex}
2514\begin{proof}
2515 Counterexample showing that it does not hold:
2516
2517 Let $K$ a field, $M = K \oplus K~, L=K,~N=K$.
2518
2519 Set, for $l \in L,~ (m_1, m_2) \in M$,
2520 \begin{align*}
2521 \alpha:~ &l \longmapsto (l, 0)\\
2522 \beta:~ &(m_1, m_2) \longmapsto m_2
2523 \end{align*}
2524
2525 So we have
2526 $$0 \longrightarrow K \stackrel{\alpha}{\longrightarrow} K^2 \stackrel{\beta}{\longrightarrow} K \longrightarrow 0$$
2527
2528 Then,
2529 \begin{align*}
2530 M_1 &= \{ (x, x) ~|~ x \in K\} ~~~~\sim\text{(diagonal line)} \\
2531 M_2 &= \{ (0, x) ~|~ x \in K\} ~~~~\sim\text{(y-axis)}
2532 \end{align*}
2533
2534 (Geometric interpretation: $M_1,~ M_2$ are the \emph{diagonal line} and \emph{y-axis} respectively; and $\alpha,~\beta$ capture information about the \emph{vertical} components (x-axis, y-axis respectively), but not about the \emph{diagonal} way a submodule is embedded in $M$).
2535
2536 Then,
2537 \begin{align*}
2538 \beta(M_1) &= \{ x ~|~ x \in K\} = K \\
2539 \beta(M_2) &= \{ x ~|~ x \in K\} = K
2540 \end{align*}
2541 thus, $\beta(M_1) = \beta(M_2)$.
2542
2543 For $M_1,~~ (l,0)\in M$ iff $l=0$, thus $\alpha^{-1}(M_1) = \{0\}$,\\
2544 for $M_2,~~ (l,0)\in M$ iff $l=0$, thus $\alpha^{-1}(M_2) = \{0\}$,\\
2545 thus $\alpha^{-1}(M_1)=\alpha^{-1}(M_2)$.
2546
2547
2548 So we've seen that
2549 \begin{align*}
2550 \beta(M_1) = \beta(M_2)\\
2551 \alpha^{-1}(M_1)=\alpha^{-1}(M_2)
2552 \end{align*}
2553 while having $M_1 \neq M_2$.
2554\end{proof}
2555
2556
2557
2558\begin{ex}{R.3.3}
2559Let $A$ a ring, $I_1, \ldots, I_k$ ideals such that each $A/I_i$ is a Noetherian ring.
2560Prove that $\bigoplus A/I_i$ is a Noetherian $A$-module, and deduce that if $\bigcap I_i = 0$ then $A$ is also Noetherian.
2561\end{ex}
2562\begin{proof}
2563\begin{enumerate}[i.]
2564 \item by Corollary \ref{R.3.5} (i), if $M_i$ Noetherian modules, then $\bigoplus M_i$ is Noetherian.
2565 $\Longrightarrow$ thus $\bigoplus A/I_i$ is Noetherian.
2566 \item Take the canonical homomorphism
2567 $$\phi: A \longrightarrow \bigoplus_{i=1}^n A/ I_i$$
2568 by $\phi(a) = (a+I_1, a+I_2, \ldots, a+I_n)$.
2569
2570 $\phi$ is injective: $ker(\phi)= \{ a \in A | a \in I_i \forall i \}$.
2571
2572 Since we're given $\cap I_i = 0$, then $ker(\phi)=\cap I_i$, and $\phi$ is injective.
2573
2574 Thus, $\phi$ is the isomorphism $A \cong im(\phi)$, where $im(\phi)$ is an $A$-submodule of $\bigoplus A/I_i$.
2575
2576 We know that any submodule of a Noetherian module is Noetherian, thus, since
2577 \begin{itemize}
2578 \item $A/I_i$ is Noetherian by hypothesis of the exercise
2579 \item $A \cong im(\phi)$
2580 \item $im(\phi)$ is an $A$-submodule of $\bigoplus A/I_i$
2581 \end{itemize}
2582 then, $A$ is Noetherian.
2583\end{enumerate}
2584\end{proof}
2585
2586\begin{ex}{R.3.4}
2587 Prove that if A is a Noetherian ring and M a finite A-module, then there
2588 exists an exact sequence $A^q \stackrel{\alpha}{\longrightarrow} A^p \stackrel{\beta}{\longrightarrow} M \longrightarrow 0$.
2589 That is, M has a presentation as an A-module in terms of finitely many generators and relations.
2590\end{ex}
2591\begin{proof}
2592 since $M$ fingen $~\Longrightarrow~$ generators $\{m_1, \ldots, m_2 \} \subseteq M$ span $M$.
2593
2594 Let $\beta$ be a surjective $A$-linear map, which forms a free $A$-module of rank $p$ onto $M$:
2595 \begin{align*}
2596 \beta: A^p &\longrightarrow M\\
2597 (a_1, \ldots, a_p) &\longmapsto \sum_{i=1}^p a_i m_i
2598 \end{align*}
2599
2600 Let $K=ker(\beta)$. By the 1st Isomorphism Theorem,
2601 $$M \cong A^p / K$$
2602
2603 Since $A$ is a Noetherian ring, then every free $A$-module of finite rank (eg. $A^p$) is a Noetherian module.
2604
2605 Every submodule of a Noetherian module is fingen.
2606
2607 $\Longrightarrow~$ since $K \subseteq A^p, ~\Longrightarrow~ K ~~(=ker(\beta))$ is fingen.
2608
2609 Since $K$ fingen, let $\{k_1, \ldots, l_q\}$ be generators of $K$.
2610
2611 Define $\psi: A^q \longrightarrow K$.
2612
2613 Compose it with the inclusion map $i: K \longrightarrow A^p$,
2614 $$\alpha = i \circ \psi:~ A^q \longrightarrow A^p$$
2615
2616 So we have the whole sequence $A^q \stackrel{\alpha}{\longrightarrow} A^p \stackrel{\beta}{\longrightarrow} M \longrightarrow 0$, where
2617 \begin{itemize}
2618 \item $\beta$ is surjective
2619 \item $im(\alpha)=ker(\beta)$
2620 \end{itemize}
2621 so that it is a exact sequence, thus, $M$ has a finite presentation.
2622\end{proof}
2623
2624\subsection{Exercises Chapter 4}
2625
2626\begin{ex}{R.4.1.a}
2627 $k[X^2] \subset k[X]$ is a finite extension, hence integral. Find the integral dependence relation for any $f \in k[X]$.
2628\end{ex}
2629\begin{proof}
2630 $\forall f(X) \in k[X]$ can be uniquely decomposed into its even and odd parts:
2631 $$f(X) = p(X^2) + X \cdot q(X^2)$$
2632
2633 with $p(X^2),~ q(X^2) \in k[X^2]$, and\\
2634 $p(X^2)$: sum of all terms with even exponents\\
2635 $q(X^2)$: sum of all terms with odd exponents, and then factoring out $X$.
2636
2637 \vspace{0.3cm}
2638 (Observation: this is used in FRI cryptographic protocol\\
2639 \href{https://github.com/arnaucube/math/blob/master/notes_fri_stir.pdf}{https://github.com/arnaucube/math/blob/master/notes\_fri\_stir.pdf})
2640
2641
2642 Rearrange it
2643 \begin{align*}
2644 f(X) &- p(X^2) = X \cdot q(X^2), ~~\text{square:}\\
2645 (f(X) &- p(X^2))^2 = X^2 \cdot q(X^2)^2\\
2646 f(X)^2-2 p(X^2) f(X) &+ p(X^2)^2 = X^2 \cdot q(X^2)^2\\
2647 f(X)^2 \underbrace{-[2 p(X^2)]}_{a_1} f(X) &+ \underbrace{[p(X^2)^2 - X^2 \cdot q(X^2)^2]}_{a_0} = 0
2648 \end{align*}
2649
2650 Denote the last polynomial as $P(T) \in k[X^2]$, where $f(X)$ is a root of $P(T)$.
2651
2652 \vspace{0.2cm}
2653 The integral dependence relation for any $f \in k[X]$ is given by the monic polynomial from \ref{R.4.1}.ii, in this case $T^2 + a_1 T + a_0 = 0$ with $a_i \in k[X^2]$.
2654
2655 We have that
2656 \begin{align*}
2657 a_1 &= -2 p(X^2)\\
2658 a_0 &= p(X^2)^2 - X^2 q(X^2)^2
2659 \end{align*}
2660
2661
2662 So for example, for $f(X)= X^3 + X^2 + X + 1$:
2663 \begin{align*}
2664 f(X) = (X^2 + 1) &+ X (X^2 + 1)\\
2665 (f(X) - (X^2+1))^2 &= X^2 (X^2 + 1)^2\\
2666 (f(X) - p(X))^2 &= X^2 (q(X))^2
2667 \end{align*}
2668\end{proof}
2669
2670
2671\begin{ex}{R.4.5}
2672 Let $A=k[X,Y]/(Y^2 - X^2 - X^3)$. Prove that the normalization of $A$ is $k[t]$ where $t=Y/X$.
2673\end{ex}
2674\begin{proof}
2675$A=k[X,Y]/(Y^2 - X^2 - X^3)$, express $X$ and $Y$ in terms of $t$:
2676
2677Since $t=Y/X$ then $Y=tX$, and combined with $Y^2 = X^2 + X^3$, then
2678\begin{align*}
2679 (tX)^2 &= X^2 + X^3\\
2680 t^2 X^2 &= X^2 + X^3, ~~\text{assuming}~X \neq 0:\\
2681 t^2 &= 1+X, ~\text{thus}\\
2682 X&=t^2-1 \in k[X]
2683\end{align*}
2684
2685Then, $Y=tX=t(t^2-1)=t^3-t \in k[X]$.
2686
2687Hence $X, Y \in k[X]$.
2688
2689Therefore, $k[X,Y]/(Y^2 - X^2 - X^3) \subseteq k[t]$.
2690
2691\vspace{0.4cm}
2692By \ref{noether-normalization} (Noether normalization lemma), to show that $k[t]$ is the \emph{normalization}, must show that $k[t]$ is \emph{integral} over $A$.
2693
2694From $X=t^2-1 ~~\Longrightarrow~~ t^2-1-X=0 ~~\Longrightarrow~ t^2 - (1+X) = 0$.
2695
2696$(1+X) \in A$, so $t$ satisfies the monic polynomial
2697$$P(T) = T^2 - (1+X) \in A[T]$$
2698Thus $t$ is integral over $A$.
2699
2700Since $k[t]$ is generated by $t$ over $k$, and $k \subset A$, then the entire ring $k[t]$ is integral over $A$.
2701
2702Since $k[t]$ is a polynomial ring over a field, which is a UFD, it is integrally closed (since all UFD are integrally closed).
2703
2704$Frac A = k(X,Y)$, since $X=t^2-1, ~Y=t^3-t ~~\Longrightarrow~ k(X,Y) \subseteq k(t)$
2705
2706and $t=Y/X \in k(X,Y)$, thus $k(X,Y)=k(t)$.
2707
2708Since $k[t]$ is integrally closed and is the integral closure of $A$ in its fraction field $k(t)$, we conclude that the normalization of $A$ is $k[t]$.
2709\end{proof}
2710
2711
2712
2713\begin{ex}{R.4.9}
2714 $k$ a field, $A= k[X,Y,Z]/(X^2- Y^3 -1, XZ - 1)$, find $\alpha, \beta \in k$ such that $A$ is integral over $B = k[X + \alpha Y + \beta z]$, and write a set of generators of $A$ as a $B$-module.
2715\end{ex}
2716\begin{proof}
2717 (want to find a linear combination of the coordinates such that the original variables satisfy monic polynomials over the new ring $B$)
2718
2719 The relations defining $A$ are
2720 \begin{align*}
2721 X^2-Y^3-1=0 ~~&\Longrightarrow~ Y^3 = X^2 -1 ~~~(*)\\
2722 XZ -1=0 ~~&\Longrightarrow~ Z= 1/X = X^{-1}
2723 \end{align*}
2724
2725Thus $A$ can be denoted as $A = k[X,Y,X^{-1}]/(Y^3 - X^2 - 1)$.
2726
2727
2728Now, $Y$ is inegral over $k[X]$, since $Y^3 - (X^2 - 1) = 0$ is monic in $Y$ with coefficients in $k[X]$.
2729
2730$Z$ is not integral over $k[X]$, since $Z=1/X$ and $X$ is not a unit in $k[X]$.
2731
2732Choose $\alpha, \beta \in k$ such that $X$ (and thus $Z$) becomes integral over $B$:\\
2733set $\alpha=0,~\beta=1 ~~\Longrightarrow~~ B=k[X+\alpha Y + \beta Z]= k[X+Z]$.
2734
2735Let $w=X+Z$; since $XZ=1$, we have
2736$$w=X+\frac{1}{X} ~~\Longrightarrow~~ Xw=X^2+1 ~~\Longrightarrow~~ X^2 -w X +1 = 0 ~~(**)$$
2737
2738which is monic with coefficients in $k[w]$, thus $X$ is integral over $B$.
2739
2740Since $Z=w-X$, $Z$ is also integral.
2741
2742\vspace{0.4cm}
2743Generators of $A$ as a $B$-module:
2744
2745we hadd $B=k[w]$ with $w=X+Z$.
2746
2747From $(**)$ we have $X^2 - wX + 1=0$, so $X^2 = wX -1$.
2748
2749Thus any polynomial in $X$ can be reduced to a linear form $b_1 X + b_0$ with $b_i \in k[w]$. Hence it's partial basis is $\{1, X\}$.
2750
2751Fitting $X^2$ into $(*)$,
2752\begin{align*}
2753 X^2 &- Y^3 -1 =0\\
2754 Y^3 &= X^2-1\\
2755 Y^3 &= wX -2
2756\end{align*}
2757
2758thus any power of $Y$ higher than $2$ can be reduced (eg. $Y^4 = Y(wX-2) = w(XY) - 2Y$).
2759
2760So its partial basis is $\{1, Y, Y^2\}$.
2761
2762For $Z$, since $XZ=1$ and $w=X+Z \Longrightarrow Z=w-X$, thus $Z$ is a $B$-linear combination of $\{1,X\}$.
2763
2764\vspace{0.2cm}
2765Combining the previous partial basis, the generators are
2766$$\{ 1, X \} \times \{ 1,Y, Y^2 \} = \{ 1, Y, Y^2, X, XY, XY^2 \}$$
2767
2768\end{proof}
2769
2770
2771\subsection{Exercises Chapter 6}
2772
2773\begin{ex}{R.6.3.a}
2774 Let $A = A' \times A''$; prove that $A'$ and $A''$ are rings of fractions of $A$.
2775\end{ex}
2776\begin{proof}
2777 ring of fractions of $A$ = $S^{-1}A$, so want to prove that $S^{-1}A \cong A'$.
2778
2779 Localization map
2780 \begin{align*}
2781 \psi: A &\longrightarrow A'\\
2782 (a', a'') &\longmapsto a'
2783 \end{align*}
2784
2785 note that $\psi$ is surjective, since $\forall~ a' \in A',~ \psi(a', 0)=a'$.
2786
2787 Let the multiplicative set $S$ be $S=\{ e_1 \}$ with $e_1 = (1,0)$.
2788
2789 Want $\underbrace{S^{-1}A}_{\text{localization}} \cong A'$.
2790
2791 In $S^{-1}A$, $x \in A$ maps to $0$ iff $s x = 0$ for some $s \in S$.
2792
2793 Let $x=(a', a'')\in A$; then $sx=0 ~\Longrightarrow~ s \cdot (a', a'') =0$,
2794
2795 with $s \in S$, so $s=(1,0)$, hence
2796 $$(1,0)\cdot(a',a'')=(0,0)$$
2797 $$\Longrightarrow~ (a', 0) = (0, 0)$$
2798 \hspace*{4em} which implies $a' = 0$, so that $(a', a'')=(0, a')$.
2799
2800 $\Longrightarrow$ the elements that become zero in the localization are of the form $(0, a'')$
2801
2802 $$ker(\psi) = \{ (a',a'')\in A ~|~ \psi(a', a'')=0 \} = \{(0, a'') ~|~ a'' \in A'' \}$$
2803
2804 By the 1st isomorphism theorem,
2805
2806 \begin{tikzpicture}[node distance=1.5cm, auto]
2807 \node (G) {$A$};
2808 \node (H) [right of=G] {$A'$};
2809 \node (GmodK) [below of=G, xshift=0.75cm] {$\frac{A}{ker(\psi)}$};
2810
2811 \draw[->] (G) to node {$\psi$} (H);
2812 \draw[->] (G) to node [swap] {$\phi$} (GmodK);
2813 \draw[<->] (GmodK) to node [swap] {$\eta$} (H);
2814 \end{tikzpicture}
2815
2816 $\Longrightarrow~ \frac{A}{ker(\psi)} \cong A'$
2817
2818
2819 \vspace{0.5cm}
2820 Take the localization map
2821 \begin{align*}
2822 \phi: A &\longrightarrow S^{-1}A\\
2823 a &\longmapsto a/1
2824 \end{align*}
2825
2826 $$ker(\phi) = \{ x \in A ~|~ sx=0 ~\text{for some}~ s \in S \}$$
2827
2828 and we've seen that $a'=0$, so $x \in A ~\Rightarrow~ x=(a', a'') = (0, a'')$
2829
2830 $$ker(\phi) = \{ (0, a'') ~|~ a'' \in A'' \}$$
2831
2832 which is the same as $ker(\psi)$; $ker(\psi) = ker(\phi)$.
2833
2834 \vspace{0.2cm}
2835 $\Longrightarrow~~ A'$ and $S^{-1}A$ are both surjective images of $A$ with exact same kernel,
2836 thus $A' \cong S^{-1}A$.
2837\end{proof}
2838
2839\begin{ex}{R.6.4}
2840 \begin{enumerate}[a.]
2841 \item Give an example of a ring $A$ and distinct multiplicative sets $S,~ T$ such that $S^{-1}A = T^{-1}A$.
2842 \item Prove that for fixed $S$, there is a maximal multiplicative set $T$ with this property defined by
2843 $$T = \{ t \in A ~|~ at \in S ~\text{for some}~ a \in A \}$$
2844 \end{enumerate}
2845\end{ex}
2846\begin{proof}
2847 \begin{enumerate}[a.]
2848 \item
2849 (\emph{saturated sets})\\
2850
2851 General rule of saturation:\\
2852 two multiplicative sets $S,~T$ yield the same localization, $S^{-1}A = T^{-1}A$, iff the have the same saturation.
2853
2854 Saturation of $S$: $\hat{S}$, set of all elements in $A$ that divide some element of $S$:
2855 $$\hat{S} = \{ a \in A ~|~ \exist~ b \in A ~\text{s.th.}~ ab \in S \}$$
2856
2857 \vspace{0.4cm}
2858 Example 1: $A=\mathbb{Z}$,\\
2859
2860 $$S = \{ 2^n ~|~ n \geq 0 \} = \{ 1, 2, 4, 8, 16, \ldots \}$$
2861 localization:
2862 $$S^{-1} \mathbb{Z} = \{ \frac{a}{2^n} ~|~ a \in \mathbb{Z},~ n \in \mathbb{N} \}$$
2863
2864 $$T = \{ \pm 1, \pm 2, \pm 4, \pm 8, \pm 16, \ldots \}$$
2865
2866 Notice that despite $S \neq T$, we have $S^{-1}\mathbb{Z} = T^{-1} \mathbb{Z}$,\\
2867 since once $n \in \mathbb{Z}$ is invertible, $-n$ is automatically invertible: $(-n)^{-1} = - (n^{-1})$.
2868
2869 \vspace{0.4cm}
2870 Example 2: $A= k[x]$,
2871 $$S = \{ x^n ~|~ n \geq 0 \}$$
2872 $$T = \{ (2x)^n ~|~ n \geq 0 \}$$
2873 $$\Longrightarrow~ S^{-1}A = T^{-1} A = k[x, x^{-1}]$$
2874
2875 \item
2876 Show that $T$ is a multiplicative set:
2877
2878 (must contain $1$ and be closed under multiplication)\\
2879 Since $1 \in A$ and $1 \cdot 1 = 1 \in S$, then $1 \in T$.
2880
2881 Let $t_1,~ t_2 \in T$; by definition of $T$,
2882 $$\exists~ a_1, a_2 \in A ~\text{such that}~ a_1 t_1,~ a_2 t_2 \in S$$
2883
2884 Since $S$ a multiplicative set, $(a_1 t_1)(a_2 t_2) \in S$\\
2885 rearrange it: $(a_1 a_2)(t_1 t_2) \in S$.\\
2886 Since $a_1 a_2 \in A,~~ t_1 t_2 \in T$.
2887
2888 Thus $T$ is a multiplicative set.
2889
2890 Next, we show that $T$ is maximal:
2891
2892 Suppose $U$ is the maximal instead of $T$, such that $U^{-1}A \cong S^{-1}A$.
2893
2894 Let $u \in U$; the image of $u$ in $S^{-1}A$ must be a unit.
2895
2896 Units in $S^{-1}A$ are the fractions $\frac{s}{a}$ such that their inverse exists.\\
2897 \hspace*{2em} $\exist~ x=\frac{a}{s}$ such that $u \frac{a}{s} = \frac{1}{1}$\\
2898 \hspace*{2em} $\Longrightarrow~ \frac{ua}{s} = \frac{1}{1} ~\Longrightarrow~ \exist s' \in S$ such that $s'(ua-s)=0$\\
2899 $\Longrightarrow~ s'ua=s's \in S$
2900
2901 since $s,s' \in S$, their product is also in $S$.
2902
2903 Let $b=s'a$, then $ub \in S$.
2904
2905 By definition of $T$, $u \in T$.
2906
2907 Therefore, $U \subseteq T$; thus $T$ is maximal.
2908\end{enumerate}
2909\end{proof}
2910
2911
2912\bibliographystyle{unsrt}
2913\bibliography{commutative-algebra-notes.bib}
2914
2915\end{document}