Riemann surface
matlab

还在面临交换代数的学习挑战吗?别担心!我们的commutative-algebra-guide团队专业为您解决环论、模论、整体函数环等方面的问题。我们拥有深厚的专业背景和丰富的经验,能帮您完成高水平的作业和论文,让您的学习之路一帆风顺!

以下是一些我们可以帮助您解决的问题:

环和模:环的定义、性质和分类,模的定义和性质,如交换环、域、无零因子环等。

环同态和理想:环同态的定义、性质和应用,理想的定义、性质和分类,如极大理想、主理想等。

域论:域的定义、性质和扩域,域的结构和分类,如代数闭域、有限域等。

整体函数环:整体函数环的定义和性质,整体函数环上的运算和理想,整体函数环与代数几何的关系。

代数簇:代数簇的定义和性质,代数簇上的函数环和理想,代数簇的几何性质和分类。

无论您面临的交换代数问题是什么,我们都会尽力为您提供专业的帮助,确保您的学习之旅顺利无阻!

问题 1.

Exercise 1.12.
i) $a \subseteq(a: b)$.
For each $a \in a$ we have $a b \subseteq \mathfrak{a b} \subseteq \mathfrak{a}$, so $a \in(\mathfrak{a}: \boldsymbol{b})$.
ii) $(\boldsymbol{a}: \mathbf{b}) \mathbf{b} \subseteq \mathfrak{a}$.
By definition, for $x \in(\mathfrak{a}: \mathbf{b})$ we have $x \mathfrak{b} \subseteq \mathfrak{a}$.
iii) $((a: b): c)=(a: b c)=((a: c): b)$.
$$
\begin{aligned}
& x \in((\mathfrak{a}: \mathbf{b}): \mathbf{c}) \Longleftrightarrow x \mathbf{c} \subseteq(\mathbf{a}: \mathfrak{b}) \Longleftrightarrow x \mathfrak{c b} \subseteq \mathfrak{a} \Longleftrightarrow x \in(\mathfrak{a}: \mathbf{b} c) ; \
& x \in((\mathfrak{a}: \mathrm{c}): \mathrm{b}) \Longleftrightarrow x \mathfrak{b} \subseteq(\mathrm{a}: \mathrm{c}) \Longleftrightarrow x \mathfrak{b c} \subseteq \mathfrak{a} \Longleftrightarrow x \in(\mathrm{a}: \mathrm{bc}) . \
&
\end{aligned}
$$
iv) $\left(\bigcap_i \mathfrak{a}_i: \boldsymbol{b}\right)=\bigcap_i\left(\mathfrak{a}_i: \mathbf{b}\right)$.
$$
x \in\left(\bigcap_i \mathfrak{a}_i: \mathbf{b}\right) \Longleftrightarrow x \mathbf{b} \subseteq \bigcap_i \mathfrak{a}_i \Longleftrightarrow \forall i\left(x \mathbf{b} \subseteq \mathfrak{a}_i\right) \Longleftrightarrow x \in \bigcap_i\left(\mathfrak{a}_i: \mathfrak{b}\right) .
$$
v) $\left(a: \sum_i b_i\right)=\bigcap_i\left(a: b_i\right)$.
$$
x \in\left(\mathfrak{a}: \sum_i \mathfrak{b}_i\right) \Longleftrightarrow \mathfrak{a} \supseteq x\left(\sum_i \mathbf{b}_i\right)=\sum_i x \mathfrak{b}_i \Longleftrightarrow \forall i\left(x \mathbf{b}_i \subseteq \mathfrak{a}\right) \Longleftrightarrow x \in \bigcap\left(\mathfrak{a}: \mathfrak{b}_i\right) .
$$
For an $A$-module $M$ and subsets $N \subseteq M$ and $E \subseteq A$, define $(N: E):={m \in M: E m \subseteq N}$; for subsets $N, P \subseteq M$ and $E \subseteq A$, define $(N: P):={a \in A: a P \subseteq N}$.

Note for future use that then ii) holds equally well for subsets $a, b \subseteq M$, or $b \subseteq A$ and $a \subseteq M$; iii) holds for $\mathfrak{a}, \mathfrak{b} \subseteq M$ and $\boldsymbol{c} \subseteq A$; and iv) and $\mathbf{v}$ ) hold for modules $\mathfrak{a}, \mathfrak{a}_i$ and modules or ideals $\boldsymbol{b}, \mathfrak{b}_i$.

