p-Adic 环的商环

lilianjie

R := pAdicRing(3,3);
* w6 U( }/ V  `$ w+ i* }> R;
8 Y1 v8 ?+ J7 a/ }9 c$ z3 B3 L
7 o: o  L& k- w  Y> R`DefaultPrecision;
" g8 Z9 K7 w2 V2 O6 S
0 ~- D; w# u/ z' B0 ?* P+ X> R!100;

" ^* [( c4 m+ [! S7 Z4 f RR := pAdicRing(3 : Precision := 4);
4 B2 l: d8 y$ w1 G+ |8 n% G9 `> RR!100;
" Z' j, y( U+ ?  O& z1 _+ X
> Q := quo<R | 3^2>;
> Q;
9 R5 W4 u, z. J
2 J, p  W. |( [* r> Q!100;

9 R: h' O1 ?" e) M
UnramifiedExtension(R, 1);
& I- X: ]% N& }UnramifiedExtension(RR, 1);
: p) P  p* D/ i* A& UUnramifiedExtension(R, 2);
UnramifiedExtension(RR, 2);
& m9 N1 P% Q/ jUnramifiedExtension(R, 3);
UnramifiedExtension(RR, 3);
- O  K: x; Y& x1 i) P& V1 J+ Y8 ?) S  _. QUnramifiedExtension(R, 4);
! O$ F* q9 q3 A7 WUnramifiedExtension(RR, 4);
ext<R | 1> ;
- Q3 S( P2 [: b5 H- k( sext<R | 2> ;
+ ?2 t2 F) C% Uext<R | 3> ;
, F; w' Q8 a8 ?8 l$ k! @0 Q! gext<R | 4> ;
ext<RR | 1> ;
8 J% V2 y- l% M* o* x4 d3 Uext<RR | 2> ;
) w8 n& I& m4 w, Vext<RR | 3> ;
% G. i) g" m, ^' r  I# V2 {, Xext<RR | 4> ;

孤寂冷逍遥