p-Adic 环的商环

lilianjie

R := pAdicRing(3,3);
> R;
6 {* j  D4 d# E9 r' Y% h% G; W2 l
/ t$ O0 ?5 a$ d> R`DefaultPrecision;

, o$ T; c8 `' b* h1 ?0 {8 y> R!100;

" k! [5 W" U6 W5 G RR := pAdicRing(3 : Precision := 4);
> RR!100;

> Q := quo<R | 3^2>;
$ L* w9 s' f9 e0 C3 E9 d, c> Q;

) C& A/ B) N4 F6 M0 b% f: I. |" y; }> Q!100;
& D6 T9 b) H' S2 T

UnramifiedExtension(R, 1);
UnramifiedExtension(RR, 1);
UnramifiedExtension(R, 2);
# |2 J: A% w, \8 P# oUnramifiedExtension(RR, 2);
UnramifiedExtension(R, 3);
UnramifiedExtension(RR, 3);
' N& Q$ v$ i/ k: S/ UUnramifiedExtension(R, 4);
0 j! E* D! R( `, r% N+ ~UnramifiedExtension(RR, 4);
8 a! q7 B. b1 I1 Vext<R | 1> ;
: |' R: o2 W: _6 Aext<R | 2> ;
$ n( x+ M7 V! [: r' H, n( L: }' g$ P" gext<R | 3> ;
ext<R | 4> ;
ext<RR | 1> ;
6 G7 H+ r, ]- r) s& Q2 T4 z  ?3 i0 rext<RR | 2> ;
ext<RR | 3> ;
ext<RR | 4> ;

孤寂冷逍遥