p-Adic 环的商环

lilianjie

R := pAdicRing(3,3);
> R;
$ x  `/ s" w6 {# x' S
& y% k# l3 J5 i5 X> R`DefaultPrecision;
# q- ~8 p) g4 Y/ x5 {1 |& X% m1 x& w
> R!100;
; \8 e, H. \$ R- Z
RR := pAdicRing(3 : Precision := 4);
! |% t( Q& g/ r$ J> RR!100;

( O9 s3 M# {5 y3 |> Q := quo<R | 3^2>;
> Q;
8 ?/ Q5 h0 U2 Z% M& w" [6 E2 p7 X
1 T9 |; Q2 S$ u3 u' I% d3 C  L> Q!100;
! z$ ?; V5 Y3 ~( |5 H7 R

UnramifiedExtension(R, 1);
3 G6 [# w# k& Z$ ^- nUnramifiedExtension(RR, 1);
UnramifiedExtension(R, 2);
UnramifiedExtension(RR, 2);
1 `! ]% p1 F! e2 R6 U+ i" X* HUnramifiedExtension(R, 3);
# w7 }% g$ g0 JUnramifiedExtension(RR, 3);
UnramifiedExtension(R, 4);
( k" P, e( ?  v% v8 |$ I- w0 HUnramifiedExtension(RR, 4);
+ l2 W4 z$ e- p8 ?: q# qext<R | 1> ;
  E9 k: {) e; d/ k; w* Sext<R | 2> ;
ext<R | 3> ;
ext<R | 4> ;
ext<RR | 1> ;
ext<RR | 2> ;
ext<RR | 3> ;
ext<RR | 4> ;

孤寂冷逍遥