From 9a68b08be274f83289c2dde055c3c84815f5a715 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= Date: Wed, 16 Feb 2022 01:22:20 +0100 Subject: [PATCH] replace \E -> \exists --- 2021_Algebra_I.tex | 38 +++++++++++++++++++------------------- 1 file changed, 19 insertions(+), 19 deletions(-) diff --git a/2021_Algebra_I.tex b/2021_Algebra_I.tex index 64c5114..b9585be 100644 --- a/2021_Algebra_I.tex +++ b/2021_Algebra_I.tex @@ -45,7 +45,7 @@ Fields which are not assumed to be algebraically closed have been renamed (usual \end{enumerate} This subset of $N \subseteq M$ is called the \vocab[Module!Submodule]{submodule of $M $ generated by $S$}. If $N= M$ we say that \vocab[Module!generated by subset $S$]{$ M$ is generated by $S$}. - $M$ is finitely generated $:\iff \E S \subseteq M$ finite such that $M$ is generated by $S$. + $M$ is finitely generated $:\iff \exists S \subseteq M$ finite such that $M$ is generated by $S$. \end{definition} \begin{definition}[Noetherian $R$-module] @@ -176,7 +176,7 @@ This generalizes some facts about matrices to matrices with elements from commut \begin{proposition}[on integral elements]\label{propinte} Let $A$ be an $R$-algebra, $a \in A$. Then the following are equivalent: \begin{enumerate}[A] - \item $\E n \in \N, (r_i)_{i=0}^{n-1}, r_i \in R: a^n = \sum_{i=0}^{n-1} r_i a^i$ + \item $\exists n \in \N, (r_i)_{i=0}^{n-1}, r_i \in R: a^n = \sum_{i=0}^{n-1} r_i a^i$ \item There exists a subalgebra $B \subseteq A$ finite over $R$ and containing $a$. \end{enumerate} If $a_1, \ldots, a_k \in A$ satisfy these conditions, there is a subalgebra of $A$ finite over $R$ and containing all $a_i$. @@ -223,7 +223,7 @@ This generalizes some facts about matrices to matrices with elements from commut From B it follows, that the integral closure is closed under ring operations. \item[S] trivial \item[T] Let $b \in B$ such that $b^n = \sum_{i=0}^{n-1} a_ib^{i}$. Then there is a subalgebra $\tilde{A} \subseteq A$ finite over $R$, such that all $a_i \in \tilde{A}$. - $b$ is integral over $\tilde{A} \implies \E \tilde{B} \subseteq B$ finite over $\tilde{A}$ and $b \in \tilde{B}$. Since $\tilde{B} / \tilde{A} $ and $\tilde{A} / R$ are finite, $\tilde{B} / R$ is finite and $b$ satisfies B. + $b$ is integral over $\tilde{A} \implies \exists \tilde{B} \subseteq B$ finite over $\tilde{A}$ and $b \in \tilde{B}$. Since $\tilde{B} / \tilde{A} $ and $\tilde{A} / R$ are finite, $\tilde{B} / R$ is finite and $b$ satisfies B. \end{enumerate} \end{proof} @@ -251,7 +251,7 @@ This generalizes some facts about matrices to matrices with elements from commut Let $B$ be a field and $a \in A \sm \{0\} $. Then $a\inv \in B$ is integral over $A$, hence $a^{-d} = \sum_{i=0}^{d-1} \alpha_i a^{-i}$ for some $\alpha_i \in A$. Multiplication by $a^{d-1}$ yields $a\inv = \sum_{i=0}^{d-1} \alpha_i a^{d-1-i} \in A$. - On the other hand, let $B$ be integral over the field $A$. Let $b \in B \sm \{0\}$. As $B$ is integral over $A$, there is a sub-$A$-algebra $\tilde{B} \subseteq B, b \in \tilde{B}$ finitely generated as an $A$-module, i.e. a finite-dimensional $A$-vector space. Since $B$ is a domain, $\tilde{B} \xrightarrow{b\cdot } \tilde{B}$ is injective, hence surjective, thus $\E x \in \tilde{B} : b \cdot x \cdot 1$. + On the other hand, let $B$ be integral over the field $A$. Let $b \in B \sm \{0\}$. As $B$ is integral over $A$, there is a sub-$A$-algebra $\tilde{B} \subseteq B, b \in \tilde{B}$ finitely generated as an $A$-module, i.e. a finite-dimensional $A$-vector space. Since $B$ is a domain, $\tilde{B} \xrightarrow{b\cdot } \tilde{B}$ is injective, hence surjective, thus $\exists x \in \tilde{B} : b \cdot x \cdot 1$. \end{proof} \subsection{Noether normalization theorem} \begin{lemma}\label{nntechlemma} @@ -474,8 +474,8 @@ As $\Va(0) = \mathfrak{k}$ and $\Va(P)$ finite for $P \neq 0$ and $\{x_1,\ldots, \begin{definition} Let $X$ be a topological space. $X$ satisfies the separation properties $T_{0-2}$ if for any $x \neq y \in X$ \begin{enumerate} - \item[$T_0$ ] $\E U \subseteq X$ open such that $|U \cap \{x,y\}| = 1$ - \item[$T_1$ ] $\E U \subseteq X$ open such that $x \in U, y \not\in U$. + \item[$T_0$ ] $\exists U \subseteq X$ open such that $|U \cap \{x,y\}| = 1$ + \item[$T_1$ ] $\exists U \subseteq X$ open such that $x \in U, y \not\in U$. \item[$T_2$ ] There are disjoined open sets $U, V \subseteq X$ such that $x \in U, y \in V$. (Hausdorff) \end{enumerate} \end{definition} @@ -981,7 +981,7 @@ Let $R = \mathfrak{k}[X_1,\ldots,X_n]$. \begin{figure}[H] \centering \begin{tikzcd} - R \arrow{r}{i}\arrow{d}{j}& R_S \arrow[dotted]{ld}{\Eone \iota}\\ + R \arrow{r}{i}\arrow{d}{j}& R_S \arrow[dotted]{ld}{\existsone \iota}\\ T \end{tikzcd} \end{figure} @@ -990,7 +990,7 @@ Let $R = \mathfrak{k}[X_1,\ldots,X_n]$. \begin{proof} The construction is similar to the construction of the field of quotients: - Let $R_S \coloneqq (R \times S) / \sim $, where $(r,s) \sim (\rho, \sigma) : \iff \E t \in S ~ t \sigma r = ts\rho$.\footnote{$t$ does not appear in the construction of the field of quotients, but is important if $S$ contains zero divisors.} + Let $R_S \coloneqq (R \times S) / \sim $, where $(r,s) \sim (\rho, \sigma) : \iff \exists t \in S ~ t \sigma r = ts\rho$.\footnote{$t$ does not appear in the construction of the field of quotients, but is important if $S$ contains zero divisors.} $[r,s] + [\rho, \sigma] \coloneqq [r\sigma + \rho s, s \sigma]$, $[r,s] \cdot [\rho, \sigma] \coloneqq [r \cdot \rho, s \cdot \sigma]$. In order proof the universal property define $\iota([r,s]) \coloneqq \frac{j(r)}{j(s)}$. @@ -998,7 +998,7 @@ Let $R = \mathfrak{k}[X_1,\ldots,X_n]$. \end{proof} \begin{remark} - $i$ is often not injective and $\Ker(i) = \{r \in R | \E s \in S ~ s \cdot r = 0\} $. + $i$ is often not injective and $\Ker(i) = \{r \in R | \exists s \in S ~ s \cdot r = 0\} $. In particular $(r = 1)$, $R_S$ is the null ring iff $0 \in S$. \end{remark} \begin{notation} @@ -1085,8 +1085,8 @@ Because the elements of $S$ become units in $R_S$, $J \sqcap R$ is an $S$-satura \centering \begin{tikzcd} R \arrow{r}{\tau}\arrow[swap]{d}{\pi_{R,I}}& T & R\arrow[swap]{l}{\tau}\arrow{d}{}\\ - R / I \arrow[dotted]{ru}{\Eone \tau_1}\arrow{d}{} & & R_S \arrow[dotted, swap]{lu}{\Eone \tau_3}\arrow{d}{\pi_{R_S, I_S}}\\ - (R / I)_{\overline{S}} \arrow[dotted,bend right]{ruu}{\Eone \tau_2} & & R_S / I_S \arrow[dotted, bend left, swap]{luu}{\Eone \tau_4}\\ + R / I \arrow[dotted]{ru}{\existsone \tau_1}\arrow{d}{} & & R_S \arrow[dotted, swap]{lu}{\existsone \tau_3}\arrow{d}{\pi_{R_S, I_S}}\\ + (R / I)_{\overline{S}} \arrow[dotted,bend right]{ruu}{\existsone \tau_2} & & R_S / I_S \arrow[dotted, bend left, swap]{luu}{\existsone \tau_4}\\ \end{tikzcd} \end{figure} @@ -1148,7 +1148,7 @@ Then \[ \[ c + \trdeg(\fK(X) / \mathfrak{k}) = c + \trdeg(\mathfrak{k}(\fp_0) / \mathfrak{k}) \le \trdeg(\mathfrak{k}(\fp_c) / \mathfrak{k}) = \trdeg(\fK(Y) / \mathfrak{k}) \] - As $\codim(X,Y) = \sup \{c \in \N | \E X = X_0 \subsetneq \ldots \subsetneq X_c = Y \text{ irreducible, closed}\}$ it follows that + As $\codim(X,Y) = \sup \{c \in \N | \exists X = X_0 \subsetneq \ldots \subsetneq X_c = Y \text{ irreducible, closed}\}$ it follows that $$\codim(X,Y) \le \trdeg(\fK(Y) / \mathfrak{k}) - \trdeg(\fK(X) / \mathfrak{k})$$ \end{proof} \begin{corollary}\label{upperbounddim} @@ -1282,7 +1282,7 @@ Many questons of commutative algebra are easier in the case of local rings. Loca \begin{figure}[H] \centering \begin{tikzcd} - R \arrow{r}{\rho}\arrow[hookrightarrow]{d}{\subseteq}& R_\fp \arrow[hookrightarrow, dotted]{d}{\Eone i}\\ + R \arrow{r}{\rho}\arrow[hookrightarrow]{d}{\subseteq}& R_\fp \arrow[hookrightarrow, dotted]{d}{\existsone i}\\ A \arrow{r}{\alpha} & A_\fp \end{tikzcd} \end{figure} @@ -1412,7 +1412,7 @@ Recall the definition of a normal field extension in the case of finite field ex \begin{proposition}\label{characfixnormalfe} Let $L / K$ be a normal field extension. If the characteristic of the fields is $O$, then $L^{\Aut( L / K)} = K$. - If the characteristic is $p > 0$, then $L^{\Aut(L / K)} = \{l \in L | \E n \in \N ~ l^{p^n} \in K\}$. + If the characteristic is $p > 0$, then $L^{\Aut(L / K)} = \{l \in L | \exists n \in \N ~ l^{p^n} \in K\}$. \end{proposition} \begin{proof} In both cases $L^G \supseteq$ is easy to see. @@ -1730,7 +1730,7 @@ From the fact about integrality and fields (\ref{fintaf}), it follows that $A_1 \end{notation} \begin{proposition}[Nil radical] - For a ring $A$, $\bigcap_{\fp \in \Spec A} \fp = \sqrt{\{0\} } = \{a \in A | \E k \in \N ~ a^k = 0\} \text{\reflectbox{$\coloneqq$}} \nil(A)$, the set of nilpotent elements of $A$. + For a ring $A$, $\bigcap_{\fp \in \Spec A} \fp = \sqrt{\{0\} } = \{a \in A | \exists k \in \N ~ a^k = 0\} \text{\reflectbox{$\coloneqq$}} \nil(A)$, the set of nilpotent elements of $A$. This is called the \vocab{nil radical} of $A$. \end{proposition} \begin{proof} @@ -2661,7 +2661,7 @@ If $X$ is a set, then $\cB \subseteq \cP(X)$ is a base for some topology on $X$ \begin{figure}[H] \centering \begin{tikzcd} - \cO_X(X) \arrow{d}{\cdot |_U}\arrow{r}{x \mapsto \frac{x}{1}} & \cO_X(X)_\lambda \arrow[dotted, bend left]{dl}{\Eone \phi} \\ + \cO_X(X) \arrow{d}{\cdot |_U}\arrow{r}{x \mapsto \frac{x}{1}} & \cO_X(X)_\lambda \arrow[dotted, bend left]{dl}{\existsone \phi} \\ \cO_X(U) & \end{tikzcd} \hspace{50pt} @@ -2769,7 +2769,7 @@ If $X$ is a set, then $\cB \subseteq \cP(X)$ is a base for some topology on $X$ \begin{figure}[H] \centering \begin{tikzcd} - A \arrow{r}{} \arrow{d}{\lambda \mapsto \lambda_x} & A_{\mathfrak{m}_x} \arrow[dotted, bend left]{ld}{\Eone \iota} \\ + A \arrow{r}{} \arrow{d}{\lambda \mapsto \lambda_x} & A_{\mathfrak{m}_x} \arrow[dotted, bend left]{ld}{\existsone \iota} \\ \cO_{X,x} \end{tikzcd} \end{figure} @@ -2858,7 +2858,7 @@ For $s_1 \neq s_2$, % TODO Noether normalization: $a_i \in A$ minimal such that $A$ is integral over the subalgebra genereted by the $a_i$. -Suppose $\E P \in K[X_1,\ldots,X_n] \sm \{ 0\} ~ P(a_1,\ldots,a_n) = 0$. $P = \sum_{\alpha \in \N^n} p_\alpha X^\alpha, S \coloneqq \{ \alpha \in \N^n | p_\alpha \neq 0\}$. +Suppose $\exists P \in K[X_1,\ldots,X_n] \sm \{ 0\} ~ P(a_1,\ldots,a_n) = 0$. $P = \sum_{\alpha \in \N^n} p_\alpha X^\alpha, S \coloneqq \{ \alpha \in \N^n | p_\alpha \neq 0\}$. Choose $k$ as in the lemma. $b_i \coloneqq a_{i+1} - a_1^{k_{i+1}}, 1 \le i