Ask Your Question

Extension/coercion of finite rings & fields

asked 2013-02-28 09:18:17 -0600

GaryMak gravatar image

updated 2013-02-28 23:06:19 -0600

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 10:46:35 -0600

fidbc gravatar image

updated 2013-02-28 14:05:52 -0600

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-02-28 23:05:35 -0600 )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 09:18:17 -0600

Seen: 296 times

Last updated: Feb 28 '13