问题 2.

Exercise 1.13.
$-i) \mathfrak{a} \subseteq \mathfrak{b} \Longrightarrow r(\mathfrak{a}) \subseteq r(\mathfrak{b})$
If $x \in r(\mathfrak{a})$, for some $n>0$ we have $x^n \in \mathfrak{a} \subseteq \mathfrak{b}$, so $x \in r(\mathfrak{b})$.
0) $r\left(a^n\right)=r(a)$ for all $n>0$.
$\mathfrak{a}^n \subseteq \mathfrak{a}$, so by part – i) we have $r\left(\mathfrak{a}^n\right) \subseteq r(\mathfrak{a})$. If $x \in r(\mathfrak{a})$, then for some $m>0, x^m \in \mathfrak{a}$. But then $x^{m n} \in \mathfrak{a}^n$ and $x \in r\left(\overline{a^n}\right)$.
i) $r(a) \supseteq a$.

For each $a \in$ a we have $a^1 \in \mathfrak{a}$, so $a \in r(a)$.
ii) $r(r(a))=r(a)$.
$$
x \in r(r(\mathfrak{a})) \Longleftrightarrow \exists n>0\left(x^n \in r(\mathfrak{a})\right) \Longleftrightarrow \exists n, m>0\left(\left(x^n\right)^m=x^{m n} \in \mathfrak{a}\right) \Longleftrightarrow x \in r(\mathfrak{a}) .
$$
iii) $r(\mathfrak{a b})=r(\mathfrak{a} \cap \mathfrak{b})=r(\mathfrak{a}) \cap r(\mathfrak{b})$.
For the first equality, note $(a \cap b)^2 \subseteq a b \subseteq a \cap b$, so by parts 0$)$ and -1$), r(a \cap b)=r\left((a \cap b)^2\right) \subseteq r(a b) \subseteq r(a \cap b)$. For the second, note that if $m, n>0$ are such that $x^m \in \mathfrak{a}$ and $x^n \in \mathbf{b}$, then $x^{\max {m, n}} \in \mathfrak{a} \cap \mathbf{b}$, and conversely.
iv) $r(a)=(1) \Longleftrightarrow a=(1)$.
If $r(a)=(1)$, then $1 \in r(a)$, so for some $n$ we have $1=1^n \in a$, and then $a=(1)$.
v) $r(\mathrm{a}+\mathrm{b})=r(r(\mathrm{a})+r(\mathrm{~b}))$.
Since $\mathbf{a}, \mathbf{b} \subseteq \mathbf{a}+\mathbf{b}$, by part $-\mathrm{i})$ we have $r(\mathfrak{a}), r(b) \subseteq r(\mathfrak{a}+\mathbf{b})$, so $r(\mathfrak{a})+r(\mathbf{b}) \subseteq r(\mathfrak{a}+\mathbf{b})$. By parts $-\mathrm{i})$, and ii), we see $r(r(a)+r(b)) \subseteq r(r(a+b))=r(a+b)$. Conversely, by part $i)$, we have $a \subseteq r(a)$ and $\mathfrak{b} \subseteq r(b)$, so adding, $\mathfrak{a}+\mathbf{b} \subseteq r(\mathfrak{a})+r(b)$. By part $-\mathrm{i}), r(\mathfrak{a}+\mathbf{b}) \subseteq r(r(a)+r(b))$
vi) If $\mathfrak{p}$ is prime, $r\left(\mathfrak{p}^n\right)=\mathfrak{p}$ for all $n>0$
By part 0$), r\left(\mathfrak{p}^n\right)=r(\mathfrak{p})$. By $(1.14), r(\mathfrak{p})=\mathfrak{p}$

E-mail: help-assignment@gmail.com  微信:shuxuejun

help-assignment™是一个服务全球中国留学生的专业代写公司
专注提供稳定可靠的北美、澳洲、英国代写服务
专注于数学,统计,金融,经济,计算机科学,物理的作业代写服务

发表回复

您的电子邮箱地址不会被公开。 必填项已用 * 标注