Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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?

share|cite|improve this question
Yes it is. Indeed, $\mathbb Z[a]$ and $\mathbb Z[a+1]$ are the same thing (as subrings of $\mathbb C$, for example) – Mariano Suárez-Alvarez May 27 '12 at 2:05
up vote 1 down vote accepted

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}$).

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.