p-Adic 环的商环

lilianjie

R := pAdicRing(3,3);
> R;
2 j6 E$ r# p3 v. a4 T
) r' D- M) H; V4 H0 f> R`DefaultPrecision;

' u8 a# M0 x# C" E> R!100;

( T" i- m- e; M RR := pAdicRing(3 : Precision := 4);
> RR!100;
7 |6 G) p0 V7 V" m
/ O  ]: X4 A4 s7 V8 e$ v> Q := quo<R | 3^2>;
> Q;

> Q!100;
/ w, ?+ l" |( ^& z" d+ Y

UnramifiedExtension(R, 1);
* }- ^- v0 o$ F) o; @# F: }UnramifiedExtension(RR, 1);
9 W' B7 q: [; H4 N& Q! |UnramifiedExtension(R, 2);
* V# v7 @8 ]# O+ B6 D6 ~2 wUnramifiedExtension(RR, 2);
  a7 m+ g2 E6 h" gUnramifiedExtension(R, 3);
UnramifiedExtension(RR, 3);
UnramifiedExtension(R, 4);
UnramifiedExtension(RR, 4);
ext<R | 1> ;
ext<R | 2> ;
# n2 f1 _  K3 @  dext<R | 3> ;
  X1 P- o% J% L4 ^3 c/ m7 ~ext<R | 4> ;
1 X  w8 P& {: h" |8 A8 ?, I7 y1 Sext<RR | 1> ;
ext<RR | 2> ;
) U3 H. _# N" h3 u2 i2 @ext<RR | 3> ;
ext<RR | 4> ;

孤寂冷逍遥