p-Adic 环的商环

lilianjie

R := pAdicRing(3,3);
> R;

* j. \% v- Q2 S8 E" f* Z> R`DefaultPrecision;
( `: Y. K( o6 L1 P7 h8 [2 a1 q  R
6 Y9 a- P; c% R' C( E( H> R!100;

+ P+ }1 M+ m& c2 I" t6 e RR := pAdicRing(3 : Precision := 4);
> RR!100;
" |) S+ U3 D/ \9 D' T
4 E7 v. S0 H7 Y3 j> Q := quo<R | 3^2>;
& _  S7 `9 s' `> Q;

> Q!100;


5 X3 ^# A6 ?% j; }6 ~UnramifiedExtension(R, 1);
9 ?7 a& w3 J7 j  }0 d% s! \% ^( u+ l8 jUnramifiedExtension(RR, 1);
UnramifiedExtension(R, 2);
UnramifiedExtension(RR, 2);
. Z: n% Z) b  Q: i5 OUnramifiedExtension(R, 3);
UnramifiedExtension(RR, 3);
: a* j: T- E1 y- G1 A) [: pUnramifiedExtension(R, 4);
+ h' }; l# @( h8 }; s5 FUnramifiedExtension(RR, 4);
! A, ]. k$ x" @% J: E: ^* Qext<R | 1> ;
6 s" d9 y: n0 J8 h+ ~ext<R | 2> ;
ext<R | 3> ;
9 E4 }' o0 h7 pext<R | 4> ;
1 Y. m# p& w6 @* T# s, ]ext<RR | 1> ;
ext<RR | 2> ;
ext<RR | 3> ;
ext<RR | 4> ;

孤寂冷逍遥