标签: MATH611

数学代写|现代代数代写Modern Algebra代考|MATH611

如果你也在 怎样代写现代代数Modern Algebra 这个学科遇到相关的难题,请随时右上角联系我们的24/7代写客服。现代代数Modern Algebra就像数学的其他分支一样——只有从最基本的思想和例子中仔细地推导才能掌握。但这需要时间,而且有些目标在你实现之前是不明确的。

现代代数Modern Algebra这门学科的思想和方法几乎渗透到现代数学的每一个部分。此外,没有一门学科更适合培养处理抽象概念的能力,即理解和处理问题或学科的基本要素。这包括阅读数学的能力,提出正确的问题,解决问题,运用演绎推理,以及写出正确、切中要害、清晰的数学。

statistics-lab™ 为您的留学生涯保驾护航 在代写现代代数Modern Algebra方面已经树立了自己的口碑, 保证靠谱, 高质且原创的统计Statistics代写服务。我们的专家在代写现代代数Modern Algebra代写方面经验极为丰富,各种代写现代代数Modern Algebra相关的作业也就用不着说。

数学代写|现代代数代写Modern Algebra代考|MATH611

数学代写|现代代数代写Modern Algebra代考|Nonzero preservation and the gcd of several polynomials

In this section, we discuss the following problem: Given nonzero polynomials $f_1, \ldots, f_n \in F[x]$ over a field $F$, compute $h=\operatorname{gcd}\left(f_1, \ldots, f_n\right)$. Let $d \in \mathbb{N}$ be such that $\operatorname{deg} f_i \leq d$ for all $i$. We are particularly interested in the case where $d$ is close to $n$. A simple approach is to set $h_1=f_1$ and compute $h_i=\operatorname{gcd}\left(h_{i-1}, f_i\right)$ for $i=2, \ldots, n$. If $\operatorname{deg} h$ is fairly large, say $d / 10$, then this will take $n-1 \operatorname{gcd}$ calculations of polynomials of degree at least $d / 10$.

We now present a more efficient algorithm that uses only one gcd calculation. The basic tool for this probabilistic algorithm is the following useful lemma. It says that a nonzero polynomial is likely to take a nonzero value at a random point. In other words, random evaluations probably preserve nonzeroness.

LEMMA 6.44. Let $R$ be an integral domain, $n \in \mathbb{N}, S \subseteq R$ finite with $s=# S$ elements, and $r \in R\left[x_1, \ldots, x_n\right]$ a polynomial of total degree at most $d \in \mathbb{N}$.
(i) If $r$ is not the zero polynomial, then $r$ has at most $d s^{n-1}$ zeroes in $S^n$.
(ii) If $s>d$ and $r$ vanishes on $S^n$, then $r=0$.
Proof. (i) We prove the claim by induction on $n$. The case $n=1$ is clear, since a nonzero univariate polynomial of degree at most $d$ over an integral domain has at most $d$ zeroes (Lemma 25.4). For the induction step, we write $r$ as a polynomial in $x_n$ with coefficients in $x_1, \ldots, x_{n-1}: r=\sum_{0 \leq i \leq k} r_i x_n^i$ with $r_i \in R\left[x_1, \ldots, x_{n-1}\right]$ for $0 \leq i \leq k$ and $r_k \neq 0$. Then $\operatorname{deg} r_k \leq d-k$, and by the induction hypothesis, $r_k$ has at most $(d-k) s^{n-2}$ zeroes in $S^{n-1}$, so that there are at most $(d-k) s^{n-1}$ common zeroes of $r$ and $r_k$ in $S^n$. Furthermore, for each $a \in S^{n-1}$ with $r_k(a) \neq 0$, the univariate polynomial $r_a=\sum_{0 \leq i \leq k} r_i(a) x_n^i \in R\left[x_n\right]$ of degree $k$ has at most $k$ zeroes, so that the total number of zeroes of $r$ in $S^n$ is bounded by
$$
(d-k) s^{n-1}+k s^{n-1}=d s^{n-1} .
$$
(ii) follows immediately from (i).

