Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. 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

Why is the equation above satisfied, if $I$ ist an Ideal in $\mathbb{Z}[\zeta]$, $\zeta$ a $p\neq 2$ root of unity and $G$ a finite group? Thank you

share|cite|improve this question
Hi @Amy: could you please write down what've you done here? Also, what's the background for the question, is it from a book...? – DonAntonio Jun 14 '12 at 14:52
What is $\mathbb ZG$? What is the relevance of $\zeta\ne 2$ -- 2 cannot be a root of unity in the first place (assuming characteristic 0, but otherwise what is $\mathbb Z$ doing there?) – Henning Makholm Jun 14 '12 at 14:54
Hi, yes it is from a book, where the author wants to proof, that $Ext_{\mathbb{Z}G}^1 (\mathbb{Z},I) \cong I/(\zeta -1)I$. In the proof he uses the sentence, that the congruence in the title is clear. I'm not sure, if $p\neq 2$ is important, but I wanted to mention it. $G$ is a group, that is isomorphic to the dihedral group with $2p$ elements and $\mathbb{Z}G$ the groupring – james B. Jun 14 '12 at 15:04
@HenningMakholm : sorry, I meant $p\neq 2$ – james B. Jun 14 '12 at 15:13
up vote 1 down vote accepted

There is a more general fact that $\hom_{\mathbb{Z}G} (\mathbb{Z}G,M)\cong M$ (as an abelian group) for any $\mathbb{Z}G$-module $M$. The isomorphism is that $m \in M$ corresponds to the map $f_m: \mathbb{Z}G \to M$ determined by $f_m(X) = Xm$

share|cite|improve this answer
Thank you! Do this sentence has a name so can I read more about it? – james B. Jun 14 '12 at 15:34
If it has a name, I don't know it I'm afraid. – m_t_ Jun 14 '12 at 15:37
+1 Would the universal property of free modules be a good name for it? Ok, that result is a bit more general than this. – Jyrki Lahtonen Jun 14 '12 at 19:30
@JyrkiLahtonen good point - the universal property of a free module of rank one is exactly it, or the universal property of $\mathbb{Z}_{\langle e \rangle} \uparrow ^G$. – m_t_ Jun 15 '12 at 10:44

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.