p-Adic 环的商环

lilianjie

R := pAdicRing(3,3);
% W  h# c8 Q3 ]1 Y' t( L8 r> R;

# {& B0 l& |9 p% |! a2 F8 q1 G> R`DefaultPrecision;
" v2 Z; o+ ~1 `
1 C6 {) N5 y1 @5 d- ^# t> R!100;
  N0 \8 r; g" u2 W, w/ [
! c/ g6 M- a3 F$ q. [) ]. s RR := pAdicRing(3 : Precision := 4);
& O2 Z. S% E& f1 Y. w0 }; T> RR!100;

> Q := quo<R | 3^2>;
> Q;

' ^+ {8 |* i/ ~5 E> Q!100;
' E, q! B% U* u4 l8 \8 P: P9 Q' m
/ E# C% B* I: w, X7 n
- j  Z7 L4 u3 H0 ~- ?UnramifiedExtension(R, 1);
UnramifiedExtension(RR, 1);
2 O7 r" u3 V* o8 N. FUnramifiedExtension(R, 2);
, V6 `* M' }) E7 v& J7 QUnramifiedExtension(RR, 2);
; w/ |  B6 g- PUnramifiedExtension(R, 3);
! y4 J+ s0 @/ BUnramifiedExtension(RR, 3);
UnramifiedExtension(R, 4);
UnramifiedExtension(RR, 4);
ext<R | 1> ;
# s# G% O8 K+ i8 |ext<R | 2> ;
ext<R | 3> ;
3 {4 s4 ?$ B9 Qext<R | 4> ;
: M! C( o6 ]: ~5 d9 D( }$ fext<RR | 1> ;
8 [  o+ a7 q+ ^( W$ [$ L8 @ext<RR | 2> ;
ext<RR | 3> ;
ext<RR | 4> ;

孤寂冷逍遥