p-Adic 环的商环

lilianjie

R := pAdicRing(3,3);
> R;
8 S0 Z4 U7 {4 |" A$ r% w
> R`DefaultPrecision;
! t5 G2 F+ E$ L2 }' [1 H
, z0 o) k! W3 K' f> R!100;
# v" W* \$ T0 F
RR := pAdicRing(3 : Precision := 4);
/ t7 q8 a) Y; c> RR!100;

> Q := quo<R | 3^2>;
> Q;

> Q!100;
% R7 X; a+ s. J6 ]

UnramifiedExtension(R, 1);
/ K, u$ [# r* f: o! a9 V: cUnramifiedExtension(RR, 1);
- F! e6 X: q1 T9 x, uUnramifiedExtension(R, 2);
UnramifiedExtension(RR, 2);
9 U& @$ t& Q, j' j  Y' E  xUnramifiedExtension(R, 3);
% z/ t# k& {6 E/ f9 \% Z/ `( _UnramifiedExtension(RR, 3);
0 i1 c: @; t( P& A* v1 KUnramifiedExtension(R, 4);
UnramifiedExtension(RR, 4);
ext<R | 1> ;
ext<R | 2> ;
ext<R | 3> ;
2 X8 y- s8 v% F  I0 K7 _- S$ S; [ext<R | 4> ;
ext<RR | 1> ;
+ f: r8 l6 v2 W5 cext<RR | 2> ;
( j/ ?( T, p, B& r$ mext<RR | 3> ;
9 l1 m1 F7 K/ a+ `ext<RR | 4> ;

孤寂冷逍遥