p-Adic 环的商环

lilianjie

R := pAdicRing(3,3);
. y. e: q7 z6 P> R;
7 w1 u$ V, t% }8 z4 t5 L, I
- o$ j' @6 Q* \# h3 C> R`DefaultPrecision;
, i* M! @* [) n: [
' U  ~( `% C$ b+ [* F& k> R!100;

1 T! a$ x4 }3 {& T- J RR := pAdicRing(3 : Precision := 4);
4 I0 E, E5 T9 e3 O! S: N> RR!100;

% M) a! j: @% |, v$ R' u$ W1 U> Q := quo<R | 3^2>;
> Q;

' ?, x5 _# G9 M. [& t- b/ A1 d% n' e> Q!100;


UnramifiedExtension(R, 1);
UnramifiedExtension(RR, 1);
5 O9 E  y. T- R: B1 x- C2 IUnramifiedExtension(R, 2);
* b+ \7 j0 z& e; s# zUnramifiedExtension(RR, 2);
" c; @3 P' I$ {UnramifiedExtension(R, 3);
UnramifiedExtension(RR, 3);
- x, t: h3 p: i: C# u* D% UUnramifiedExtension(R, 4);
UnramifiedExtension(RR, 4);
2 g1 H6 X2 P3 H: B$ b  I9 |ext<R | 1> ;
ext<R | 2> ;
6 s6 C6 [: @8 Vext<R | 3> ;
ext<R | 4> ;
ext<RR | 1> ;
ext<RR | 2> ;
+ O' G8 d# L- ~ext<RR | 3> ;
ext<RR | 4> ;

孤寂冷逍遥