p-Adic 环的商环

lilianjie

R := pAdicRing(3,3);
  C1 ]% \* l1 |: l# `( O& l4 d> R;

> R`DefaultPrecision;
% R1 T; o' u  Z  o# i1 j
' }, f  n( l- O; a* d> R!100;
1 v, E, D& W: S6 R5 |3 I
RR := pAdicRing(3 : Precision := 4);
3 l  u1 a1 z  _" o$ ~9 t8 w> RR!100;

> Q := quo<R | 3^2>;
> Q;
: ]0 n, k; j4 e6 O$ O4 i- J
> Q!100;
1 E5 s+ S, t8 N7 i, r6 {
! @/ H1 Q8 c5 E5 h: u
UnramifiedExtension(R, 1);
! n1 h8 z* P5 F4 tUnramifiedExtension(RR, 1);
UnramifiedExtension(R, 2);
UnramifiedExtension(RR, 2);
* m5 n4 e* R) O5 |0 ?2 [" ~% I6 {1 [6 T2 MUnramifiedExtension(R, 3);
; q1 O- |7 L& C) DUnramifiedExtension(RR, 3);
6 w! ~; U! T( j% TUnramifiedExtension(R, 4);
UnramifiedExtension(RR, 4);
5 \, m! F* n& {ext<R | 1> ;
$ u! u( ~  b5 [4 Aext<R | 2> ;
ext<R | 3> ;
ext<R | 4> ;
: B8 M# s; l; F) R8 {) |ext<RR | 1> ;
) r' Q* h) ?5 `# Q% O7 S. s, jext<RR | 2> ;
' s/ R0 z% Q+ P/ ]5 }  ]+ eext<RR | 3> ;
ext<RR | 4> ;

孤寂冷逍遥