p-Adic 环的商环

lilianjie

R := pAdicRing(3,3);
5 C6 {/ ~" ^8 l( Y> R;
0 y9 c0 T- W8 ~7 w: z# b9 u  ]
# ~$ k4 s3 l( D/ X4 M> R`DefaultPrecision;

$ ^2 ^, r+ U0 \1 E: ?0 `> R!100;
. g0 ?) x( a( h! A: Q
RR := pAdicRing(3 : Precision := 4);
% B6 `: @: [. f8 O> RR!100;
3 f1 w. C7 e- I3 H4 e
( M: r" K0 p# g; ~$ J: ~4 N> Q := quo<R | 3^2>;
9 k, R# ?% r. k; ]1 q> Q;

> Q!100;
8 m( s% e8 Z8 D" ~  C! H4 Z1 U0 Y
& ^( X5 z. E4 J3 Z
UnramifiedExtension(R, 1);
6 @, \- r7 L. E- n% w& KUnramifiedExtension(RR, 1);
UnramifiedExtension(R, 2);
UnramifiedExtension(RR, 2);
UnramifiedExtension(R, 3);
' w* e: @8 \% g# ~4 VUnramifiedExtension(RR, 3);
UnramifiedExtension(R, 4);
UnramifiedExtension(RR, 4);
ext<R | 1> ;
) Y9 f# x: E3 W- i( [ext<R | 2> ;
ext<R | 3> ;
ext<R | 4> ;
6 d3 `% [/ x& |7 Zext<RR | 1> ;
* W' @! P, z: o: P. |# {% I6 Next<RR | 2> ;
ext<RR | 3> ;
ext<RR | 4> ;

孤寂冷逍遥