In [4] was stated the following conjecture: If a Figueroa’s presemifield P(K; alfa; beta; A;B) admits an autotopism of order a p-primitive prime divisor of p^n-1, then its autotopism group is isomorphic to a subgroup of GL(K) x GL(K). In [5] this conjecture was settled under an additional normality condition. In this article, we show that the assumption in the hypothesis of the conjecture is necessary in the sense that there exist a Figueroa’s presemifield, that does not admit such autotopism, for which the conjecture is not met.

In [4] was stated the following conjecture: If a Figueroa’s presemifield P(K; alfa; beta; A;B) admits an autotopism of order a p-primitive prime divisor of p^n-1, then its autotopism group is isomorphic to a subgroup of GL(K) x GL(K). In [5] this conjecture was settled under an additional normality condition. In this article, we show that the assumption in the hypothesis of the conjecture is necessary in the sense that there exist a Figueroa’s presemifield, that does not admit such autotopism, for which the conjecture is not met.