# Determining whether module is free for polynomial/power series rings

Say I have two modules

R = QQ[[x, y, z]]
S = QQ[[x, y^2,  z]]

(we can also make R and S as polynomial rings).

R is naturally an S module as S can act on R by multiplication.

Is there a command which determines whether R is free over S and the rank?

edit retag close merge delete

Shouldn't the firs line be

R = QQ[["x, y, z"]]

I can't make head or tail of

S = QQ[[x, y^2 + 1, z]]

What is this supposed to mean ?

( 2022-04-04 00:17:27 +0200 )edit
1

Hello, I just made that as an example. So to make thing simpler, let's ignore the +1. If we think of polynomial ring first,

QQ[ x, y, z]

is the polynomial ring with variables (generators if you like) x,y,z. So terms here look like

a*x^i*y^j*z^k

where a is a rational number. So

QQ[ x, y^2, z]

will be polynomial ring with variables x,y^2, z. Terms here look like

a*x^i*y^(2j)*z^k

So

QQ[ [ x,y^2, z] ]

will be power series ring in variables x, y^2, z.

( 2022-04-04 18:23:17 +0200 )edit