p-Adic 环的商环

lilianjie

R := pAdicRing(3,3);
9 j1 }* e8 d* `- Z, I5 w6 y> R;
# D/ U! j# D2 j4 ~4 L0 e
> R`DefaultPrecision;
  }# v1 x: b" v- z9 k/ Y8 f6 @
> R!100;
: \& N- Z, }0 [5 R* [9 D
RR := pAdicRing(3 : Precision := 4);
> RR!100;
6 C" \3 q6 D- @" ~8 o, `$ r  l6 t6 q
, Y" V: Y" y& u1 @> Q := quo<R | 3^2>;
> Q;

> Q!100;

' D# N! S" E9 p- S( H
UnramifiedExtension(R, 1);
% V0 X( w" Z6 m; X+ cUnramifiedExtension(RR, 1);
UnramifiedExtension(R, 2);
) s( T8 x  a6 X5 h8 |" ?UnramifiedExtension(RR, 2);
+ [. y' Q% |% P- c8 b# zUnramifiedExtension(R, 3);
UnramifiedExtension(RR, 3);
% G) P9 `; r- R& o# D  lUnramifiedExtension(R, 4);
; Q& d; a& f# H1 Q0 FUnramifiedExtension(RR, 4);
ext<R | 1> ;
ext<R | 2> ;
ext<R | 3> ;
7 N6 L6 c  j$ V% zext<R | 4> ;
ext<RR | 1> ;
2 n8 ^& D7 m3 i- T2 p" \ext<RR | 2> ;
/ Q* X8 }6 ^9 b) G4 V. f9 ]1 sext<RR | 3> ;
$ g' W  R9 Y( B/ V3 A* {  M! y6 Eext<RR | 4> ;

孤寂冷逍遥