p-Adic 环的商环

lilianjie

R := pAdicRing(3,3);
> R;
- z; n* \6 s, V& B  U7 T
> R`DefaultPrecision;
' b8 h2 n& C1 h) B1 i
> R!100;

RR := pAdicRing(3 : Precision := 4);
> RR!100;
$ g  p7 |1 a% s  {/ y0 U2 ~, ?
> Q := quo<R | 3^2>;
> Q;
  O5 i6 A  P& Z
7 Z6 K7 \; m9 @1 Q% {2 T> Q!100;

5 K; y& U+ ^# C, P
: C, V$ {; G" C9 D6 R) G0 }UnramifiedExtension(R, 1);
UnramifiedExtension(RR, 1);
& ], m& U6 [1 |UnramifiedExtension(R, 2);
- |: h, b3 u/ j2 ^2 b4 @# N" pUnramifiedExtension(RR, 2);
' ~! d4 F$ G. d  X+ B2 E0 L  q9 qUnramifiedExtension(R, 3);
UnramifiedExtension(RR, 3);
) [. g) @( I, @0 K- NUnramifiedExtension(R, 4);
) L- O* W# h9 GUnramifiedExtension(RR, 4);
  T* z: T/ X5 Z8 E5 Next<R | 1> ;
ext<R | 2> ;
; m7 u# x9 x) W: _7 W9 F+ d  Dext<R | 3> ;
ext<R | 4> ;
ext<RR | 1> ;
: U9 Z* C( a0 `0 `6 ]/ dext<RR | 2> ;
4 M  Y. ]( R0 o5 y0 i% Aext<RR | 3> ;
" t$ w1 a! ~" b7 E0 x  qext<RR | 4> ;

孤寂冷逍遥