p-Adic 环的商环

lilianjie

R := pAdicRing(3,3);
> R;

> R`DefaultPrecision;

> R!100;
. h% ]) z9 x) O' S5 l. f( }3 b
# Z4 c% p7 p- O1 g4 Y2 P RR := pAdicRing(3 : Precision := 4);
> RR!100;
. n( A' u" C. m; f  J/ J% u
> Q := quo<R | 3^2>;
) k. Z/ M- o) u; s, S> Q;

> Q!100;

* G0 s& Y. \1 p% M
5 c2 \( P" ]! j: SUnramifiedExtension(R, 1);
UnramifiedExtension(RR, 1);
4 z, w" }/ t; @! \8 d6 d- rUnramifiedExtension(R, 2);
UnramifiedExtension(RR, 2);
4 t0 U0 R7 a) `UnramifiedExtension(R, 3);
$ N0 N8 U4 U- d; W9 T; ?# LUnramifiedExtension(RR, 3);
UnramifiedExtension(R, 4);
5 R) a( N8 R9 r7 c) fUnramifiedExtension(RR, 4);
ext<R | 1> ;
ext<R | 2> ;
2 v' `' U7 L$ R5 m) S" \ext<R | 3> ;
ext<R | 4> ;
ext<RR | 1> ;
! e4 r2 A$ L0 |. o% e+ y! _ext<RR | 2> ;
# C* s/ l; T6 U- X) Pext<RR | 3> ;
ext<RR | 4> ;

孤寂冷逍遥