version 1.1, 2002/12/04 08:57:21 |
version 1.2, 2002/12/06 09:23:42 |
|
|
% $OpenXM$ |
% $OpenXM: OpenXM/doc/Papers/rims-2002-noro-ja.tex,v 1.1 2002/12/04 08:57:21 noro Exp $ |
\documentclass[theorem]{jarticle} |
\documentclass[theorem]{jarticle} |
\usepackage{jssac} |
\usepackage{jssac} |
|
|
Line 246 $g_k$ $B$^$?$O(B $h_k$ $B$G(B $f$ $B$r3d$C$F$_$k$ |
|
Line 246 $g_k$ $B$^$?$O(B $h_k$ $B$G(B $f$ $B$r3d$C$F$_$k$ |
|
$B$+$i$G$"$k(B. $B$3$l$K$h$j(B, $B0L?t$,(B $2^{29}$ $BDxEY$^$G$NAGBN>e$G(B, $BB?JQ?tB?9`<0(B |
$B$+$i$G$"$k(B. $B$3$l$K$h$j(B, $B0L?t$,(B $2^{29}$ $BDxEY$^$G$NAGBN>e$G(B, $BB?JQ?tB?9`<0(B |
$B$N0x?tJ,2r$,9T$($k$h$&$K$J$C$?(B. |
$B$N0x?tJ,2r$,9T$($k$h$&$K$J$C$?(B. |
|
|
\subsection{$B78?t4D$H$7$F$N(B $R[y]/(y^d)$ $B$K$D$$$F(B} |
\subsection{$B78?t4D$H$7$F$N(B $K[y]/(y^d)$ $B$K$D$$$F(B} |
|
|
Hensel $B9=@.$K$*$$$F$O(B, $R[y]/(y^d)$ $B$r(B, $BB?9`<0$N78?t4D$H$7$F(B |
Hensel $B9=@.$K$*$$$F$O(B, $K[y]/(y^d)$ $B$r(B, $BB?9`<0$N78?t4D$H$7$F(B |
$B07$&I,MW$,$"$k(B. $B$3$N$?$a(B, $B?7$?$J?t$N7?$H$7$F(B, $R[y]/(y^d)$ $B$r(B |
$B07$&I,MW$,$"$k(B. Asir $B$K$*$$$F$O(B, $B4{$K(B, $B>.0L?tM-8BBN(B $K$ $B$NBe?t3HBg(B |
$BI=$97?$rDj5A$7$?(B. $BB?JQ?tB?9`<0$O(B, Hensel $B9=@.$N:G=i$G(B, $B$3$N(B |
$B$rI=8=$9$k7?$,$"$k$,(B, $B$3$l$O(B, $K[y]/(m(y))$ ($m(y)$ $B$O:G>.B?9`<0(B) |
|
$B$H$7$FI=8=$5$l$F$$$k$?$a(B, $m(y)=y^d$ $B$H$9$l$P(B, $B2C8:>h;;$ON.MQ(B |
|
$B$G$-$k(B. $B$^$?(B, $B=|;;$K8=$l$k5U857W;;$K$D$$$F$O(B, 0 $B$G$J$$Dj?t9`$r;}$D(B |
|
$BB?9`<0$GI=8=$5$l$k85$K8B$l$P(B, $B$=$l$O(B $y^d$ $B$H8_$$$KAG$J$N$G(B |
|
$B5U85$r;}$A(B, $B8_=|K!$G7W;;$G$-$k(B. $B4{$K=R$Y$?$h$&$K(B, $x$ $B$K4X$9$k<g78?t(B |
|
$B$,(B 0 $B$G$J$$Dj?t9`$r;}$D$h$&$KJ?9T0\F0$7$F$"$k$N$G(B, $K[y]/(y^d)$ $B$N(B |
|
$B7W;;$r(B, $B$3$3$G=R$Y$?J}K!$G9T$&$3$H$,$G$-$k(B. |
|
$BB?JQ?tB?9`<0$O(B, Hensel $B9=@.$N:G=i$G(B, $B$3$N(B |
$B7?$N78?t$r;}$DB?9`<0$KJQ49$5$l$k(B. $B$"$i$+$8$a(B $d$ $B$r%;%C%H$7$F(B |
$B7?$N78?t$r;}$DB?9`<0$KJQ49$5$l$k(B. $B$"$i$+$8$a(B $d$ $B$r%;%C%H$7$F(B |
$B$*$/$3$H$K$h$j(B, $B1i;;$O<+F0E*$K(B $\bmod \, y^d$ $B$5$l$k$?$a(B, |
$B$*$/$3$H$K$h$j(B, $B1i;;$O<+F0E*$K(B $\bmod \, y^d$ $B$5$l$k$?$a(B, |
$BDL>o$NB?9`<01i;;$N8F$S=P$7$r9T$&$@$1$G(B, $K[y]/(y^d)$ $B78?t$N(B |
$BDL>o$NB?9`<01i;;$N8F$S=P$7$r9T$&$@$1$G(B, $K[y]/(y^d)$ $B78?t$N(B |
$BB?9`<01i;;$,<B9T$G$-$k(B. |
$BB?9`<01i;;$,<B9T$G$-$k(B. |
|
|
|
\section{$B%?%$%_%s%0%G!<%?(B} |
|
|
|
$BM-8BBN>e$NB?JQ?tB?9`<0$N0x?tJ,2r$rDs6!$7$F$$$k%7%9%F%`$O?t>/$J$$(B. |
|
$BI.<T$NCN$kM#0l$N$b$N$O(B Maple $B$J$N$G(B, Maple $B$HHf3S$r9T$&(B. Maple $B$O(B, |
|
$B$3$N5!G=$K4X$7$F$O(B, kernel $B$K$*$$$F@lMQ$NFC<l$J%G!<%?7?$rB?MQ$7$F(B |
|
$B8zN($r>e$2$F$$$k$?$a(B, $BHf3S$9$k$3$H$O%"%s%U%'%"$G$O$J$$$H9M$($k(B. |
|
|
|
\section{$B$*$o$j$K(B} |
|
|
|
$B:#8e$NM=Dj$H$7$F(B, $B<!$N$h$&$J$3$H$r9M$($F$$$k(B. |
|
|
|
\begin{itemize} |
|
\item $B@5I8?t$N=`AGJ,2r(B |
|
|
|
\item $BBN$N0L?t$,B-$j$J$$>l9g$K(B, $B<+F0E*$K4pACBN$r3HBg$9$k(B |
|
|
|
\item $B3FItJ,$N8zN(2=(B |
|
\end{itemize} |
|
|
\begin{thebibliography}{99} |
\begin{thebibliography}{99} |
\bibitem{B97-2} |
\bibitem{B97-2} |