従って、直線束のテンソル積により与えられるav上の自然な群の作用が存在して、それをアーベル多様体にする。