p-Adic 环的商环

lilianjie

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

> R`DefaultPrecision;

> R!100;
3 r9 i7 d/ T/ c% a' Q* j
/ o% h  ^2 P; L  h RR := pAdicRing(3 : Precision := 4);
> RR!100;

> Q := quo<R | 3^2>;
) J* X0 C- ^- ~  ]! L> Q;

> Q!100;
' k7 b, K9 N) y! ^1 v

UnramifiedExtension(R, 1);
UnramifiedExtension(RR, 1);
) ]) f/ W+ `; C& F( S6 tUnramifiedExtension(R, 2);
5 I+ S9 H; Y5 i6 L* ]UnramifiedExtension(RR, 2);
UnramifiedExtension(R, 3);
UnramifiedExtension(RR, 3);
UnramifiedExtension(R, 4);
UnramifiedExtension(RR, 4);
) n. l  t9 h# zext<R | 1> ;
, @. B4 C3 s; c5 S7 q, s& next<R | 2> ;
+ @0 A8 T* Q5 F' m  N! ^ext<R | 3> ;
ext<R | 4> ;
4 g: U% N2 l) k5 y6 b, Q/ R8 jext<RR | 1> ;
4 B2 w# E1 h. \& N9 w, M. oext<RR | 2> ;
, w+ ^6 \6 u6 _ext<RR | 3> ;
/ z' [: h' U( ?! Z( k, \ext<RR | 4> ;

孤寂冷逍遥