OpenXM/doc/compalg/gr.tex - diff

Return to gr.tex CVS log

Up to [local] / OpenXM / doc / compalg

version 1.1.1.1, 2000/03/01 02:25:51

version 1.2, 2000/03/28 01:59:21

Line 177 $\N^n$ $B$NG$0U$N%b%N%$%G%"%k(B $L$ $B$OM-8B@8@.(B

\proof $n$ $B$K4X$9$k5"G<K!$K$h$j<($9(B. $n=1$ $B$N$H$-(B, $L$ $B$N(B $\N$ $BCf$G$N(B

$B:G>.85(B $\alpha$ $B$r$H$l$P(B $L$ $B$O(B $\alpha$ $B$G@8@.$5$l$k(B. $n-1$ $B$^$G8@$($?(B

$B$H$9$k(B. $B3F(B $j \in \N$ $B$KBP$7(B,

$$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 \}$$$B$H$*$/$H(B $\{L_j\}$

$B$O%b%N%$%G%"%k$NA}BgNs(B. $L_\infty = \cup L_j$ $B$H$*$/$H(B$L_\infty$ $B$b%b(B

$B%N%$%G%"%k$G(B, $B5"G<K!$N2>Dj$K$h$j(B $L_\infty$ $B$OM-8B@8@.(B. $B$h$C$F$"$k(B

Line 436 return $G$

\proof\\

\underline{$BDd;_@-(B}\quad $B@8@.$5$l$k@55,7A$NF,9`$,(B, $B$=$l$^$G$K@8@.$5$l$?@55,7A(B

$B$NF,9`$G3d$j@Z$l$J$$$3$H$h$j(B, $B7O(B \ref{noether} $B$+$i8@$($k(B. \\

\underline{$B=PNO$,%0%l%V%J4pDl$H$J$k$3$H(B}\quad $BA0L?Bj$K$h$j(B OK. \qed\\

\underline{$B=PNO$,%0%l%V%J4pDl$H$J$k$3$H(B}\quad $BA0L?Bj$K$h$j8@$($k(B. \qed\\

$B$3$N%"%k%4%j%:%`$,(B Buchberger $B%"%k%4%j%:%`$N:G$b86;OE*$J7A$G$"$k$,(B,

\begin{itemize}

\item