"p-divisible groups" . "''p''-divisible groups" . . "''p''-divisible group" . . "Barsotti\u2013Tate group" . . . "Barsotti\u2013Tate group" . "''p''-divisible (Tate\u2013Barsotti) groups" . . .