p-Adic 环的商环

lilianjie

R := pAdicRing(3,3);
> R;
5 k' K. K# ]; }0 G
) A6 u  S; O+ \. a; r$ {> R`DefaultPrecision;

> R!100;

RR := pAdicRing(3 : Precision := 4);
4 e/ ?+ ~- B' {4 w7 l- w> RR!100;

> Q := quo<R | 3^2>;
> Q;
' Y' {. P. E4 ^3 E6 _. g( Y
> Q!100;
" K4 ^+ @8 v# ^/ [. }4 C9 R

0 Z1 p, o0 }6 d. _8 f7 M7 cUnramifiedExtension(R, 1);
9 i/ Z- b* n; S1 Q% s8 E7 N7 vUnramifiedExtension(RR, 1);
) N$ O. y" [# N; N8 T4 u$ b5 ~UnramifiedExtension(R, 2);
UnramifiedExtension(RR, 2);
: Y' a& y- |6 m/ Y  wUnramifiedExtension(R, 3);
! B$ r3 u3 k( Q+ i3 @UnramifiedExtension(RR, 3);
% ~, s: v- {4 \$ D0 mUnramifiedExtension(R, 4);
UnramifiedExtension(RR, 4);
7 e* c9 c2 q8 i# q: P1 e; x6 Sext<R | 1> ;
ext<R | 2> ;
8 z9 s* o; o+ B1 Fext<R | 3> ;
8 S5 ~# a- b. J# R! c% l5 ^  ~ext<R | 4> ;
5 S5 P5 U7 a& F& Zext<RR | 1> ;
ext<RR | 2> ;
ext<RR | 3> ;
* n# W- p. P0 u+ {6 F% L2 E! X& Vext<RR | 4> ;

孤寂冷逍遥