p-Adic 环的商环

lilianjie

R := pAdicRing(3,3);
> R;
0 V4 p0 \, I0 r  N3 b
  T7 j4 O, X& _> R`DefaultPrecision;
3 T# E; n. }' P. R, _! w
> R!100;

: Z. j1 i, ]+ X0 y/ E RR := pAdicRing(3 : Precision := 4);
: D( Y$ ?; K% U9 l* F2 d0 r> RR!100;

, j/ ]6 F( H4 q2 _> Q := quo<R | 3^2>;
> Q;

> Q!100;

7 _+ e& `, Z5 s* [7 X! h/ I
UnramifiedExtension(R, 1);
) ^- k  D- W+ [/ ZUnramifiedExtension(RR, 1);
UnramifiedExtension(R, 2);
1 W8 ^3 l7 }; S% jUnramifiedExtension(RR, 2);
UnramifiedExtension(R, 3);
; t7 `. y6 _3 q. VUnramifiedExtension(RR, 3);
UnramifiedExtension(R, 4);
UnramifiedExtension(RR, 4);
ext<R | 1> ;
& c1 i" y& ~/ T, e8 yext<R | 2> ;
ext<R | 3> ;
9 s1 ^0 ~2 {" d# {ext<R | 4> ;
ext<RR | 1> ;
ext<RR | 2> ;
1 G8 z& I- m- ~3 o6 f  aext<RR | 3> ;
& b5 B4 V- o, g4 A+ J* F) @ext<RR | 4> ;

孤寂冷逍遥