lilianjie 发表于 2012-1-10 19:09

p-Adic 环的商环

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

> R`DefaultPrecision;

> R!100;

RR := pAdicRing(3 : Precision := 4);
> RR!100;

> Q := quo<R | 3^2>;
> Q;

> Q!100;


UnramifiedExtension(R, 1);
UnramifiedExtension(RR, 1);
UnramifiedExtension(R, 2);
UnramifiedExtension(RR, 2);
UnramifiedExtension(R, 3);
UnramifiedExtension(RR, 3);
UnramifiedExtension(R, 4);
UnramifiedExtension(RR, 4);
ext<R | 1> ;
ext<R | 2> ;
ext<R | 3> ;
ext<R | 4> ;
ext<RR | 1> ;
ext<RR | 2> ;
ext<RR | 3> ;
ext<RR | 4> ;

孤寂冷逍遥 发表于 2012-1-10 20:39

{:3_59:}{:3_59:}
页: [1]
查看完整版本: p-Adic 环的商环