1: \begin{abstract}

2: Analogues of Iwasawa invariants in the context of 3-dimensional topology have been studied by M.~Morishita and others. 

3: In this paper, following the dictionary of arithmetic topology, 

4: we formulate an analogue of Kida's formula on $\lambda$-invariants in a $p$-extension of $\Zp$-fields for 3-manifolds. 

5: The proof is given in a parallel manner to Iwasawa's second proof, with use of $p$-adic representations of a finite group. %and Tate cohomologies. 

6: In the course of our arguments, 

7: we introduce the notion of a branched $\Zp$-cover as an inverse system of cyclic branched $p$-covers of 3-manifolds, 

8: generalize the Iwasawa type formula, and compute the Tate cohomology of 2-cycles explicitly. 

9: \end{abstract}

10: