MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

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 some easy questions on module theory it seems true but I cannot fill the detail of proof. Please help me.

Question1. Let $A$ be a finitely generated $\mathbb{Z}_p [t,t^{-1}]$ module and every element of $A$ is divided by $t-1$. Is $|A|<\infty ?$

Question2. Let $K$ be a cyclotomic field $\mathbb{Q}(\zeta_m)$, where $\zeta_m$ is $m$-th root of unity and $K(t)$ be a field of rational functions over $K$. Then, $K(t)$ is module over $\mathbb{Z}[\mathbb{Z}_m\times \mathbb{Z}]$ if we regard $\mathbb{Z}[\mathbb{Z}_m\times \mathbb{Z}]=\mathbb{Z}[\mathbb{Z}_m][t,t^{-1}]$ and $\mathbb{Z}_m=<\zeta_m>$. Is $K(t)$ is flat?

share|cite|improve this question
For the future readers: $\mathbb Z_p$ does NOT mean the $p$-adic integers here... – darij grinberg Jul 25 '10 at 13:48
1) More generally, if $F$ is a field, and $A$ is a finitely generated $F\left[t,t^{-1}\right]$-module and every element of $A$ is divisible by $t-1$, then $A$ is a finite-dimensional $F$-vector space. Proof: Nakayama. – darij grinberg Jul 25 '10 at 14:22
Thank you. Now I am convinced – Topologieee Jul 25 '10 at 14:40
For (2). $A=\mathbf{Z}[\mathbf{Z}_m]$ is the ring of integers of $K$; $K$ is the field of fractions of $A$. And $K(t)$ is evidently the field of fractions of $A[t,1/t]$, hence flat over $A[t,1/t]$. – George McNinch Jul 25 '10 at 15:28

Your Answer


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

Browse other questions tagged or ask your own question.