I'm trying to prove that for a transcendental number $a$ the module $\mathbb{Z}[a]$ over $\mathbb{Z}[(a+1)^2]$ is free. For $\mathbb{Z}[a+1]$ over $\mathbb{Z}[(a+1)^2]$, the basis is $\{1,a+1\}$. What I wanted to show now, is that because every polynomial from $\mathbb{Z}[a]$ can be written as a polynomial from $\mathbb{Z}[a+1]$ (this requires solving a system of linear equations for the coefficients), it has the same basis. Is this argument correct?
Free module, $\mathbb{Z}[a]$ over $\mathbb{Z}[(a+1)^2]$ for transcendental number a
3
$\begingroup$
commutative-algebra
modules
transcendental-numbers
-
4Yes it is. Indeed, $\mathbb Z[a]$ and $\mathbb Z[a+1]$ are the same thing (as subrings of $\mathbb C$, for example) – 2012-05-27
1 Answers
1
This CW answer intends to remove the question from the unanswered queue.
As Mariano already noted, you are indeed correct $\mathbb{Z}[a]=\mathbb{Z}[a+1]$ (e.g. as subrings of $\mathbb{C}$).