version 1.1, 2005/12/18 11:06:23 |
version 1.2, 2005/12/19 01:19:47 |
Line 274 $Condition$ $B$*$h$S(B $Action$ $B$K$O%f!<%6Dj5A4X? |
|
Line 274 $Condition$ $B$*$h$S(B $Action$ $B$K$O%f!<%6Dj5A4X? |
|
$B$K$"$k$,(B, $B$3$3$G$O?<F~$j$O$7$J$$(B. $B$3$3$G$O(B, $BL58B%k!<%W$K4Y$i$J$$$h$&$J(B |
$B$K$"$k$,(B, $B$3$3$G$O?<F~$j$O$7$J$$(B. $B$3$3$G$O(B, $BL58B%k!<%W$K4Y$i$J$$$h$&$J(B |
$B<BMQE*$J;X?K$H$7$F(B, \FN $B$KBP$9$k=g=x$E$1$*$h$S(B weight $B$N;HMQ$rDs0F$9$k(B. |
$B<BMQE*$J;X?K$H$7$F(B, \FN $B$KBP$9$k=g=x$E$1$*$h$S(B weight $B$N;HMQ$rDs0F$9$k(B. |
$B$3$NJ}K!$O8e=R$9$k$h$&$KB?9`<04D$dHyJ,:nMQAG4D$GMQ$$$i$l$k(B weight |
$B$3$NJ}K!$O8e=R$9$k$h$&$KB?9`<04D$dHyJ,:nMQAG4D$GMQ$$$i$l$k(B weight |
$B%Y%/%H%k$N9M$(7?$N<+A3$J0lHL2=$G$"$j(B, $BM}O@E*$K$b6=L#?<$$(B. |
$B%Y%/%H%k$N9M$(J}$N<+A3$J0lHL2=$G$"$j(B, $BM}O@E*$K$b6=L#?<$$(B. |
|
|
$BNc$H$7$F(B, $B2D49@-$rDj5A$9$k>l9g$r9M$($k(B. $B?t3XE*$K$O(B, $BG$0U$N(B $X$, $Y$ $B$K(B |
$BNc$H$7$F(B, $B2D49@-$rDj5A$9$k>l9g$r9M$($k(B. $B?t3XE*$K$O(B, $BG$0U$N(B $X$, $Y$ $B$K(B |
$BBP$7(B $XY=YX$ $B$G$h$$$,(B, $B$?$H$($P$3$N$^$^(B $[`X*Y,`Y*X]$ $B$H$$$&=q$-49$((B |
$BBP$7(B $XY=YX$ $B$G$h$$$,(B, $B$?$H$($P$3$N$^$^(B $[`X*Y,`Y*X]$ $B$H$$$&=q$-49$((B |
Line 378 $ \{ L_i \rightarrow R_i \} $ |
|
Line 378 $ \{ L_i \rightarrow R_i \} $ |
|
$B$3$l$i$N>r7o$K$h$j=q$-49$($,Dd;_@-$r$b$D$3$H$,J,$+$k(B. $B$5$i$K(B |
$B$3$l$i$N>r7o$K$h$j=q$-49$($,Dd;_@-$r$b$D$3$H$,J,$+$k(B. $B$5$i$K(B |
$B<!$NL?Bj$,@.$jN)$D(B. |
$B<!$NL?Bj$,@.$jN)$D(B. |
%%<hyperlink|G-algebra|http://www.singular.uni-kl.de/Manual/latest/sing_407.htm> |
%%<hyperlink|G-algebra|http://www.singular.uni-kl.de/Manual/latest/sing_407.htm> |
|
%% z_j z_i \rightarrow c_{ij} z_i z_j + d_{ij}, i<j, c_{ij} \in K^* |
|
%% {\rm deg}_w(d_{ij}) \leq w_i + w_j |
\begin{proposition}\rm |
\begin{proposition}\rm |
G-algebra \cite{LEV} $B$N>r7o$N$&$A(B, |
$G$-algebra \cite{LEV} $B$N>r7o$N$&$A(B, |
well order $B$NB8:_>r7o$r2>Dj$7$J$/$F$b(B, |
well order $B$NB8:_>r7o$r2>Dj$7$J$/$F$b(B, |
$BE,Ev$JF1<!2=(Bweight$B%Y%/%H%k(B, $BM-8z(B weight $B%Y%/%H%k$,B8:_$9$k$J$i$P(B, |
$BE,Ev$JF1<!2=(Bweight$B%Y%/%H%k(B, $BM-8z(B weight $B%Y%/%H%k$,B8:_$9$k$J$i$P(B, |
$h$ $B$r2C$($k@F<!2=(B, |
$h$ $B$r2C$($k@F<!2=(B, |
Line 522 $G$-algebra $B$h$j9-$$HO0O$N(B algebra $B$r07$&$3$H |
|
Line 524 $G$-algebra $B$h$j9-$$HO0O$N(B algebra $B$r07$&$3$H |
|
$B0lHLE*$JOHAH$_$N1~MQ$H$7$F(B, $B>-MhE*$K$O(B $D$-$B2C72$N%"%k%4%j%:%`$r3HD%$7(B, |
$B0lHLE*$JOHAH$_$N1~MQ$H$7$F(B, $B>-MhE*$K$O(B $D$-$B2C72$N%"%k%4%j%:%`$r3HD%$7(B, |
Calderon-Moreno $BEy$NF3F~$7$?(B algebra $B$r6I=jE*$K07$&$J$I$N1~MQ$,8+9~$^(B |
Calderon-Moreno $BEy$NF3F~$7$?(B algebra $B$r6I=jE*$K07$&$J$I$N1~MQ$,8+9~$^(B |
$B$l$k(B. |
$B$l$k(B. |
|
|
|
$B$^$?(B, \FN $B$r%f!<%68@8l$h$jA`:n$9$k4X?t$rMQ$$$k$3$H$K$h$j(B, |
|
$BF~NO(B, $B=PNO$N%f!<%6%$%s%?%U%'!<%9$rBgI}$K2~A1$G$-$k$3$H$K$b(B |
|
$BCm0U$7$F$*$-$?$$(B. |
|
|
|
|
\begin{thebibliography}{99} |
\begin{thebibliography}{99} |