Original: In fact I is a module over the completed group ring Zp [ [ & Gamma ;] ] .
Simplified: In fact , is a module over the group ring .