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
$\operatorname{Hom}(\mathbb{Z}G,I) \cong I $
0
$\begingroup$
abstract-algebra
-
1Hi @Amy: could you please write down what've you done here? Also, what's the background for the question, is it from a book...? – 2012-06-14
-
0What 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?) – 2012-06-14
-
0Hi, 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 – 2012-06-14
-
0@HenningMakholm : sorry, I meant $p\neq 2$ – 2012-06-14
1 Answers
1
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$
-
0Thank you! Do this sentence has a name so can I read more about it? – 2012-06-14
-
0If it has a name, I don't know it I'm afraid. – 2012-06-14
-
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. – 2012-06-14
-
0@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$. – 2012-06-15