Unique factorization of principally polarized abelian varieties
Shimura proved that each principally polarized abelian variety over admits a unique factorization into irreducible principally polarized abelian varieties. We give an exposition of his result, and generalize to an arbitrary ground field . If is separably closed, the irreducible factors are in bijection with the irreducible components of a theta divisor over giving rise to the polarization.