# Tag Info

The subgroup $\hat T$ cannot contain any integral points because each $t \in \hat T$ is the $t$-translate of the origin which is not an integral point. Therefore by Nagell-Lutz $\hat T$ is either ...