p-Adic 环的商环

lilianjie

R := pAdicRing(3,3);
> R;
# f- |7 l6 r: W& R4 [
> R`DefaultPrecision;
* O( [3 h; F) P0 z. U7 m! Z
4 T9 E1 c- m8 c2 @: b5 i% ^. p> R!100;
0 Y6 F/ _1 w( `* Z# t4 i
RR := pAdicRing(3 : Precision := 4);
> RR!100;
. e2 C' H0 W. N) I! F
( s+ X) t# l" j  O/ ?7 P4 e; S5 U> Q := quo<R | 3^2>;
> Q;

> Q!100;
$ B$ I, l  {* E' o* I3 O( A. A5 E

4 q( N, O- H, Z6 r3 y: A5 r, fUnramifiedExtension(R, 1);
UnramifiedExtension(RR, 1);
UnramifiedExtension(R, 2);
UnramifiedExtension(RR, 2);
UnramifiedExtension(R, 3);
; D. Y' n" @. z; L8 i: C6 I  xUnramifiedExtension(RR, 3);
UnramifiedExtension(R, 4);
) D; E9 F8 ^, Y) @+ D2 r6 B7 ?5 S4 KUnramifiedExtension(RR, 4);
ext<R | 1> ;
ext<R | 2> ;
9 Y7 _$ N3 B) y! Q5 Cext<R | 3> ;
, D$ v- {7 r/ o( X5 _ext<R | 4> ;
ext<RR | 1> ;
ext<RR | 2> ;
3 G  k" J3 r- L# r  [" t( J' Text<RR | 3> ;
% ?9 p1 O8 G+ R7 C8 @1 {9 b% bext<RR | 4> ;

孤寂冷逍遥