p-Adic 环的商环

lilianjie

R := pAdicRing(3,3);
> R;
6 V  {0 c& {& M  S
/ U+ X- x; q2 }! ?5 @> R`DefaultPrecision;
9 d$ E. i5 D, [( `8 Y
> R!100;
" C& s7 G/ j+ J* K. ?& X
2 X! r; g% @/ z- d/ H4 j6 P RR := pAdicRing(3 : Precision := 4);
( p& t8 `* L1 A8 c> RR!100;
2 U) i; q) \! f' m) t, p# b
> Q := quo<R | 3^2>;
4 \, S$ w3 I$ }* T, Z- N$ H6 R> Q;

1 K2 J$ c' h9 O4 T8 T> Q!100;
! v+ k3 X3 i7 ?3 A! ?9 ~

+ |& `! ~" D9 ?2 ]0 P1 ~( ^UnramifiedExtension(R, 1);
UnramifiedExtension(RR, 1);
UnramifiedExtension(R, 2);
UnramifiedExtension(RR, 2);
UnramifiedExtension(R, 3);
* v6 P4 s9 f' D. OUnramifiedExtension(RR, 3);
' N' R1 A: o" t4 q, f( m- a8 b: |UnramifiedExtension(R, 4);
+ ]: l5 u- Y( y! UUnramifiedExtension(RR, 4);
ext<R | 1> ;
& C5 }2 C6 @# }8 w) l9 ]ext<R | 2> ;
: x1 Q% Q- T/ Lext<R | 3> ;
ext<R | 4> ;
3 b) J, H  s+ i. Gext<RR | 1> ;
: K2 Y, b( A/ `8 }ext<RR | 2> ;
ext<RR | 3> ;
ext<RR | 4> ;

孤寂冷逍遥