p-Adic 环的商环

lilianjie

R := pAdicRing(3,3);
> R;

> R`DefaultPrecision;

> R!100;

RR := pAdicRing(3 : Precision := 4);
> RR!100;
8 O2 l  C2 H: ^) n7 w# K+ F4 @2 e0 n
> Q := quo<R | 3^2>;
> Q;
0 ~$ B1 \% a: U3 D. F5 a# V  m  ~
% r, t7 Z7 ^5 q% W7 Y# h) T% z> Q!100;
& C" P8 ?+ K' b" X
& U3 c7 x; b" q, v9 A. [' S
, q2 s  O9 p2 {UnramifiedExtension(R, 1);
$ z2 r1 K( `+ T- ?UnramifiedExtension(RR, 1);
UnramifiedExtension(R, 2);
UnramifiedExtension(RR, 2);
UnramifiedExtension(R, 3);
UnramifiedExtension(RR, 3);
0 |: b5 Y, p: F/ {3 RUnramifiedExtension(R, 4);
; `) k" _" Z, r* Q6 U) n4 d6 Q0 HUnramifiedExtension(RR, 4);
9 ]: R* {  J- i& yext<R | 1> ;
; y6 C0 y) |$ hext<R | 2> ;
ext<R | 3> ;
ext<R | 4> ;
ext<RR | 1> ;
6 v8 ~- \7 A2 }* {. q3 b; y( x- Kext<RR | 2> ;
ext<RR | 3> ;
, s  @' \' [6 X, oext<RR | 4> ;

孤寂冷逍遥