p-Adic 环的商环

lilianjie

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

> R`DefaultPrecision;

6 I3 _5 |! `- `/ f1 P> R!100;
8 V& x5 [) t0 O9 J
/ M' f6 O' s2 A6 M# [$ B3 w8 ] RR := pAdicRing(3 : Precision := 4);
> RR!100;

> Q := quo<R | 3^2>;
> Q;
' @% \; ]8 w0 L3 L2 C
" Z& Y8 r% W3 X  P. g4 R. o& r4 o> Q!100;
! q8 G$ V; }5 q5 g: g3 [
% G) h) z, [9 |" f5 K' S
/ q) `% \/ k3 g" YUnramifiedExtension(R, 1);
UnramifiedExtension(RR, 1);
UnramifiedExtension(R, 2);
UnramifiedExtension(RR, 2);
UnramifiedExtension(R, 3);
UnramifiedExtension(RR, 3);
UnramifiedExtension(R, 4);
UnramifiedExtension(RR, 4);
ext<R | 1> ;
% t; n$ o7 U2 L8 ?6 wext<R | 2> ;
ext<R | 3> ;
ext<R | 4> ;
% A2 B, R6 R0 f* w. iext<RR | 1> ;
ext<RR | 2> ;
ext<RR | 3> ;
1 a: H+ z, D# q" Q) L; ^1 L9 v- Yext<RR | 4> ;

孤寂冷逍遥