Ask Your Question

Extension/coercion of finite rings & fields

asked 2013-02-28 16:18:17 +0200

GaryMak gravatar image

updated 2013-03-01 06:06:19 +0200

Hi ...

again harping on my theme of p-adics: here is a characteristic-p toy model of the problem I had here. Will someone please tell me how to do what this code is trying to do?!!

sage: K.<X> = GF(3^2,name='X'); # creates (residue) field which is GF(3)[X]
sage: R = IntegerModRing(3^2)[X];  # extends Z/p^2 by that same X to form quadratic extn - seemingly successfully
sage: print R(X+5); # I try to use X but it still treats it like an "alien" quantity in R ....


edit retag flag offensive close merge delete

1 Answer

Sort by ยป oldest newest most voted

answered 2013-02-28 17:46:35 +0200

fidbc gravatar image

updated 2013-02-28 21:05:52 +0200

Sorry my previous answer was completely wrong.

Perhaps if you use

sage: y=R.gen()

and then

sage: R(y+5)
edit flag offensive delete link more


Thank you very much. That certainly solves that problem - I'm now up to the next level of incomprehensibility at least!!

GaryMak gravatar imageGaryMak ( 2013-03-01 06:05:35 +0200 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower


Asked: 2013-02-28 16:18:17 +0200

Seen: 472 times

Last updated: Mar 01 '13