ON THE EXISTENCE OF NOWHERE-ZERO VECTORS FOR LINEAR TRANSFORMATIONS

A matrix A over a field F is said to be an AJT matrix if there exists a vector x over F such that both x and Ax have no zero component. The Alon–Jaeger–Tarsi (AJT) conjecture states that if F is a finite field, with |F|≥4, and A is an element of GL n (F) , then A is an AJT matrix. In this paper we prove that every nonzero matrix over a field F, with |F|≥3 , is similar to an AJT matrix. Let AJTn (q) denote the set of n×n, invertible, AJT matrices over a field with q elements. It is shown that the following are equivalent for q≥3 : (i) AJTn (q)=GL n (q) ; (ii) every 2n×n matrix of the form (A∣B)t has a nowhere-zero vector in its image, where A,B are n×n, invertible, upper and lower triangular matrices, respectively; and (iii) AJTn (q) forms a semigroup.