p-Adic 环的商环

lilianjie

R := pAdicRing(3,3);
! S: b7 B% F; n+ f5 m+ `> R;
9 c4 j2 }+ P: j6 Q, q; c
> R`DefaultPrecision;

/ m5 T" Y4 ]$ G! r/ V# h+ K; e> R!100;

  F4 |) t! ]. ]- b# e9 H6 F RR := pAdicRing(3 : Precision := 4);
1 a/ k7 }8 h- \' y$ ^! U> RR!100;
" d. B# ~( G$ Z& L8 S( N
> Q := quo<R | 3^2>;
, c& n& P5 f2 w9 O" ^3 ~% Z5 D> Q;
* _/ Z- y3 V# Y; ]" I+ M, p
> Q!100;
. X0 n7 [6 J( X: L$ v

UnramifiedExtension(R, 1);
UnramifiedExtension(RR, 1);
UnramifiedExtension(R, 2);
UnramifiedExtension(RR, 2);
UnramifiedExtension(R, 3);
UnramifiedExtension(RR, 3);
UnramifiedExtension(R, 4);
UnramifiedExtension(RR, 4);
; G6 M7 w$ o2 v/ W! O7 `ext<R | 1> ;
. O: N- x0 j8 s4 Jext<R | 2> ;
; \2 u& V$ ?" _; Lext<R | 3> ;
ext<R | 4> ;
& K  s9 G: ~# g0 sext<RR | 1> ;
ext<RR | 2> ;
ext<RR | 3> ;
ext<RR | 4> ;

孤寂冷逍遥