Annotation of OpenXM/doc/compalg/gr.tex, Revision 1.1.1.1
1.1 noro 1: \chapter{$B%0%l%V%J4pDl(B}
2: \label{chapgr}
3: \section{$BBe?tJ}Dx<0$N2r$H%$%G%"%k(B}
4:
5: $BBN(B $K$ $B>e$N(B $n$ $BJQ?tB?9`<04D(B $R = K[x_1,\cdots,x_n]$ $B$r9M$($k(B. $B0J2<(B,
6: $(x_1,\cdots,x_n)$ $B$r(B $X$ $B$HN,5-$9$k(B. $R$ $B$N85(B $f_1,\cdots,f_m$ $B$KBP$7(B,
7: \begin{equation}
8: \label{system}
9: f_1 = 0, \cdots, f_m =0
10: \end{equation}
11: $B$rBe?tJ}Dx<07O(B, $B$"$k$$$OC1$KJ}Dx<0$H8F$V(B. (\ref{system}) $B$rK~$?$9(B
12: $K^n$ $B$N85$r(B $(1)$ $B$N2r$H8F$V(B. $B$3$N$h$&$JJ}Dx<0$r2r$$$F2r$r5a$a$h$&$H(B
13: $B$9$k>l9g$K:G$b4pK\E*$JJ}K!$O(B, $BCf3X0JMh$*$J$8$_$N>C5nK!$G$"$k(B.
14:
15: \begin{ex}
16: $f_1(x,y) = x^2+y^2 - 2 = 0, f_2(x,y) = xy - 1 = 0$
17: $B$r2r$1(B
18: \end{ex}
19: {\bf $B2r(B} $y^2f_1 - (xy+1)f_2 = y^4-2y^2+1 = 0$
20: $B$h$j(B $y=x=1$ $B$^$?$O(B $y=x=-1.$ $B$3$l$i$O<B:]$K2r$G$"$k(B. \qed\\
21: $B$3$3$G9T$C$?7W;;$O(B, $f_1$, $f_2$ $B$KE,Ev$JB?9`<0$r3]$1$?$b$N$NOB$r:n$C$F(B
22: $B$h$jJQ?t$N>/$J$$B?9`<0$r:n$j=P$9$b$N$G$"$k(B.
23:
24: \begin{df}
25: $f_1, \cdots, f_m \in R$ $B$KBP$7(B,
26: $$Id(f_1,\cdots,f_m) = \{\sum_{i=1}^n g_if_i \mid i \in R\}$$
27: $B$r(B $f_1,\cdots,f_m$ $B$G@8@.$5$l$k%$%G%"%k$H8F$V(B. $f_1, \cdots, f_m$ $B$r(B
28: $I$ $B$N@8@.7O$"$k$$$O(B{\bf $B4pDl(B}$B$H8F$V(B.
29: \end{df}
30: $B0lHL$K(B, $BJ}Dx<0(B (\ref{system}) $B$,M?$($i$l$?>l9g(B, $I=Id(f_1,\cdots,f_m)$
31: $B$r9M$($l$P(B, $B>C5nK!$H$O(B $I$ $B$NCf$+$i(B, $B4^$^$l$kJQ?t$N8D?t$,>/$J$$$b$N$rA*$S=P(B
32: $B$9J}K!$H8@$($k(B.
33: $I$ $B$N85A4$F$N6&DLNmE@$O(B $(\ref{system})$ $B$N2r$K0lCW$9$k(B. $B%$%G%"%k$N4p(B
34: $BDl$O0lAH$H$O8B$i$J$$$,(B, $BF10l$N%$%G%"%k$r@8@.$9$k4pDl$N6&DLNmE@$O0lCW$9(B
35: $B$k$+$i(B, $B%$%G%"%k$r9M$($kJ}$,(B, $BJ}Dx<0$N2r$r9M$($k>e$G$h$j<+A3$G$"$k$H8@$((B
36: $B$k(B.
37:
38: \begin{ex}
39: $Id(x^2+y^2 - 2,xy - 1) = Id(-y^4+2y^2-1,x+y^3-2y)$
40: \end{ex}
41:
42: \begin{ex} ($B@~7AJ}Dx<0(B)
43: $Id(2a+3b-4c+d-1,3a-2c-5d-4,a-b+4d-5,3a+2b+2c-2d)$
44: $=Id(-185d+78,-185c-94,-185b-299,-185a+314)$
45: \end{ex}
46: $B$3$l$i$NNc$G$O(B, $B1&JU$N4pDl$O3N$+$K2r$rMF0W$K5a$a$i$l$k7A$K$J$C$F$$$k(B.
47: $B$3$3$GBg;v$JE@$O(B, $BN>JU$,Ey$7$$%$%G%"%k$rM?$($F$$$k$+$I$&$+(B, $B$H$$$&E@(B
48: $B$G$"$k(B.
49:
50: \begin{df}
51: $B%$%G%"%k(B $I$ $B$KBP$7(B $I$ $B$N(B $K^n$ $B$K$*$1$k(B variety $V_K(I)$ $B$r(B
52: \begin{center}
53: $V_K(I) = \{a \in K^n \mid$ $B$9$Y$F$N(B $f \in I$ $B$KBP$7(B $f(a)=0 \}$
54: \end{center}
55: $B$GDj5A$9$k(B. $B:.Mp$N$J$$>l9g$K$O(B $V(I)$ $B$H=q$/(B.
56: \end{df}
57:
58: \begin{co}
59: $I \subset J \Rightarrow V(J) \subset V(I)$
60: \end{co}
61: $B$9$J$o$A(B, $B>C5nK!$K$h$jF@$i$l$?B?9`<0$O(B, $B%$%G%"%k$N85$G$"$k$3$H$OJ]>Z(B
62: $B$5$l$k$,(B, $B$=$l$i$O$"$/$^$G2r$NK~$?$9$Y$-I,MW>r7o$G$"$j(B, $B<B:]$K$b$H$N(B
63: $BJ}Dx<0$N2r$rI=$9$+H]$+$OJL$N%A%'%C%/$,I,MW$H$J$k(B. $B$b$7?7$?$KF@$i$l$?(B
64: $BB?9`<0=89g$,$b$H$N%$%G%"%k$r@8@.$7$F$$$l$P(B, $B2r$,Ey$7$$$3$H$OJ]>Z$5$l(B
65: $B$F$$$k(B.
66:
67: \section{$B9`=g=x(B, $B%b%N%$%G%"%k(B, $B%0%l%V%J4pDl(B}
68:
69: $BA0@a$G(B, $BBe?tJ}Dx<0$N2r$r9M$($k>e$G(B, $BB?9`<0%$%G%"%k$r9M$((B, $B$=$N4pDl$r<h(B
70: $B$j49$($FJ}Dx<0$r2r$-$d$9$$4pDl$K<h$j49$($k$3$H$,M-8z$G$"$k$3$H$r<($7$?(B.
71: $B$7$+$7(B, $B%$%G%"%k$N35G0$O(B, $BJ}Dx<0$r2r$/$?$a$@$1$KMQ$$$i$l$k$b$N$G$O$J$$(B.
72: $BFC$K(B, $B2r$,L58B8D$K$J$k>l9g$O(B, $B$=$N2rA4BN$OBe?tE*=89g$H$7$F07$o$l$k$Y$-(B
73: $B$b$N$G$"$j(B, $BJ}Dx<0$N2r$H$7$FI=8=$9$k$3$H$O0lHL$K$OFq$7$$(B. $B$`$7$m(B, $B%$%G(B
74: $B%"%k(B $I$ $B$"$k$$$O4D(B $R/I$ $B$N@-<A$+$i$=$NBe?tE*=89g$N@.J,(B, $B<!85$J$I$rCN(B
75: $B$k$3$H$,=EMW$H$J$k(B. $B$=$N$?$a$K%$%G%"%k$N4pDl$,K~$?$9$Y$->r7o$H$7$F<!$N(B
76: $B$h$&$J$b$N$r5s$2$k$3$H$,$G$-$k(B.
77:
78: \begin{itemize}
79: \item
80: $B$"$kB?9`<0$,(B, $B%$%G%"%k$KB0$9$k$+H]$+(B ($B%a%s%P%7%C%W(B) $B$,%"%k%4%j%:%`$K(B
81: $B$h$jH=Dj$G$-$k(B.
82:
83: $I$ $B$KB0$9$kB?9`<0$r6qBNE*$KGD0.$9$k$?$a$KI,MW$G$"$k(B.
84:
85: \item
86: $B%$%G%"%k$r(B, $BO"N)J}Dx<07O$H$_$?$H$-(B, $B2r$r5a$a$d$9$$7A$r$7$F$$$k(B.
87:
88: $B>C5nK!$HF1MM$N7k2L$rM?$($k$3$H$,$G$-$k(B.
89:
90: \item
91: $B%$%G%"%k$N@-<A(B ($B<!85(B, $B0x;R$J$I(B) $B$rI=$7$F$$$k(B.
92: \end{itemize}
93: $B$3$l$i$N@-<A$N$&$A(B, $BBh0l$N$b$N$KCeL\$9$k(B.
94:
95: \begin{ex}
96: $n=1$ $B$N>l9g(B\\
97: $R=K[x]$ $B$O(B PID ($BC19`%$%G%"%k@00h(B) $B$G$"$k(B. $B$9$J$o$AG$0U$N%$%G%"%k(B $I$ $B$O(B
98: $B$"$k(B $f \in R$ $B$K$h$j(B $I = Id(f)$ $B$H=q$1$k(B. $B$3$l$O(B, $f$ $B$r4pDl$H$9$k$3$H(B
99: $B$K$h$j(B, $I$ $B$KBP$9$k%a%s%P%7%C%W$,(B,
100: $$ g \in I \Leftrightarrow f \mid g $$
101: $B$GH=Dj$G$-$k$3$H$r0UL#$9$k(B. $I$ $B$N@8@.85$,4v$D$+M?$($i$l$F$$$k>l9g(B,
102: $f$ $B$O(B, $B$=$l$i$N@8@.85$N(B GCD $B$r5a$a$k$3$H$GF@$i$l$k(B.
103: \end{ex}
104:
105: $B0lJQ?t$N>l9g(B, $B%$%G%"%k$N@8@.85(B
106: $B$O(B, $B$=$N%$%G%"%k$KB0$9$k85$N$&$A(B, $B:G$b<!?t$N>.$5$$$b$N$r$H$l$P$h$+$C$?(B.
107: $B$3$l$O(B, $B<!$N$h$&$K$$$$$+$($i$l$k(B.
108:
109: \begin{itemize}
110: \item
111: $BB?9`<0$N3F9`$r9_QQ$N=g$KJB$Y$?$H$-(B, $B@hF,$N9`$r(B {\bf $BF,9`(B} $B$H8F$V(B.
112: $B$3$N;~(B, $BF,9`$,(B, $B%$%G%"%k$N$9$Y$F$N85$NF,9`$r3d$j@Z$k$h$&$J85$,@8@.85$H$J$k(B.
113: \end{itemize}
114: $B$3$l$rB?JQ?t$K3HD%$9$k$?$a$K(B, $B0lJQ?t$N>l9g$HF1MM$K(B, $BB?JQ?tB?9`<0$N9`(B
115: $B$N4V$K!V<+A3$J!WA4=g=x$rF~$l$k(B. $B0J2<(B, $BBN(B $K$ $B>e$N(B $n$ $BJQ?tB?9`<04D(B
116: $R = K[x_1,\cdots,x_n]$ $B$r8GDj$7$F9M$($k(B. $B<+A3?t(B $\N$ $B$O(B, 0 $B0J>e$N@0?t(B
117: $B$rI=$9(B.
118:
119: \begin{df}
120: $T = \{x_1^{i_1}\cdots x_n^{i_n}\mid i_1,\cdots,i_n \in \N \}$ $B$H$7(B, $T$ $B$N85$r(B
121: term {\bf ($B9`(B)} $B$H8F$V(B. $B$3$N;~(B, T $B$K$*$1$kA4=g=x(B $\le$ $B$,(B {\bf term order}
122: $B$G$"$k$H$O(B,
123: \begin{enumerate}
124: \item $B$9$Y$F$N(B $t \in T$ $B$KBP$7(B $1 \le t$
125: \item $B$9$Y$F$N(B $t_1, t_2, s \in T$ $B$KBP$7(B $(t_1 \le t_2 \Rightarrow t_1 \cdot s \le t_2 \cdot s)$
126: \end{enumerate}
127: $B$rK~$?$9$3$H$r8@$&(B.
128: \end{df}
129:
130: \begin{df}
131: $B;X?t$r(B $\N^n$ $B$N85$H9M$($F(B, $\N^n$ $B$K$*$1$k(B term order $<$ $B$r(B
132:
133: \begin{enumerate}
134: \item $B$9$Y$F$N(B $\alpha \in \N^n$ $B$KBP$7(B $0 = (0,\cdots,0) \le \alpha$
135: \item $B$9$Y$F$N(B $\alpha_1, \alpha_2, s \in \N$ $B$KBP$7(B
136: $(\alpha_1 \le \alpha_2 \Rightarrow \alpha_1 + s \le \alpha_2 + s)$
137: \end{enumerate}
138: $B$rK~$?$9$b$N$H$7$FDj5A$G$-$k(B.
139: \end{df}
140:
141: \begin{df}
142: $L \subset \N^n$ $B$,%b%N%$%G%"%k$H$O(B,
143: $BG$0U$N(B $\alpha \in L, \beta \in \N^n$ $B$KBP$7(B $\alpha+\beta \in L$
144: $B$,@.$jN)$D$3$H$r$$$&(B. $B$^$?(B, $S \subset \N^n$ $B$KBP$7(B,
145: $$mono(S) = \{\alpha+\beta \mid \alpha \in S, \beta \in \N^n\}$$
146: $B$r(B $S$ $B$G@8@.$5$l$k%b%N%$%G%"%k$H8F$V(B.
147: \end{df}
148:
149: \begin{df}
150: term $B4V$NA4=g=x$rB?9`<0$NH>=g=x$K<+A3$K3HD%$9$k(B. \\
151: $f, g \in R$ $B$G(B, $f = \sum_{i\ge 0}c_i f_i$, $g = \sum_{i\ge 0}d_i g_i$
152: ( $c_i, d_i \in K, f_i, g_i \in T, i > j \Rightarrow f_i > f_j, g_i > g_j$)
153: $B$H$9$k;~(B, $f > g$ $B$r(B
154: \begin{center}
155: $f > g \Leftrightarrow$ $B$"$k(B $i_0$ $B$,B8:_$7$F(B $(i<i_0 \Rightarrow f_i = g_i, f_{i_0} > g_{i_0})$
156: \end{center}
157: $B$GDj5A$9$k(B.
158: \end{df}
159:
160: \begin{df}
161: $M = \{c\cdot t\mid c \in K, t \in T\}$ $B$H$7(B, $M$ $B$N85$r(B {\bf monomial} $B$H8F$V(B.
162: \end{df}
163:
164: \begin{df}
165: term order $B$r0l$D8GDj$7$?;~(B, $BB?9`<0(B $f$ $B$KI=$l$k(B term $B$NCf$G(B, $B$=(B
166: $B$N(B order $B$K$*$$$F:GBg$N$b$N$r(B {\bf $BF,9`(B (head term)} $B$H8F$S(B, $HT(f)$ $B$H(B
167: $B=q$/(B. \\
168: $HT(f)$ $B$N78?t$r(B, $HC(f)$ $B$H=q$/(B. \\
169: $HC(f)\cdot HT(f)$ $B$r(B $HM(f)$ $B$H=q$/(B. \\
170: $HT(f)$ $B$N;X?t$r(B $HE(f)$ $B$H=q$/(B. $HE(f) \in \N^n$ $B$G$"$k(B. \\
171: $B$5$i$K(B, $f-HM(f)$ $B$r(B $red(f)$ ({\bf reductum} of $f$) $B$H=q$/(B.
172: \end{df}
173:
174: \begin{lm}
175: $\N^n$ $B$NG$0U$N%b%N%$%G%"%k(B $L$ $B$OM-8B@8@.(B.
176: \end{lm}
177: \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
178: $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
179: $B$H$9$k(B. $B3F(B $j \in \N$ $B$KBP$7(B,
180: $$L_j=\{ (\alpha_1,\cdots,\alpha_{n-1} \in
181: N^{n-1}\mid (\alpha_1,\cdots,\alpha_{n-1},j)\in L \}$$$B$H$*$/$H(B $\{L_j\}$
182: $B$O%b%N%$%G%"%k$NA}BgNs(B. $L_\infty = \cup L_j$ $B$H$*$/$H(B$L_\infty$ $B$b%b(B
183: $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
184: $j_0$ $B$,B8:_$7$F(B $L_\infty=L_{j_0}$. $B$3$N$H$-(B, $L$ $B$O(B,
185: $j=1,\cdots,j_0$ $B$KBP$9$k(B $L_j$ $B$N@8@.85(B ($B$3$l$O5"G<K!$N2>Dj$K$h$j$=$l(B
186: $B$>$lM-8B=89g(B) $B$NOB=89g$G@8@.$5$l$k(B. \qed
187:
188: \begin{co}
189: \label{noether}
190: $\{L_i\} (i=1,2,\cdots)$ $B$r%b%N%$%G%"%k$NA}BgNs$H$9$l$P(B, $B$"$k(B $i_0$ $B$,(B
191: $BB8:_$7$F(B, $i \ge i_0 \Rightarrow L_i=L_{i_0}$.
192: \end{co}
193:
194: \begin{co}
195: $\N^n$ $B$NG$0U$NItJ,=89g$O(B term order $<$ $B$K4X$7$F:G>.85$r;}$D(B.
196: \end{co}
197:
198: \begin{co}
199: $\le$ $B$r(B $T$ $B$N(B term order $B$H$9$l$P(B, $T$ $B$N??$N9_2<Ns$OM-8B$G@Z$l$k(B.
200: $\le$ $B$N(B $R$ $B$X$N<+A3$J3HD%$K$D$$$F$bF1MM$G$"$k(B. $B0J2<(B, $B$3$N@-<A$r(B, term
201: order $B$N(B Noether $B@-$H$7$F0zMQ$9$k(B.
202: \end{co}
203: \proof $T$ $B$K$D$$$F$O9_2<Ns$,:G>.85$r;}$D$3$H$+$i@.$jN)$D(B. $R$ $B$K(B
204: $B$D$$$F$O(B, $B$b$7(B $R$ $B$N??$N9_2<Ns$G$"$kL58BNs$,$"$l$P(B, $BF,9`$,(B $T$ $B$N??$N(B
205: $B9_2<Ns$G$"$kL58BNs$r:n$j=P$;$k$+$iL7=b(B. \qed
206:
207: \begin{df}
208: $S \subset R$ $B$*$h$S(B term order $<$ $B$KBP$7(B,
209: $$E_<(S) = \{HE(f) \mid f \in S\} \subset \N^n$$
210: $B$HDj5A$9$k(B. $B0J2<:.Mp$N$J$$>l9g$K$O(B $<$ $B$r>JN,$7$F(B $E(S)$ $B$H=q$/(B.
211: \end{df}
212:
213: \begin{lm}
214: $B%$%G%"%k(B $I$ $B$KBP$7(B, $E(I)$ $B$O%b%N%$%G%"%k(B.
215: \end{lm}
216:
217: $B0lJQ?tB?9`<04D$K$*$1$k%$%G%"%k(B $I$ $B$N@8@.7O(B $G = \{f\}$ $B$N@-<A$O(B,
218: $$E(I) = mono(E(G))$$
219: $B$H=q$/$3$H$,$G$-$k(B. $B0lHL$N>l9g$K$b$3$N$h$&$J@-<A$rK~$?$9(B $G$ $B$r9M$($k$3$H(B
220: $B$OM-MQ$G$"$k(B.
221:
222: \begin{df}
223: $B%$%G%"%k(B $I$ $B$KBP$7(B, $B$=$NM-8BItJ,=89g(B $G$ $B$G(B,
224: $$E(I) = mono(E(G))$$
225: $B$rK~$?$9$b$N$r(B $I$ $B$N(B $<$ $B$K4X$9$k%0%l%V%J4pDl$H8F$V(B.
226: \end{df}
227: $B$3$NDj5A$O(B, $B%$%G%"%k$N$9$Y$F$N85$NF,9`$,(B,
228: $G$ $B$N$$$:$l$+$N85$NF,9`$G3d$j@Z$l$k$3$H$r0UL#$9$k(B.
229:
230: \begin{pr}
231: $BG$0U$N(B term order $<$ $B$K4X$7(B, $B%$%G%"%k(B $I$ $B$N%0%l%V%J4pDl$OB8:_$9$k(B.
232: \end{pr}
233: \proof $B%b%N%$%G%"%k$NM-8B@8@.@-$h$jL@$i$+(B. \qed
234:
235: \begin{pr}
236: $B%$%G%"%k(B $I$ $B$N(B $B%0%l%V%J4pDl(B $G$ $B$O(B $I$ $B$r@8@.$9$k(B.
237: \end{pr}
238: \proof
239: $f \in I$ $B$H$9$k(B. $B2>Dj$K$h$j(B, $B$"$k(B $g \in G$ $B$,B8:_$7$F(B, $HT(g)|HT(f)$.
240: $B$h$C$F(B, $B$"$k(B $s \in M$ $B$,B8:_$7$F(B, $HT(f-s\cdot g) < f$. $f-s\cdot g
241: \in I$$B$@$+$i(B, $B$3$NA`:n$r7+$jJV$9$3$H$,$G$-$k(B. term order $B$N(B Noether
242: $B@-$h$j(B, $B$3$NA`:n$OM-8B2s$G=*N;$9$k(B. $B$9$J$o$A(B, $BM-8B2s$NA`:n$N8e(B, 0 $B$H$J$k(B.
243: $B$3$l$O(B, $G$ $B$,(B $I$ $B$r@8@.$9$k$3$H$r0UL#$9$k(B. \qed\\
244: $B$3$NL?Bj$K$*$$$F(B, $f -s\cdot g$ ($f, g \in R; s \in M$) $B$J$k1i;;$,8=$l$?(B.
245: $BL?Bj$K$*$$$F$O(B, $f$ $B$NF,9`$r>C5n$9$k$?$a$K9T$J$o$l$?$,(B, $B0lHL$K(B, $f$ $B$N(B
246: $B9`$r(B, $B$3$N$h$&$K>C5n$9$k1i;;$,(B, $B%0%l%V%J4pDl7W;;$K$*$$$F4pK\E*$J1i;;$H$J$k(B.
247:
248: \begin{df}
249: $f, g \in R$ $B$H$7(B, $f$ $B$K8=$l$k$"$k(B monomial $m$ $B$,(B $HT(g)$ $B$G3d$j@Z$l(B
250: $B$k$H$9$k(B. $B$3$N$H$-(B $f$ $B$O(B $g$ $B$G(B {\bf $B4JLs2DG=(B (reducible)} $B$G$"$k$H$$(B
251: $B$&(B. $B$3$N$H$-(B $h = f-m/HT(g)\cdot g$ $B$KBP$7(B, $ f \mred{g} h$ $B$H=q$/(B. \\
252: $G \subset R$ $B$K$D$$$F$b(B, $G$ $B$N$"$k85$K$h$j(B $f$ $B$,(B $h$ $B$K4JLs$5$l$k$H$-(B
253: $f \mred{G} h$ $B$H=q$/(B. $B$5$i$K(B, $G$ $B$K$h$k4JLs$r(B 0 $B2s0J>e7+$jJV$7$F(B $h$ $B$,(B
254: $BF@$i$l$k$H$-(B, $f\tmred{G} h$ $B$H=q$/(B. \\
255: $f$ $B$N$I$N9`$b(B, $G$ $B$G4JLs$G$-$J$$$H$-(B, $f$ $B$O(B $G$ $B$K4X$7$F(B {\bf $B@55,(B
256: $B7A(B (normal form)} $B$G$"$k$H$$$&(B.
257: \end{df}
258:
259:
260: \begin{pr}
261: $B%$%G%"%k(B $I$ $B$N(B $B%0%l%V%J4pDl(B $G$ $B$K$D$$$F(B, $B0J2<$N$3$H$,@.$jN)$D(B.
262: \begin{enumerate}
263: \item
264: $f \in I \Leftrightarrow f \tmred{G} 0$
265: \item
266: $f \tmred{G} f_1, f \tmred{G} f_2$ $B$+$D(B $f_1, f_2$ $B$,@55,7A(B $\Rightarrow f_1 = f_2$
267: \item
268: $f \in G$ $B$G(B, $B$"$k(B $h \in G$ $B$,B8:_$7$F(B $HT(h) | HT(f)$
269: $\Rightarrow G \setminus \{f\}$ $B$O(B $I$ $B$N%0%l%V%J4pDl(B
270: \end{enumerate}
271: \end{pr}
272: \proof
273: 1. $B$O(B, $BA0L?Bj$N>ZL@$h$jL@$i$+(B. 3. $B$bDj5A$h$jL@$i$+(B. 2. $B$r<($9(B. $f -
274: f_1, f - f_2 \in I$ $B$h$j(B $f_1 - f_2 \in I$. $B$h$C$F(B $f_1 - f_2 \tmred{G} 0$.
275: $B$H$3$m$,(B, $f_1$, $f_2$ $B$H$b(B, $G$ $B$K$D$$$F@55,7A$h$j(B $f_1 - f_2$ $B$b@55,7A(B.
276: $B$h$C$F(B, $f_1 - f_2 = 0$. \qed
277:
278: \begin{co}
279: $G = \{g_1, \cdots, g_l\}$ $B$r%$%G%"%k(B $I$ $B$N(B $B%0%l%V%J4pDl$H$9$k(B. $B$3$N$H$-(B,
280: $B$"$k(B $H \subset G$ $B$,B8:_$7$F(B $H$ $B$O(B $I$ $B$N(B $B%0%l%V%J4pDl$+$D(B $HT(g_i) (g_i \in H)$
281: $B$N$I$NFs$D$b8_$$$KB>$r3d$i$J$$(B.
282: \end{co}
283: $B$3$N7O$K$h$j(B, $B>iD9$J85$r$9$Y$F=|5n$7$?(B $B%0%l%V%J4pDl$KBP$7(B, $B3F85$r(B, $B4p(B
284: $BDl$NB>$N85$KBP$7$F@55,7A$H$J$k$h$&4JLs$r9T$J$$(B, $BF,9`$N78?t$r(B 1 $B$H$J$k(B
285: $B$h$&$K$7$?4pDl$r(B{\bf $BHoLs(B (reduced) $B%0%l%V%J4pDl(B} $B$H8F$V(B. $B$3$l$,<B:]$K(B
286: $B85$N%$%G%"%k$N(B $B%0%l%V%J4pDl$K$J$C$F$$$k$3$H$O(B, $BF,9`$,JQ$o$C$F$$$J$$$3(B
287: $B$H$h$j$o$+$k(B. $B$5$i$K<!$NL?Bj$O(B, $BDj5A$h$j$?$@$A$KF@$i$l$k(B.
288:
289: \begin{pr}
290: $BHoLs%0%l%V%J4pDl$O=89g$H$7$F0l0UE*$KDj$^$k(B.
291: \end{pr}
292: $B0J>e$,(B $B%0%l%V%J4pDl$NDj5A$+$i$?$@$A$KF3$+$l$k4pK\E*$J@-<A$G$"$k$,(B, $B<B:]$K(B $B%0%l%V%J4pDl$r(B
293: $B9=@.$9$k%"%k%4%j%:%`$rF@$k$?$a$K$O(B, $B%0%l%V%J4pDl$NDj5A$N8@$$$+$($r$$$/$D$+9T$J$&(B
294: $BI,MW$,$"$k(B.
295:
296: \begin{df}
297: $G = \{g_1,\cdots,g_l\}$ $B$r(B ($B%0%l%V%J4pDl$H$O8B$i$J$$(B) R $B$NM-8BItJ,=89g$H$9$k(B.
298: $B$3$l$KBP$7(B, $B<LA|(B $d_1$ $B$r<!$GDj5A$9$k(B.
299:
300: \begin{tabbing}
301: aaaa \= aaaaaaaaaa \= aaa \= aaaa\kill
302: $d_1 :$\> $R^l$ \> $\longrightarrow$ \> $R$\\
303: \> $(f_1,\cdots,f_l)$ \> $\longmapsto$ \> $\sum f_i\cdot HT(g_i)$
304: \end{tabbing}
305: \end{df}
306:
307: \begin{df}
308: $f = (f_1,\cdots,f_l) \in R^l$ $B$,(B {\bf $T$-$B@F<!(B} $B$H$O(B, $B$"$k(B term $t$
309: $B$,B8:_$7$F(B, $B$9$Y$F$N(B $i$ $B$KBP$7(B, $f_i = 0$ $B$^$?$O(B $t = f_i\cdot
310: HT(g_i)$ $B$H=q$1$k$H$-$r8@$&(B.
311: \end{df}
312:
313: \begin{df}
314: $e_i \in R^l$ $B$r(B $e_i = (0,\cdots,1,\cdots,0)$ ($BBh(B $i$ $B@.J,$N$_(B 1) $B$HDj5A(B
315: $B$9$k(B. \\
316: $i_1,\cdots,i_k$ $B$KBP$7(B, $T_{i_1,\cdots, i_k}$ $B$r(B
317: $$T_{i_1,\cdots, i_k} = \LCM(HT(g_{i_1}),\cdots,HT(g_{i_k}))$$
318: $B$HDj5A$9$k(B.
319: $BFC$K(B, $T_i = HT(g_i)$ $B$G$"$k(B.
320: \end{df}
321:
322: \begin{pr}
323: \label{'thomo'}
324: $B%$%G%"%k(B $I$ $B$K$D$$$F(B, $B<!$OF1CM(B.
325: \begin{enumerate}
326: \item
327: $G = \{g_1,\cdots,g_l\}$ $B$O(B $I$ $B$N%0%l%V%J4pDl(B
328: \item
329: $f \in I \Leftrightarrow f \tmred{G} 0$
330: \item
331: $f \in I \Leftrightarrow$ $B$"$k(B $f_i (i = 1, \cdots, l)$ $B$,B8:_$7$F(B
332: $f = \sum_i f_i g_i$ $B$+$D(B $HT(f_i g_i) \le HT(f)$
333: \item
334: L $B$r(B $T$-$B@F<!(B $B$J(B $\Ker(d_1)$ $B$N4pDl$H$9$k$H$-(B, $BG$0U$N(B $h =
335: (h_1,\cdots,h_l) \in L$ $B$KBP$7(B, $\sum h_i\cdot g_i \tmred{G} 0$
336: \end{enumerate}
337: \end{pr}
338: \proof\\
339: 1. $\Leftrightarrow$ 2.)
340: $BL@$i$+(B. \\
341: 2. $\Rightarrow$ 3.)
342: $G$ $B$N85$K$h$k4JLsA`:n$r0l$D$K$^$H$a$k$HF@$i$l$k(B. \\
343: 3. $\Rightarrow$ 2.)
344: $B$"$k(B $i$ $B$,B8:_$7$F(B $HT(f_i g_i) = HT(f)$ $B$H$J$j(B,
345: $HT(f)$ $B$,(B $HT(f_i)$ $B$G3d$j@Z$l$k$3$H$+$i$o$+$k(B. \\
346: 4. $\Rightarrow$ 1.)
347: $f = \sum f_i\cdot g_i \in I$ $B$H$7(B, $HT(f)$ $B$,(B $HT(g_i)$ $B$N$$$:$l$+$G(B
348: $B3d$j@Z$l$k$3$H$r8@$($P$h$$(B. $B4JC1$N$?$a(B, $B$9$Y$F$N(B $i$ $B$KBP$7(B, $HC(g_i)
349: = 1$ $B$H$9$k(B. $L = \{b_1,\cdots,b_l\}$$B$H$9$k(B.
350: $m = \max_i(HT(f_i g_i))$ $B$H$*$/(B. \\
351: \underline{$HT(f) = m$ $B$N>l9g(B}
352: \quad $HT(f)$ $B$O(B, $HT(g_i)$ $B$N$$$:$l$+$G3d$j@Z$l$k(B.\\
353: \underline{$HT(f) < m$ $B$N>l9g(B}
354: \quad $A = \{i \mid HT(f_i g_i) = m\}$ $B$H$*$/$H(B, $B2>Dj$h$j(B,
355: $$\sum_{i\in A}HM(f_i)\cdot HT(g_i) = 0.$$
356: $B$h$C$F(B, $h = (h_1,\cdots,h_l) \in R^l$ $B$r(B,
357: $h_i = HM(f_i) (i \in A), h_i = 0 (i \notin A)$
358: $B$HDj5A$9$l$P(B, $h \in \Ker(d_1)$. $B$h$C$F2>Dj$h$j(B,
359: \begin{center}
360: $B$"$k(B $c_i \in M$ $B$,B8:_$7$F(B $h = \sum_i c_i b_i.$
361: \end{center}
362: $B$3$l$h$j(B
363: $$\sum_k h_k g_k = \sum_i c_i \sum_k g_k b_{ik}.$$
364: $\displaystyle{G_i = \sum_k g_k b_{ik}}$ $B$H$*$/$H(B, $G_i \tmred{G} 0$ $B$h$j(B,
365: 2. $\Rightarrow$ 3. $B$HF1MM$K(B,
366: $B$"$k(B $b'_{ik}$ $B$,B8:_$7$F(B $G_i = \sum_k g_k b'_{ik}$ $B$+$D(B $HT(g_k b'_{ik}) \le HT(G_i).$
367: $B0lJ}(B, $b_i \in \Ker(d_1)$ $B$h$j(B, $HT(G_i) < \max_k(HT(g_k b_{ik}))$.\\
368: $B$5$F(B, $\displaystyle{f'_k = \sum_i c_i b'_{ik}}$ $B$H$*$/$H(B, $\displaystyle{\sum_k h_k g_k = \sum_k f'_k g_k}$ $B$G(B,
369: $$f = \sum_{i \notin A} f_k g_k + \sum_{i \in A} (red(f)+f'_k)g_k$$
370: $B$H=q$1(B,
371: $$HT(f'_k g_k) \le \max_i(HT(c_i b'_{ik} g_k)) \le \max_i(HT(c_i G_i))$$
372: $$< \max_i(\max_k(HT(c_i g_k b_{ik}))) = \max_k(HT(h_k g_k)) = m$$
373: $B$h$j(B, $m$ $B$,$h$jDc$$=g=x$N>l9g$K5"Ce$G$-$k(B. $B$h$C$F(B, order $B$N(B Noether $B@-$K$h$j(B
374: $BM-8B2s$NA`:n$N$N$A(B, $m = HT(f)$ $B$N>l9g$K5"Ce$G$-$k(B. \qed
375: \begin{pr}
376: $G = \{g_1,\cdots,g_l\}$ $B$r(B $HC(g_i)=1$ $B$J$k(B R $B$NM-8BItJ,=89g$H$9$k(B.
377: $i,j \in \{1,\cdots,l\}$ $B$KBP$7(B, $S_{ij} \in R^l$ $B$r(B
378: $S_{ij} = T_{ij}/T_i e_i - T_{ij}/T_j e_j$ $B$GDj5A$9$k(B. $B$3$N;~(B,
379: $L = \{S_{ij}\mid i < j\}$ $B$O(B $\Ker(d_1)$ $B$N(B $T$-$B@F<!(B $B$J4pDl$H$J$k(B. $B$3$N(B
380: $B4pDl$r(B {\bf Taylor $B4pDl(B} $B$H8F$V(B.
381: \end{pr}
382: \proof
383: $f \in \Ker(d_1)$ $B$H$9$k(B. $f$ $B$r(B $T$-$B@F<!@.J,$KJ,2r$9$k$3$H$K$h$j(B,
384: $f$ $B<+?H(B $T$-$B@F<!(B $B$H$7$F$h$$(B. $f = \sum_i f_i e_i$ $B$H$9$k$H(B,
385: $f \in \Ker(d_1)$ $B$h$j(B, $f \neq 0$ $B$J$i$P(B, $B>/$J$/$H$b(B 2 $B$D$N@.J,$,(B 0
386: $B$G$J$$(B. $B$=$l$i$r(B $f_k, f_l (k < l)$ $B$H$9$k$H(B, $HT(f_k g_k) = HT(f_l g_l)$
387: $B$h$j(B, $T_{kl} | HT(f_k g_k)$. $B$3$l$h$j(B $f' = f - (HM(f_k g_k)/T_{kl}) S_{kl}$
388: $B$H$*$/$H(B, $f'$ $B$OBh(B $k$ $B@.J,$,(B 0 $B$H$J$j(B, 0 $B$G$J$$@.J,$,0l$D8:$k(B. $B$3$N(B
389: $BA`:n$r7+$jJV$7$F(B, $f$ $B$r(B $\{S_{ij}\}$ $B$G@8@.$G$-$k(B. \qed
390:
391: \begin{df}
392: $f, g \in R$ $B$KBP$7(B, {\bf S $BB?9`<0(B} $Sp(f,g)$ $B$r(B,
393: $$Sp(f,g) = {HC(g)T_{fg}\over HT(f)}\cdot f - {HC(f)T_{fg}\over HT(g)}\cdot g$$\\
394: ($T_{fg} = \LCM(HT(f),HT(g))$) $B$HDj5A$9$k(B.
395: \end{df}
396: $B0J>e$K$h$j(B, $B?7$?$J(B $B%0%l%V%J4pDl$NH=Dj>r7o$,F@$i$l$k(B.
397: \begin{pr}
398: $B%$%G%"%k(B $I$ $B$K$D$$$F(B, $B<!$OF1CM(B.
399: \begin{enumerate}
400: \item
401: $G = \{g_1,\cdots,g_l\}$ $B$O(B $I$ $B$N%0%l%V%J4pDl(B
402: \item
403: $BG$0U$NBP(B $\{f,g\} (f, g \in G; f \neq g)$ $B$KBP$7(B, $Sp(f,g) \tmred{G} 0$
404: \end{enumerate}
405: \end{pr}
406:
407: \section{Buchberger $B%"%k%4%j%:%`(B}
408: $BA0@a$N:G8e$NL?Bj$K$h$j(B, $B<!$N%"%k%4%j%:%`$,F3$+$l$k(B.
409:
410: \begin{al}(Buchberger{\rm\cite{BUCH}})
411: \label{buch}
412: \begin{tabbing}
413: Input : $R$ $B$NM-8BItJ,=89g(B $F = {f_1,\cdots,f_l}$\\
414: Output : $F$ $B$G@8@.$5$l$k%$%G%"%k$N(B $B%0%l%V%J4pDl(B$G$\\
415:
416: $D \leftarrow \{\{f,g\} \mid f, g \in F; f \neq g\}$\\
417: $G \leftarrow F$\\
418: while \=( $D \neq \emptyset$ ) do \{\\
419: \>$\{f,g\} \leftarrow D$ $B$N85(B\\
420: \>$D \leftarrow D \setminus \{C\}$\\
421: \>$h \leftarrow Sp(f,g)$ $B$N@55,7A$N0l$D(B\\
422: \>if \=$h \neq 0$ then \{\\
423: \>\>$D \leftarrow D \cup \{\{f,h\} \mid f \in G\}$\\
424: \>\>$G \leftarrow G \cup \{h\}$\\
425: \>\}\\
426: \}\\
427: return $G$
428: \end{tabbing}
429: \end{al}
430:
431: $B0J2<$G(B, $D$ $B$N85$r(B{\bf $BBP(B} (pair) $B$H8F$V$3$H$K$9$k(B.
432:
433: \begin{th}
434: $B%"%k%4%j%:%`(B \ref{buch} $B$ODd;_$7(B, $B%0%l%V%J4pDl$r=PNO$9$k(B.
435: \end{th}
436: \proof\\
437: \underline{$BDd;_@-(B}\quad $B@8@.$5$l$k@55,7A$NF,9`$,(B, $B$=$l$^$G$K@8@.$5$l$?@55,7A(B
438: $B$NF,9`$G3d$j@Z$l$J$$$3$H$h$j(B, $B7O(B \ref{noether} $B$+$i8@$($k(B. \\
439: \underline{$B=PNO$,%0%l%V%J4pDl$H$J$k$3$H(B}\quad $BA0L?Bj$K$h$j(B OK. \qed\\
440: $B$3$N%"%k%4%j%:%`$,(B Buchberger $B%"%k%4%j%:%`$N:G$b86;OE*$J7A$G$"$k$,(B,
441: \begin{itemize}
442: \item
443: $B@55,7A$,(B 0 $B$G$J$$>l9g(B, $D$ $B$NMWAG$,(B $G$ $B$NMWAG$N8D?t$@$1A}2C$9$k(B.
444: \item
445: $D$ $B$+$i0l$D85$rA*$VJ}K!$,L@<($5$l$F$$$J$$(B.
446: \end{itemize}
447: $B$J$I$NE@$G<BMQE*$G$J$$(B. $B<B:]$K7W;;5!>e$K%$%s%W%j%a%s%H$9$k(B
448: $B>l9g(B, $B>e5-FsE@$K4X$7$F9)IW$r$9$kI,MW$,$"$k(B. $B$3$l$i$K4X$7$F$O(B, $B8e$K(B
449: $B>\$7$/=R$Y$k(B.
450:
451: \section{Term order $B$NNc(B}
452:
453: $BMM!9$J(B term order $B$,Dj5A$G$-$k(B. $B$3$l$i$N(B order $B$O$=$l$>$l0[$C$?(B
454: $B@-<A$r$b$A(B, $B$=$N@-<A$K1~$8$F$5$^$6$^$JMQES$KMQ$$$i$l$k(B.
455:
456: \begin{df}
457: {\bf $B<-=q<0=g=x(B (lexicographical order; LEX)}\\
458: $x_1^{i_1}\cdots x_n^{i_n} > x_1^{j_1}\cdots x_n^{j_n} \Leftrightarrow$\\
459: $B$"$k(B $m$ $B$,B8:_$7$F(B $i_1 = j_1, \cdots, i_{m-1} = j_{m-1}, i_m > j_m$
460: \end{df}
461:
462: $B$3$N=g=x$O>C5nK!$K$h$kJ}Dx<05a2r$K:G$bE,$7$?7A$N%0%l%V%J4pDl$rM?$($k(B.
463: $B$7$+$7(B, $B$=$ND>@\7W;;$O(B, $B;~4V(B, $B6u4V7W;;NL$,$7$P$7$P6K$a$FBg$-$/$J$k(B
464: $B$H$$$&$3$H$+$iITMx$G$"$k(B.
465:
466: \begin{df}
467: {\bf $BA4<!?t<-=q<0=g=x(B (total degree lexicographical order; DLEX)}\\
468: $x_1^{i_1}\cdots x_n^{i_n} > x_1^{j_1}\cdots x_n^{j_n} \Leftrightarrow$\\
469: $\sum_k i_k > \sum_k j_k$ $B$^$?$O(B\\
470: ($\sum_k i_k = \sum_k j_k$ $B$+$D(B
471: $B$"$k(B $m$ $B$,B8:_$7$F(B $i_1 = j_1, \cdots, i_{m-1} = j_{m-1}, i_m > j_m)$
472: \end{df}
473:
474: $BF~NO$,@F<!$N>l9g(B, $B$3$N=g=x$N$b$H$G$N%0%l%V%J4pDl$H<-=q<0=g=x$K$h$k(B
475: $B%0%l%V%J4pDl$O0lCW$9$k(B. degree compatible order $B$K$h$k7W;;$O(B, $B$=$&$G$J$$(B
476: order $B$K$h$k7W;;$KHf$Y$F8zN($,$h$$$3$H$,7P83E*$KCN$i$l$F$*$j(B, $B@F<!(B
477: $B$J>l9g$K$3$N=g=x$G<-=q<0=g=x%0%l%V%J4pDl$r7W;;$9$k(B, $B$"$k$$$OHs@F<!(B
478: $B$JF~NO$r@F<!2=$7$F(B, $B$3$N=g=x$G%0%l%V%J4pDl$r7W;;$7(B, $BHs@F<!2=$9$k(B
479: $B$3$H$G$b$H$NF~NO$N<-=q<0=g=x%0%l%V%J4pDl$r5a$a$k$H$$$&$3$H$,9T$o$l$k(B.
480:
481: \begin{df}
482: {\bf $BA4<!?t5U<-=q<0=g=x(B (total degree reverse lexicographical order; DRL)}\\
483: $x_1^{i_1}\cdots x_n^{i_n} > x_1^{j_1}\cdots x_n^{j_n} \Leftrightarrow$\\
484: $\sum_k i_k > \sum_k j_k$ $B$^$?$O(B\\
485: ($\sum_k i_k = \sum_k j_k$ $B$+$D(B
486: $B$"$k(B $m$ $B$,B8:_$7$F(B $i_n = j_n, \cdots, i_{m+1} = j_{m+1}, i_m < j_m)$
487: \end{df}
488:
489: $B0lHL$K(B, $B:G$b9bB.$K%0%l%V%J4pDl$r7W;;$G$-$k$,(B, $B%0%l%V%J4pDl$N8D!9$N(B
490: $B85$N;}$D@-<A$ODO$_$K$/$/(B, $BO"N)J}Dx<0$rD>@\2r$/$3$H$O:$Fq$G$"$k(B.
491: $B$7$+$7(B, $B<!85(B, Hilbert function $B$=$NB>$NITJQNL$r7W;;$9$k>l9g$J$I(B,
492: $B%0%l%V%J4pDl$H$$$&@-<A$N$_$,I,MW$H$5$l$k>l9g$K(B, $B9bB.$K7W;;$G$-$k(B
493: $B$H$$$&FC@-$r@8$+$7$FMQ$$$i$l$k>l9g$,B?$$(B. $B$^$?(B, $B8e$K=R$Y$k(B
494: $B4pDlJQ49$NF~NO$H$7$FMQ$$$i$l$k$3$H$bB?$$(B.
495:
496: \begin{df}
497: {\bf block order}\\
498: $\{x_1,\cdots,x_n\} = S_1 \cup \cdots \cup S_l$ (disjoint sum) $B$H$7(B,
499: $<_i$ $B$r(B $T_i = K[y_1,\cdots]$ ($y_k \in S_l$) $B>e$N(B term
500: order $B$H$9$k(B. $B$3$N$H$-(B, $T$ $B>e$N(B order $B$r(B, $<_i$ $B$N(B order $B$r=g$KE,MQ$7$F(B
501: $B7h$a$k(B.
502: \end{df}
503:
504: $B<-=q<0=g=x$O(B $\{x_1,\cdots,x_n\} = \{x_1\} \cup \cdots \cup \{x_n\}$
505: $B$J$kJ,3d$K$h$k(B block order $B$G$"$k$,(B, $BC1$K(B, $B4v$D$+$NJQ?t$r>C5n$7$?7k2L(B
506: $B$r5a$a$?$$>l9g$K$O(B, $B8zN($r9M$($l$PLdBj$,$"$k(B. $B$3$N$h$&$J>l9g$K(B,
507: $S_1$ $B$K>C5n$7$?$$JQ?t(B, $S_2$ $B$K;D$j$NJQ?t(B, $B$HJ,3d$7(B, $B$=$l$>$l$K(B
508: $BBP$7(B, $BNc$($P(B DRL order $B$r@_Dj$9$k$3$H$G(B $S_1$ $B$KB0$9$kJQ?t$r>C5n$G$-$k(B.
509: $B$3$l$K$D$$$F$O8e$G=R$Y$k(B.
510:
511: \begin{df}
512: {\bf matrix order}\\
513: $M$ $B$r(B $B<!$rK~$?$9<B(B $m\times n$ $B9TNs$H$9$k(B.
514: \begin{enumerate}
515: \item $BD9$5(B $n$ $B$N@0?t%Y%/%H%k(B $v$ $B$KBP$7(B, $Mv=0 \Leftrightarrow v=0$
516: \item $BHsIi@.J,$r;}$DD9$5(B $n$ $B$N@0?t%Y%/%H%k(B $v$ $B$KBP$7(B, $Mv$ $B$N(B 0 $B$G$J$$:G=i(B
517: $B$N@.J,$O@5(B.
518: \end{enumerate}
519:
520: $B$3$N;~(B, $\N^n$ $B$N%Y%/%H%k(B $u,v$ $B$KBP$7(B,
521: \begin{center}
522: $u>v \Leftrightarrow M(u-v)$ $B$N(B 0 $B$G$J$$:G=i$N@.J,$,@5(B
523: \end{center}
524: $B$GDj5A$9$l$P(B, $B$3$N(B order $B$O(B term order $B$H$J$k(B. $B$3$l$r(B, $M$ $B$K$h(B
525: $B$jDj5A$5$l$k(B matrix order $B$H8F$V(B.
526: \end{df}
527:
528: \begin{pr} (Robbiano [\cite{ROBBIANO}])
529: $BG$0U$N(B term order $B$O(B, matrix order $B$K$h$jDj5A$G$-$k(B.
530: \end{pr}
531:
532: \newfont{\bigfont}{cmr10 scaled\magstep4}
533: \newcommand{\bigzl}{\smash{\hbox{\bigfont 0}}}
534: \newcommand{\bigzu}{\smash{\lower1.0ex \hbox{\bigfont 0}}}
535: \def\udots{\mathinner{\mkern1mu\raise1pt\vbox{\kern7pt\hbox{.}}\mkern2mu
536: \raise4pt\hbox{.}\mkern2mu\raise7pt\hbox{.}\mkern1mu}}
537:
538: \begin{ex} $B$h$/CN$i$l$?(B order $B$rDj5A$9$k(B matrix $B$NNc(B
539: \vskip\baselineskip
540:
541: $M_{DLEX}=\left(
542: \begin{array}{ccc}
543: 1 & \cdots & 1 \\
544: 1 & & \bigzu \\
545: & \ \ddots & \\
546: \bigzl & & 1 \\
547: \end{array}
548: \right)$
549: $M_{DRL}=\left(
550: \begin{array}{ccc}
551: 1 & \cdots & 1 \\
552: \bigzu & & -1 \\
553: & \udots & \\
554: -1 & & \bigzl \\
555: \end{array}
556: \right)$
557: $M_{LEX}=\left(
558: \begin{array}{ccc}
559: 1 & & \bigzu \\
560: & \ \ddots & \\
561: \bigzl & & 1 \\
562: \end{array}
563: \right)$
564:
565: \vskip\baselineskip
566: $M_{DLEX}$, $M_{DRL}$, $M_{LEX}$ $B$O$=$l$>$lA4<!?t<-=q<0(B, $BA4<!?t5U<-=q<0(B,
567: $B<-=q<0=g=x$rDj5A$9$k(B.
568: \end{ex}
569:
570:
571: \begin{ex}
572: weighted order
573:
574: \vskip\baselineskip
575: $M_{wDRL}=\left(
576: \begin{array}{ccc}
577: w_1 & \cdots & w_n \\
578: \bigzu & & -1 \\
579: & \udots & \\
580: -1 & & \bigzl \\
581: \end{array}
582: \right)$
583:
584: \vskip\baselineskip
585: $BBh0l9T$O(B, $B;X?t%Y%/%H%k(B $(d_1,\cdots,d_n)$ $B$KBP$7$F(B,
586: $\displaystyle{\sum_{i=1}^n w_id_i}$ $B$9$J$o$A(B weight $BIU$-$N(B
587: $BA4<!?t$G:G=i$KHf3S$r9T$&$3$H$r0UL#$9$k(B.
588: \end{ex}
589:
590: \begin{ex}
591: block order
592:
593: \vskip\baselineskip
594: $M_{block}$={\Large $\left(
595: \begin{array}{ccc}
596: M_1 & & \bigzl \\
597: & \ddots & \\
598: \bigzu & & M_l \\
599: \end{array}
600: \right)$}
601:
602: \vskip\baselineskip
603: $B3F(B $M_k$ $B$O(B, $B3F%V%m%C%/$KBP$9$k(B term order $B$rDj5A$9$k(B matrix
604: $B$G$"$k(B.
605: \end{ex}
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to gr.tex CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / doc / compalg