Every finite field Fq, q = p n , carries several Alexander quandle structures X = (Fq, * ). We denote by QF the family of these quandles, where p and n vary respectively among the odd primes and the positive integers.For every k-components oriented link L, every partition P of L into h := |P| sublinks, and every labelling z ∈ N h of such a partition, the number of X-colorings of any diagram of (L, z) is a well-defined invariant of (L, P), of the form q a X (L,P,z)+1 for some natural number a X (L, P, z). Letting X and z vary respectively in QF and among the labellings of P, we define the derived invariant AQ(L, P) := sup{a X (L, P, z)}.If PM is such that |PM | = k, we show that AQ(L, PM ) ≤ t(L), where t(L) is the tunnel number of L, generalizing a result by Ishii. If P is a "boundary partition" of L and g(L, P) denotes the infimum among the sums of the genera of a system of disjoint Seifert surfaces for the Lj's, then we show that AQ(L, P) ≤ 2g(L, P) + 2k − |P| − 1. We point out further properties of AQ(L, P), mostly in the case of AQ(L) := AQ(L, Pm), |Pm| = 1. By elaborating on a suitable version of a result by Inoue, we show that when L = K is a knot then AQ(K) ≤ A(K), where A(K) is the breadth of the Alexander polynomial of K. However, for every g ≥ 1 we exhibit examples of genus-g knots having the same Alexander polynomial but different quandle invariants AQ. Moreover, in such examples AQ provides sharp lower bounds for the genera of the knots. On the other hand, we show that AQ(L) can give better lower bounds on the genus than A(L), when L has k ≥ 2 components.We show that in order to compute AQ(L) it is enough to consider only colorings with respect to the constant labelling z = 1. In the case when L = K is a knot, if either AQ(K) = A(K) or AQ(K) provides a sharp lower bound for the knot genus, or if AQ(K) = 1, then AQ(K) can be realized by means of the proper subfamily of quandles {X = (Fp, * )}, where p varies among the odd primes.2000 Mathematics Subject Classification. 57M25. Key words and phrases. Alexander quandle, quandle colorings, Alexander ideals, genus, tunnel number. F(p, h(t)) = Λ p /(h(t)) .= h(t) and h(0) = 0, then it is readily seen the the inclusion Z p [t] ֒→ Λ p induces an isomorphism Z p [t]/(ĥ(t)) → F(p, h(t)). Since degĥ(t) = br h(t) = n, it follows that F(p, h(t)) is a finite field of cardinality q = p n .We may therefore define the Alexander quandle X := (F(p, h(t)), * ) by settingwhere t is the class of t in F(p, h(t)). Once q = p n is fixed, there exists only one finite field F q up to field isomorphism. However, even in the case when h 1 (t) ∈ Λ p and h 2 (t) ∈ Λ p have