Ask Your Question
1

Basis of quotient ring as a vector space

asked 2019-02-03 19:59:06 +0200

dd0dd0 gravatar image

I'm curious how I might get a k-basis for a quotient ring of the form R = k[x_1,...x_n] / I, where I is some ideal in the polynomial ring.

For example, given I = {x^3}, and R = Q[x]/I, I would want Sage to give me the vector space basis {1,x,x^2}.

Any help is appreciated!! :)

edit retag flag offensive close merge delete

1 Answer

Sort by ยป oldest newest most voted
4

answered 2019-02-03 20:48:07 +0200

rburing gravatar image
 I.normal_basis()
edit flag offensive delete link more

Comments

Thanks! This works perfectly

dd0dd0 gravatar imagedd0dd0 ( 2019-02-03 21:28:51 +0200 )edit
1

You're welcome! If you want to know the algorithm behind it, I think it is done by using a Groebner basis $I = \langle g_1, \ldots, g_s \rangle$: take all the monomials which are not in $LM(I) = \langle LM(g_1), \ldots, LM(g_s) \rangle$ (at least this is a way to do it).

rburing gravatar imagerburing ( 2019-02-03 22:19:08 +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

Stats

Asked: 2019-02-03 19:59:06 +0200

Seen: 1,015 times

Last updated: Feb 03 '19