[BACK]Return to gr.tex CVS log [TXT][DIR] Up to [local] / OpenXM / doc / compalg

Diff for /OpenXM/doc/compalg/gr.tex between version 1.1.1.1 and 1.2

version 1.1.1.1, 2000/03/01 02:25:51 version 1.2, 2000/03/28 01:59:21
Line 177  $\N^n$ の任意のモノイデウ髟阡札� $L$ は有限生成
Line 177  $\N^n$ の任意のモノイデウ髟阡札� $L$ は有限生成
 \proof $n$ に関する畿髟阡伺��法により��┐�. $n=1$ のとき, $L$ の $\N$ 中での  \proof $n$ に関する畿髟阡伺��法により��┐�. $n=1$ のとき, $L$ の $\N$ 中での
 最���� $\alpha$ をとれば $L$ は $\alpha$ で生成される. $n-1$ まで言えた  最���� $\alpha$ をとれば $L$ は $\alpha$ で生成される. $n-1$ まで言えた
 とする. 各 $j \in \N$ に対し,  とする. 各 $j \in \N$ に対し,
 $$L_j=\{ (\alpha_1,\cdots,\alpha_{n-1} \in  $$L_j=\{ (\alpha_1,\cdots,\alpha_{n-1}) \in
 N^{n-1}\mid (\alpha_1,\cdots,\alpha_{n-1},j)\in L \}$$とおくと $\{L_j\}$  N^{n-1}\mid (\alpha_1,\cdots,\alpha_{n-1},j)\in L \}$$とおくと $\{L_j\}$
 はモノイデウ髟阡札襪料�舂�. $L_\infty = \cup L_j$ とおくと$L_\infty$ もモ  はモノイデウ髟阡札襪料�舂�. $L_\infty = \cup L_j$ とおくと$L_\infty$ もモ
 ノイデウ髟阡札襪�, 畿髟阡伺��法の王苳残蠅砲茲� $L_\infty$ は有限生成. よってう髟阡擦�  ノイデウ髟阡札襪�, 畿髟阡伺��法の王苳残蠅砲茲� $L_\infty$ は有限生成. よってう髟阡擦�
Line 436  return $G$
Line 436  return $G$
 \proof\\  \proof\\
 \underline{停止性}\quad 生成される正規形の頭項が, それまでに生成された正規形  \underline{停止性}\quad 生成される正規形の頭項が, それまでに生成された正規形
 の頭項で割り切れないことより, 系 \ref{noether} から言える. \\  の頭項で割り切れないことより, 系 \ref{noether} から言える. \\
 \underline{出力がグレブナ基底となること}\quad 前命題により OK. \qed\\  \underline{出力がグレブナ基底となること}\quad 前命題により言える. \qed\\
 このウ髟阡札襯乾螢坤爐� Buchberger ウ髟阡札襯乾螢坤爐虜任盡胸賄�雰舛任���るが,  このウ髟阡札襯乾螢坤爐� Buchberger ウ髟阡札襯乾螢坤爐虜任盡胸賄�雰舛任���るが,
 \begin{itemize}  \begin{itemize}
 \item  \item
Legend:
Removed from v.1.1.1.1  
changed lines
  Added in v.1.2
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>