“…Indeed, any tensor power C ⊗m , for any power m ∈ N \ {0}, of the Carlitz module C is always a simple, abelian (see [13], Corollary 5.9.38) and uniformizable T −module (see [31], Proposition 1.2), but one can prove that it possesses sometimes (as in the present case) nontrivial sub-T j −modules for some j depending on m and q. By choosing 0 × G a as an algebraic subvariety of C ⊗2 , we now see that it contains infinitely many torsion points, which correspond, by Proposition 1.14 and discussion subsequent to Remark 1.17, to the F 2 (T 2 )−rational points of the torsion part of:…”