p-Adic 环的商环

lilianjie

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

3 O& ~$ r4 _* p> R`DefaultPrecision;

& R+ h, `( E- P" r7 r! M0 H> R!100;
% V) n& d' y" J) ?' I
RR := pAdicRing(3 : Precision := 4);
> RR!100;
: Q/ I" r* X$ x# H( u. Y3 |2 @
> Q := quo<R | 3^2>;
/ M! b: v4 n& B1 {. v! b" `> Q;

> Q!100;
9 u6 a4 p( F; E. ~
- y# v9 {+ S* M3 g% L0 j( u
UnramifiedExtension(R, 1);
  E6 `: ?& x/ C& z' l# MUnramifiedExtension(RR, 1);
# j+ p" l. J3 rUnramifiedExtension(R, 2);
UnramifiedExtension(RR, 2);
9 ?0 ~5 B) n3 g  ZUnramifiedExtension(R, 3);
0 H4 ^! @* z9 u2 g& \UnramifiedExtension(RR, 3);
UnramifiedExtension(R, 4);
UnramifiedExtension(RR, 4);
ext<R | 1> ;
ext<R | 2> ;
: Q$ y( r2 T. a* _* rext<R | 3> ;
ext<R | 4> ;
9 d/ L: z4 `7 ^( Vext<RR | 1> ;
ext<RR | 2> ;
& `' M1 s0 ~- b( d6 d1 I* c, Jext<RR | 3> ;
0 H4 V; d, z  R8 B* _5 |ext<RR | 4> ;

孤寂冷逍遥