p-Adic 环的商环

lilianjie

R := pAdicRing(3,3);
# [; H! W% s2 [# Z> R;
# L7 u3 K. q6 w" u$ ^
> R`DefaultPrecision;

> R!100;
8 ~* ^' B2 K, R4 [
RR := pAdicRing(3 : Precision := 4);
> RR!100;
( A3 z( s7 C# L# b% g. a: X
  q' h6 `2 g3 Y9 i- }> Q := quo<R | 3^2>;
( n5 h" n4 M0 @- |' |/ m> Q;
# |9 q# x; T5 N& ]
6 S3 f& I" _& _! n/ h- b6 _$ e) }> Q!100;

. Y0 X* g4 }- S2 B7 P+ y0 S
UnramifiedExtension(R, 1);
UnramifiedExtension(RR, 1);
. N( t1 t4 Q9 N% UUnramifiedExtension(R, 2);
% B1 O2 R! |+ x$ L4 |" wUnramifiedExtension(RR, 2);
UnramifiedExtension(R, 3);
UnramifiedExtension(RR, 3);
, A, U7 ?& V: C" e4 H3 ]; L* o/ U# QUnramifiedExtension(R, 4);
UnramifiedExtension(RR, 4);
ext<R | 1> ;
' k2 W: p+ p- i3 F: Oext<R | 2> ;
4 S# G$ @8 v" w/ I3 xext<R | 3> ;
ext<R | 4> ;
$ T) B3 G) K; }# text<RR | 1> ;
ext<RR | 2> ;
" v1 _1 R- @+ Y: s6 ^) }ext<RR | 3> ;
/ t0 X) U& u. m. S1 [ext<RR | 4> ;

孤寂冷逍遥