p-Adic 环的商环

lilianjie

R := pAdicRing(3,3);
> R;
/ `) m' z5 Y: r" L: y, _
: [0 Y6 n# S3 n  s  T1 V> R`DefaultPrecision;

> R!100;

$ ^& J" }" t2 `. e  S* I RR := pAdicRing(3 : Precision := 4);
/ M* x: w$ o" F( E( E! M% \" g; A7 s" Q; k> RR!100;
3 C& X5 |7 v: u
4 O$ C) h- X$ {6 S( K3 q4 R> Q := quo<R | 3^2>;
; B" [6 A/ Y  a. A6 X> Q;
$ ^% f" ?5 H( t% \% |7 Y9 g$ [, G
1 R* {. A, J/ Q8 F/ U0 z! g> Q!100;
: q) _" @' E+ l1 u# w; l9 V
" n& j9 I0 k  F( Q+ P
4 l, d& B6 U, E) BUnramifiedExtension(R, 1);
! Q2 T! Q+ h: |3 c# r. f* GUnramifiedExtension(RR, 1);
UnramifiedExtension(R, 2);
0 s& h1 {5 n, B4 w% S9 v8 a# {3 aUnramifiedExtension(RR, 2);
UnramifiedExtension(R, 3);
UnramifiedExtension(RR, 3);
0 ~; A" C7 v1 ?& xUnramifiedExtension(R, 4);
& I6 p. g! u, ~5 l- I* b5 zUnramifiedExtension(RR, 4);
* K% ~2 Z" I. D6 B8 q6 z4 {ext<R | 1> ;
! i9 }" M0 H6 j/ k9 Q0 r/ y) t( ]ext<R | 2> ;
ext<R | 3> ;
' M. g* V3 P* A7 H& R* j9 Yext<R | 4> ;
ext<RR | 1> ;
ext<RR | 2> ;
ext<RR | 3> ;
ext<RR | 4> ;

孤寂冷逍遥