p-Adic 环的商环

lilianjie

R := pAdicRing(3,3);
# i, q% o2 E' g+ L; z: S+ `> R;

; ?' w% y. Y1 j> R`DefaultPrecision;
2 N4 Z- P2 X; L6 y4 t; v1 E: F
% l$ t- K$ d* n% d- q& g> R!100;
) X" e2 @2 E8 N
RR := pAdicRing(3 : Precision := 4);
> RR!100;

" }9 F! Y1 v- K) ]- n% {& \. I> Q := quo<R | 3^2>;
3 K9 s2 @7 u- E2 P- J7 m2 s> Q;

4 x% k2 C2 F. P7 K; L6 x( v( N3 p> Q!100;
$ T) J6 \: E. }

, U" r9 J4 H4 Q% Y* bUnramifiedExtension(R, 1);
UnramifiedExtension(RR, 1);
# t" @9 S  X( r: }- gUnramifiedExtension(R, 2);
$ _1 d- d. E. z3 ~2 cUnramifiedExtension(RR, 2);
- M" D2 l# m' n! t: G! g3 q0 q- C( s9 _UnramifiedExtension(R, 3);
( z$ D" {& t4 U! h9 j% r2 ^0 E8 }3 uUnramifiedExtension(RR, 3);
UnramifiedExtension(R, 4);
! m. L0 N1 M& u( i4 _+ a8 R, dUnramifiedExtension(RR, 4);
ext<R | 1> ;
ext<R | 2> ;
ext<R | 3> ;
) {) O: n. ]0 b. F# Y2 a, O5 Zext<R | 4> ;
ext<RR | 1> ;
8 z" ?1 f  z) Pext<RR | 2> ;
* B7 R9 Q# N8 }" h% Yext<RR | 3> ;
1 {0 z- E1 r7 V1 u3 |. I5 v5 d1 text<RR | 4> ;

孤寂冷逍遥