p-Adic 环的商环

lilianjie

R := pAdicRing(3,3);
2 C! n" C$ Q+ I# \: r" F> R;
& K3 O. x2 h: K
3 |8 j( X# V' ~5 T& A+ ]> R`DefaultPrecision;

> R!100;

' h, f  X, f9 Y8 S$ ` RR := pAdicRing(3 : Precision := 4);
3 C7 B. B  D5 J; q# b5 M* h* `1 j' x8 L> RR!100;
9 t0 q! M/ ^4 `
! e5 e1 G6 p6 ?> Q := quo<R | 3^2>;
: H( V! J/ @& J9 `  S4 l  A/ y> Q;

% U% @# E9 P  M" P0 D) Y( u> Q!100;

) d. B8 V3 z, D1 T1 b" \: W
! S& P) J9 {' x+ s# ~UnramifiedExtension(R, 1);
UnramifiedExtension(RR, 1);
UnramifiedExtension(R, 2);
UnramifiedExtension(RR, 2);
0 p4 r# o6 B+ F$ x# K% H/ pUnramifiedExtension(R, 3);
1 l1 l: I% {* y9 W& B6 _% wUnramifiedExtension(RR, 3);
UnramifiedExtension(R, 4);
UnramifiedExtension(RR, 4);
( G3 N$ s& l& K5 d2 s/ W4 |! dext<R | 1> ;
5 }5 z: u- G8 x/ |2 Wext<R | 2> ;
% B% d% y8 S3 s& P* t* Z* Y& zext<R | 3> ;
3 T1 X( E0 J- r6 O  P4 @ext<R | 4> ;
9 C5 |6 H& W( Y1 Y% _. N! d5 Gext<RR | 1> ;
ext<RR | 2> ;
ext<RR | 3> ;
  Z. U3 T" B: H1 I& Cext<RR | 4> ;

孤寂冷逍遥