Torsion of abelian varieties over large algebraic fields

Here K̃ denotes the algebraic closure of K and K̃(σ) the fixed field in K̃ of σ. The expression “almost all σ” means “all but a set of σ of Haar measure 0”.