Define a polynomial subalgebra generated by given polynomials

asked 3 years ago

Niccon gravatar image

Given a polynomial algebra in some variables, say Q[x1,x2,x3,x4], I'd like to define certain subalgebras that are generated by elements, e.g. x4, x23x2x4. So I'd like to define Q[x4,x23x2x4]. As this uses the variables of the bigger space, I assume it needs to be defined as a subalgebra. But I could not seem to find a way of doing so.

I'm actually just interested in the dimensions of the degree-graded spaces of the subalgebra if that makes it easier.

Preview: (hide)

Comments

Welcome to Ask Sage! Thank you for your question.

slelievre gravatar imageslelievre ( 3 years ago )

SageMath doesn't have subalgebra functionality conveniently exposed, but you can access some functionality from Singular. Related: Compute minimal number of generators of subring.

rburing gravatar imagerburing ( 3 years ago )