p-Adic 环的商环

lilianjie

R := pAdicRing(3,3);
> R;
. G+ x: g. N+ B
> R`DefaultPrecision;

> R!100;
& _. P0 n2 Y, c3 i3 n
# a- W1 i6 d+ q7 w' g2 W4 o RR := pAdicRing(3 : Precision := 4);
> RR!100;
! F9 G6 V/ `/ D  j' i
+ \6 t+ ?8 L% I1 W6 ~> Q := quo<R | 3^2>;
> Q;

> Q!100;
( g* x5 ^5 @8 X

UnramifiedExtension(R, 1);
UnramifiedExtension(RR, 1);
UnramifiedExtension(R, 2);
UnramifiedExtension(RR, 2);
  O4 j& z7 ]7 R# Z  _; jUnramifiedExtension(R, 3);
UnramifiedExtension(RR, 3);
UnramifiedExtension(R, 4);
UnramifiedExtension(RR, 4);
  j, X/ I2 B% B- w: jext<R | 1> ;
ext<R | 2> ;
ext<R | 3> ;
ext<R | 4> ;
, V$ ?: `8 n& P; `$ |' o5 }% J  oext<RR | 1> ;
ext<RR | 2> ;
ext<RR | 3> ;
% P/ {. L/ Y. o3 a8 [0 eext<RR | 4> ;

孤寂冷逍遥