p-Adic 环的商环

lilianjie

R := pAdicRing(3,3);
8 G/ w1 q. i6 X, N! N  M( a! y> R;
: M  Z8 A6 E5 B& L  v  B& r. T! T
> R`DefaultPrecision;

> R!100;

1 y; D8 M. \9 M7 \; @5 M RR := pAdicRing(3 : Precision := 4);
. j) P: R7 T" Y. ]> RR!100;

  g+ D' U1 i% N* L. s& i: T, G# x5 ^> Q := quo<R | 3^2>;
/ @# K& U% }+ Z. y0 z9 S% F> Q;
5 |) Q* `; {- Y
> Q!100;
  ^+ @9 _- C/ c; d# X3 t

UnramifiedExtension(R, 1);
UnramifiedExtension(RR, 1);
  [0 s* x$ c! I+ h3 E4 \UnramifiedExtension(R, 2);
UnramifiedExtension(RR, 2);
3 Z  y+ M" @7 ]7 ^& D! }UnramifiedExtension(R, 3);
UnramifiedExtension(RR, 3);
UnramifiedExtension(R, 4);
% q: M0 D9 ~+ cUnramifiedExtension(RR, 4);
, }, j$ ~' }; x! x# [ext<R | 1> ;
ext<R | 2> ;
ext<R | 3> ;
ext<R | 4> ;
9 x) b8 i! I0 D$ O/ S. ]ext<RR | 1> ;
3 \: p: Z6 O5 t% j/ P8 }ext<RR | 2> ;
ext<RR | 3> ;
ext<RR | 4> ;

孤寂冷逍遥