In the example $r=\prod_{1 \leq i \leq d}\left(x_n-a_i\right)$, where $a_1, \ldots, a_d \in S$ are distinct, the bound in (i) is achieved. A typical application of (i) is in the analysis of probabilistic algorithms, rewriting it as
$$
\operatorname{prob}\left{r(a)=0: a \in S^n\right} \leq \frac{d}{# S},
$$
where $a$ is chosen in $S^n$ uniformly at random. In the applications, the tricky part is usually to show that $r$ is nonzero. An amazing fact is that this bound on the probability is independent of the number of variables.

数学代写|现代代数代写Modern Algebra代考|Subresultants

In this section, we extend the resultant theory-which governs the gcd-to the subresultants which cover all results of the Extended Euclidean Algorithm. As before, this leads to efficient modular methods, but now for the whole algorithm. The reader only interested in efficient gcd algorithms may skip this and proceed directly to the implementation report in Section 6.13.

So now let $F$ be an arbitrary field, and $f, g \in F[x]$ nonzero of degrees $n \geq m$, respectively. We use the notation for the results of the Extended Euclidean Algorithm, as in (1) on page 141, and $n_i=\operatorname{deg} r_i$ for $0 \leq i \leq \ell+1$, with $r_{\ell+1}=0$ and $\operatorname{deg} r_{\ell+1}=-\infty$.
THEOREM 6.47.
Let $0 \leq k \leq m \leq n$. Then $k$ does not appear in the degree sequence if and only if there exist $s, t \in F[x]$ satisfying
$$
t \neq 0, \quad \operatorname{deg} s<m-k, \quad \operatorname{deg} t<n-k, \quad \operatorname{deg}(s f+t g)<k .
$$
there exists an $i$ with $2 \leq i \leq \ell+1$ such that $n_i<k<n_{i-1}$. We claim that $s=s_i$ and $t=t_i$ do the job. We have $s f+t g=r_i$, and $\operatorname{deg} r_i=n_i<k$. Furthermore, from Lemma 3.15 (b) we have
$$
\begin{aligned}
\operatorname{deg} s & =m-n_{i-1}<m-k, \
0 \leq \operatorname{deg} t & =n-n_{i-1}<n-k .
\end{aligned}
$$

数学代写|现代代数代写Modern Algebra代考|MATH611

现代代数代考

数学代写|现代代数代写Modern Algebra代考|Nonzero preservation and the gcd of several polynomials

在本节中,我们讨论以下问题:给定域$F$上的非零多项式$f_1, \ldots, f_n \in F[x]$,计算$h=\operatorname{gcd}\left(f_1, \ldots, f_n\right)$。让$d \in \mathbb{N}$为所有$i$成为$\operatorname{deg} f_i \leq d$。我们对$d$接近$n$的情况特别感兴趣。一种简单的方法是为$i=2, \ldots, n$设置$h_1=f_1$并计算$h_i=\operatorname{gcd}\left(h_{i-1}, f_i\right)$。如果$\operatorname{deg} h$相当大,比如$d / 10$,那么这将需要$n-1 \operatorname{gcd}$次多项式的计算,次数至少为$d / 10$。

我们现在提出了一个更有效的算法,它只使用一个gcd计算。这个概率算法的基本工具是以下有用的引理。它说一个非零多项式很可能在随机点取一个非零值。换句话说,随机求值可能保持非零性。

引理6.44。设$R$为一个积分域,$n \in \mathbb{N}, S \subseteq R$为包含$s=# S$个元素的有限域,$r \in R\left[x_1, \ldots, x_n\right]$为至多$d \in \mathbb{N}$个总次的多项式。
(i)如果$r$不是零多项式,则$r$在$S^n$中最多有$d s^{n-1}$个零。
(ii)如果$s>d$和$r$在$S^n$上消失,那么$r=0$。
证明。(i)我们通过归纳法在$n$上证明了这一主张。情况$n=1$是清楚的,因为在一个积分域上次数最多为$d$的非零单变量多项式最多有$d$个零(引理25.4)。对于归纳步骤,我们将$r$写成$x_n$中的多项式,其系数为$x_1, \ldots, x_{n-1}: r=\sum_{0 \leq i \leq k} r_i x_n^i$, $0 \leq i \leq k$和$r_k \neq 0$的系数为$r_i \in R\left[x_1, \ldots, x_{n-1}\right]$。然后是$\operatorname{deg} r_k \leq d-k$,根据归纳假设,$r_k$在$S^{n-1}$中最多有$(d-k) s^{n-2}$个零,因此$r$和$r_k$在$S^n$中最多有$(d-k) s^{n-1}$个公共零。更进一步,对于每个含有$r_k(a) \neq 0$的$a \in S^{n-1}$,次为$k$的单变量多项式$r_a=\sum_{0 \leq i \leq k} r_i(a) x_n^i \in R\left[x_n\right]$最多有$k$个零,因此$S^n$中$r$的总零个数为
$$
(d-k) s^{n-1}+k s^{n-1}=d s^{n-1} .
$$
(ii)紧接(i)。

在示例$r=\prod_{1 \leq i \leq d}\left(x_n-a_i\right)$中,$a_1, \ldots, a_d \in S$是不同的,实现了(i)中的边界。(i)的典型应用是在概率算法的分析中,将其重写为
$$
\operatorname{prob}\left{r(a)=0: a \in S^n\right} \leq \frac{d}{# S},
$$
其中$S^n$均匀随机选取$a$。在应用程序中,棘手的部分通常是证明$r$是非零的。一个令人惊奇的事实是概率的界限与变量的数量无关。

数学代写|现代代数代写Modern Algebra代考|Subresultants

在本节中,我们将控制gcd的结果理论扩展到涵盖扩展欧几里得算法的所有结果的子结果。和以前一样,这导致了高效的模块化方法,但现在是整个算法。对高效gcd算法感兴趣的读者可以跳过这里,直接进入6.13节的实现报告。

现在设$F$为任意域,和$f, g \in F[x]$为非零度$n \geq m$。我们对扩展欧几里得算法的结果使用表示法,如第141页(1)所示,对$0 \leq i \leq \ell+1$使用$n_i=\operatorname{deg} r_i$,其中包含$r_{\ell+1}=0$和$\operatorname{deg} r_{\ell+1}=-\infty$。
定理6.47。
让$0 \leq k \leq m \leq n$。则当且仅当存在$s, t \in F[x]$满足时,$k$不出现在度序列中
$$
t \neq 0, \quad \operatorname{deg} s<m-k, \quad \operatorname{deg} t<n-k, \quad \operatorname{deg}(s f+t g)<k .
$$
存在一个与$2 \leq i \leq \ell+1$对应的$i$,使得$n_i<k<n_{i-1}$。我们声称$s=s_i$和$t=t_i$可以完成这项工作。我们有$s f+t g=r_i$和$\operatorname{deg} r_i=n_i<k$。更进一步,由引理3.15 (b)我们得到
$$
\begin{aligned}
\operatorname{deg} s & =m-n_{i-1}<m-k, \
0 \leq \operatorname{deg} t & =n-n_{i-1}<n-k .
\end{aligned}
$$

数学代写|现代代数代写Modern Algebra代考 请认准statistics-lab™

统计代写请认准statistics-lab™. statistics-lab™为您的留学生涯保驾护航。

R语言代写问卷设计与分析代写
PYTHON代写回归分析与线性模型代写
MATLAB代写方差分析与试验设计代写
STATA代写机器学习/统计学习代写
SPSS代写计量经济学代写
EVIEWS代写时间序列分析代写
EXCEL代写深度学习代写
SQL代写各种数据建模与可视化代写

数学代写|现代代数代写Modern Algebra代考|MATH611

如果你也在 怎样代写现代代数Modern Algebra 这个学科遇到相关的难题,请随时右上角联系我们的24/7代写客服。现代代数Modern Algebra就像数学的其他分支一样——只有从最基本的思想和例子中仔细地推导才能掌握。但这需要时间,而且有些目标在你实现之前是不明确的。

现代代数Modern Algebra这门学科的思想和方法几乎渗透到现代数学的每一个部分。此外,没有一门学科更适合培养处理抽象概念的能力,即理解和处理问题或学科的基本要素。这包括阅读数学的能力,提出正确的问题,解决问题,运用演绎推理,以及写出正确、切中要害、清晰的数学。

statistics-lab™ 为您的留学生涯保驾护航 在代写现代代数Modern Algebra方面已经树立了自己的口碑, 保证靠谱, 高质且原创的统计Statistics代写服务。我们的专家在代写现代代数Modern Algebra代写方面经验极为丰富,各种代写现代代数Modern Algebra相关的作业也就用不着说。

数学代写|现代代数代写Modern Algebra代考|MATH611

数学代写|现代代数代写Modern Algebra代考|Quotient Group

If $H$ is a normal subgroup of $G$, the group $G / H$ that consists of the cosets of $H$ in $G$ is called the quotient group or factor group of $G$ by $H$.

If the group $G$ is abelian, then so is the quotient group $G / H$. Let $a$ and $b$ be elements of $G$, then
$$
\begin{aligned}
a H b H & =a b H & & \text { since } H \text { is normal } \
& =b a H & & \text { since } G \text { is abelian } \
& =b H a H & & \text { since } H \text { is normal }
\end{aligned}
$$
and $G / H$ is abelian.
Suppose the group $G$ has finite order $n$ and the normal subgroup $H$ has order $m$. Then by Lagrange’s Theorem, we have
$$
|G|=|H| \cdot|G / H|
$$
or
$$
n=m \cdot|G / H|,
$$
and the order of the quotient group is $|G / H|=n / m$.
Example 1 Let $G$ be the octic group as given in Example 3 of Section 4.5:
$$
D_4=\left{e, \alpha, \alpha^2, \alpha^3, \beta, \gamma, \Delta, \theta\right} .
$$
It can be readily verified that $H=\left{e, \gamma, \theta, \alpha^2\right}$ is a normal subgroup of $D_4$. The distinct cosets of $\mathrm{H}$ in $\mathrm{D}_4$ are
$$
H=e H=\gamma H=\theta H=\alpha^2 H=\left{e, \gamma, \theta, \alpha^2\right}
$$
and
$$
\alpha H=\alpha^3 H=\beta H=\Delta H=\left{\alpha, \alpha^3, \beta, \Delta\right} .
$$
Thus $D_4 / H={H, \alpha H}$, and a multiplication table for $D_4 / H$ is as follows.

数学代写|现代代数代写Modern Algebra代考|Quotient Group => Homomorphic Image

Let $G$ be a group, and let $H$ be a normal subgroup of $G$. The mapping $\phi: G \rightarrow G / H$ defined by
$$
\phi(a)=a H
$$
is an epimorphism from $G$ to $G / H$.
Proof The rule $\phi(a)=a H$ clearly defines a mapping from $G$ to $G / H$. For any $a$ and $b$ in $G$,
$$
\begin{aligned}
\phi(a) \cdot \phi(b) & =(a H)(b H) \
& =a b H \quad \text { since } H \text { is normal in } G \
& =\phi(a b) .
\end{aligned}
$$
Thus $\phi$ is a homomorphism. Every element of $G / H$ is a coset of $H$ in $G$ that has the form $a H$ for some $a$ in $G$. For any such $a$, we have $\phi(a)=a H$. Therefore, $\phi$ is an epimorphism.
Example 2 Consider the octic group
$$
D_4=\left{e, \alpha, \alpha^2, \alpha^3, \beta, \gamma, \Delta, \theta\right}
$$
and its normal subgroup
$$
H=\left{e, \gamma, \theta, \alpha^2\right} .
$$
We saw in Example 1 that $D_4 / H={H, \alpha H}$. Theorem 4.25 assures us that the mapping $\phi: D_4 \rightarrow D_4 / H$ defined by
$$
\phi(a)=a H
$$
is an epimorphism. The values of $\phi$ are given in this case by
$$
\begin{gathered}
\phi(e)=\phi(\gamma)=\phi(\theta)=\phi\left(\alpha^2\right)=H \
\phi(\alpha)=\phi\left(\alpha^3\right)=\phi(\beta)=\phi(\Delta)=\alpha H .
\end{gathered}
$$

数学代写|现代代数代写Modern Algebra代考|MATH611

现代代数代考

数学代写|现代代数代写Modern Algebra代考|Quotient Group

如果$H$是$G$的正常子组,则由$G$中$H$的余集组成的组$G / H$被$H$称为$G$的商组或因子组。

如果群$G$是阿贝尔,那么商群$G / H$也是阿贝尔。那么,让$a$和$b$成为$G$的元素
$$
\begin{aligned}
a H b H & =a b H & & \text { since } H \text { is normal } \
& =b a H & & \text { since } G \text { is abelian } \
& =b H a H & & \text { since } H \text { is normal }
\end{aligned}
$$
$G / H$是阿贝尔的。
假设群$G$有有限阶$n$,正规子群$H$有阶$m$。根据拉格朗日定理,我们有
$$
|G|=|H| \cdot|G / H|
$$

$$
n=m \cdot|G / H|,
$$
商群的阶是$|G / H|=n / m$。
设$G$为第4.5节例3中给出的octic组:
$$
D_4=\left{e, \alpha, \alpha^2, \alpha^3, \beta, \gamma, \Delta, \theta\right} .
$$
可以很容易地验证$H=\left{e, \gamma, \theta, \alpha^2\right}$是$D_4$的正常子组。$\mathrm{D}_4$中$\mathrm{H}$的不同的集是
$$
H=e H=\gamma H=\theta H=\alpha^2 H=\left{e, \gamma, \theta, \alpha^2\right}
$$

$$
\alpha H=\alpha^3 H=\beta H=\Delta H=\left{\alpha, \alpha^3, \beta, \Delta\right} .
$$
因此是$D_4 / H={H, \alpha H}$,下面是$D_4 / H$的乘法表。

数学代写|现代代数代写Modern Algebra代考|Quotient Group => Homomorphic Image

设$G$为一个组,设$H$为$G$的正常子组。定义的映射$\phi: G \rightarrow G / H$
$$
\phi(a)=a H
$$
是从$G$到$G / H$的表属关系。
证明规则$\phi(a)=a H$明确定义了$G$到$G / H$的映射关系。有关$G$中的$a$和$b$,
$$
\begin{aligned}
\phi(a) \cdot \phi(b) & =(a H)(b H) \
& =a b H \quad \text { since } H \text { is normal in } G \
& =\phi(a b) .
\end{aligned}
$$
因此$\phi$是一个同态。$G / H$的每个元素都是$G$中的$H$的协集,对于$G$中的某些$a$具有$a H$的形式。对于任何这样的$a$,我们有$\phi(a)=a H$。因此,$\phi$是一个外胚。
例2考虑octic组
$$
D_4=\left{e, \alpha, \alpha^2, \alpha^3, \beta, \gamma, \Delta, \theta\right}
$$
和它的正规子群
$$
H=\left{e, \gamma, \theta, \alpha^2\right} .
$$
我们在例1中看到$D_4 / H={H, \alpha H}$。定理4.25保证由。定义的映射$\phi: D_4 \rightarrow D_4 / H$
$$
\phi(a)=a H
$$
是一个外属词。在本例中,$\phi$的值由
$$
\begin{gathered}
\phi(e)=\phi(\gamma)=\phi(\theta)=\phi\left(\alpha^2\right)=H \
\phi(\alpha)=\phi\left(\alpha^3\right)=\phi(\beta)=\phi(\Delta)=\alpha H .
\end{gathered}
$$

数学代写|现代代数代写Modern Algebra代考 请认准statistics-lab™

统计代写请认准statistics-lab™. statistics-lab™为您的留学生涯保驾护航。

R语言代写问卷设计与分析代写
PYTHON代写回归分析与线性模型代写
MATLAB代写方差分析与试验设计代写
STATA代写机器学习/统计学习代写
SPSS代写计量经济学代写
EVIEWS代写时间序列分析代写
EXCEL代写深度学习代写
SQL代写各种数据建模与可视化代写