Take the 2-minute tour ×
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.

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|improve this question
1  
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
add comment

1 Answer 1

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|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. –  mt_ Jun 14 '12 at 15:37
1  
+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$. –  mt_ Jun 15 '12 at 10:44
add comment

Your Answer

 
discard

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.