About special elements in quaternion algebras over finite fields Diana SAVIN Abstract. In this paper we study special Fibonacci quaternions and special generalized Fibonacci-Lucas quaternions in quaternion algebras over finite fields. Key Words: quaternion algebras; finite fields; Fibonacci numbers; Lucas numbers, Fibonacci quaternions, generalized Fibonacci-Lucas quaternions. 2000 AMS Subject Classification: 15A06, 16G30, 1R52, 11B39. 1. Introduction Let K be an algebraic number field and let HK (α, β) be the generalized quaternion algebra over the field K. An arbitrary element from this algebra has the form x = x1 · 1+ x2e2 + x3e3 + x4e4, where xi ∈ K,i ∈{1, 2, 3, 4}, where the elements of the basis {1,e2,e3,e4} satisfy the following multiplication table: · 1 e2 e3 e4 1 1 e2 e3 e4 e2 e2 α e4 αe3 e3 e3 −e4 β −βe2 e4 e4 −αe3 βe2 −αβ Let x∈HK (α, β) and let n (x) be the norm of a generalized quaternion x. arXiv:1510.00318v2 [math.RA] 30 Mar 2016 n 2 2 2 2 This norm has the following expression (x) = x1 − αx2 − βx3 + αβx4.We recall that HK (α, β) is a division algebra if and only if for x ∈ HK (α, β) we have n (x) = 0 if and only if x = 0. Otherwise, the algebra HK (α, β) is called a split algebra. When α = β = −1 and K = R we obtain Hamilton quaternion algebra HR (−1, −1) , with the basis {1, i, j, k}. It is known that this algebra is a di- vision algebra. When α = β = −1 and K is a finite field (K = Zp, where p is a prime positive H integer) we obtain the quaternion algebra Zp (−1, −1) . It is known that this algebra is a split algebra ([Gr, Mi, Ma; 15], Theorem 2, p. 882). 1 Let (fn)n≥0 be the Fibonacci sequence: f0 = 0; f1 = 1; fn = fn−1 + fn−2, n ≥ 2 and (ln)n≥0 be the Lucas sequence: l0 = 2; l1 = 1; ln = ln−1 + ln−2, n ≥ 2 In his paper [Ho; 63], A. F. Horadam introduced the Fibonacci quaternions (Fn)n≥0 : Fn = fn + fn+1 · i + fn+2 · j + fn+3 · k, n ≥ 0. Some properties of Fibonacci quaternions in certain quaternion algebras were investigated in the papers [Ak, Ko, To; 14], [Ta; Ya; 15], [Po, Ki, Ke; 16], [Y¨u, Ay; 16], etc. In this paper we determine the Fibonacci quaternions (respectively generalized Fibonacci- Lucas quaternions) which are zero divisors in the quater- H nion ring Zp (−1, −1) and the Fibonacci quaternions which are invertible in H the quaternion ring Zp (−1, −1) . We recall some necessary results about Fibonacci sequence and about Fibonacci quaternions. Proposition 1.1 ([Fib]). Let (fn)n≥0 be the Fibonacci sequence. If fn is a prime number (n ≥ 5), then n is a prime number. N∗ Proposition 1.2 ([Fib]). Let (fn)n≥0 be the Fibonacci sequence. If n,m∈ , n|m, then fn|fm. Theorem 1.1 ([Su], [Su; 92]). Let p∈{ / 2, 5} be a prime positive integer. Then 0 (mod p),if p ≡ 1(mod4), p p+5 − f p− ≡ p p 3 ( 5 ) [ 10 ] 4 2 ( 2 (−1) · 5 · 5 (mod p), if p ≡ 3(mod4) p where [x] is the integer part of x and 5 is the Legendre symbol. Proposition 1.3 ([Fib]). The cycle of the Fibonacci numbers mod 2 is 0, 1, 1(0, 1, 1), ... so: i) the cycle-length of the Fibonacci numbers mod 2 is 3; ii) a Fibonacci number fn is even if and only if n≡0 (mod 3). iii) a Lucas number ln is even if and only if n≡0 (mod 3). Proposition 1.4 ([Fib]). The cycle of the Fibonacci numbers mod 3 is 0, 1, 1, 2, 0, 2, 2, 1(0, 1, 1, 2, 0, 2, 2, 1), ... 2 so, the cycle-length of the Fibonacci numbers mod 3 is 8. Proposition 1.5 ([Fib]). The cycle of the Fibonacci numbers mod 5 is 0, 1, 1, 2, 3, 0, 3, 3, 1, 4, 0, 4, 4, 3, 2, 0, 2, 2, 4, 1(0, 1, 1, 2, 3, 0, 3, 3, 1, 4, 0, 4, 4, 3, 2, 0, 2, 2, 4, 1), ... so: i) the cycle-length of the Fibonacci numbers mod 5 is 20; ii) fn≡0 (mod 5) if and only if n≡0 (mod 5). Proposition 1.6 ([Ho; 63]). Let (fn)n≥0 be the Fibonacci sequence and Fn(n ≥ 0) be the Fibonacci quaternions. Then, the norm of the nth Fibonacci quater- nions is: n (Fn)=3f2n+3. Let p be an odd prime positive integer. In the paper [Mi, Se; 11], C. J. Miguel, H R. Serodio calculated the number of zero-divisors in Zp (−1, −1) . They proved that: H Theorem 1.2 ([Mi, Se; 11]). The number of zero-divisors in Zp (−1, −1) is: p3 + p2 − p. Let p be a prime positive integer. According to [Da, Dr; 70], if fz is the smallest non-zero Fibonacci number with the property p|fz, then z = z (p) is defined as the entry point of p in the Fibonacci sequence. Remark 1.1. ([Da, Dr; 70]). p|fn if and only if z (p) |n, (∀) n ∈ N. Definition 1.1. ([Da, Dr; 70]). Let (fn)n≥0 be the Fibonacci sequence. If we reduce the Fibonacci sequence modulo p, to obtain a periodic sequence. The period k = k (p) is the smallest integer k for which fk ≡ 0 (mod p) and fk+1 ≡ 1 (mod p) . For example: k (2) = z (2) = 3, k (3) = 8, z (3) = 4, k (5) = 20, z (5) = 5 (according to Proposition 1.3, Proposition 1.4, Proposition 1.5). Remark 1.2. ([Da, Dr; 70]). The entry point z (p) divides the period k (p) . Remark 1.3. ([Da, Dr; 70]). Let p be an odd prime positive integer. The following statements are true: 3 i) k (p)= z (p) if z (p) ≡ 2 (mod 4); ii) k (p)=2z (p) if z (p) ≡ 0 (mod 4); iii) i) k (p)=4z (p) if z (p) is odd. Proposition 1.7. ([Fib]).Let (fn)n≥0 be the Fibonacci sequence and (ln)n≥0 be the Lucas sequence Then: i) 2 2 N fn + fn+1 = f2n+1, ∀ n ∈ ; ii) fn + fn+4 =3fn+2, ∀ n ∈ N; iii) 2 2 N ln + ln+1 =5f2n+1, ∀ n ∈ ; iv) m+1 fmlm+p = f2m+p + (−1) · fp, ∀ m,p ∈ N; v) fn + fn+2 = ln+1, ∀ n ∈ N; H 2. Special Fibonacci quaternions in the quaternion algebra Zp (−1, −1) . In this section we determine the zero divisors Fibonacci quaternions, respec- H tively the invertible Fibonacci quaternions in the quaternion rings Z2 (−1, −1) , H H H Z3 (−1, −1), Z5 (−1, −1) , Zp (−1, −1) , where p is a prime positive integer, H p> 5. The idea for to find these elements is the following: since Zp (−1, −1) , (where p is a prime positive integer) is a split algebra, it is isomorphic to the Z H Z matrix ring M2 ( p) . If ϕ : Zp (−1, −1)→M2 ( p) is a rings isomorphism, then H a Fibonacci quaternion Fn is a zero divisor in Zp (−1, −1) if and only if ϕ (Fn) is a zero divisor in M2 (Zp) (see [Mi, Se; 11], Theorem 2.1). Moreover, it is know that a matrix A∈M2 (Zp) is a zero divisor in M2 (Zp) if and only if it is not invertible in M2 (Zp) . These involve that, a Fibonacci quaternion is a H H zero divisor in Zp (−1, −1) if and only if it is not invertible in Zp (−1, −1) . H So, a Fibonacci quaternion Fn is a zero divisor in Zp (−1, −1) if and only if n (Fn)=0. Proposition 2.1. i) Fibonacci quaternions Fn are zero divisors in the quater- H nion ring Z2 (−1, −1) if and only if n≡0 (mod 3). H ii) In Z2 (−1, −1) there are one Fibonacci quaternion which is zero divisor and two Fibonacci quaternions which are invertible. Proof. i) According to Proposition 1.6 and Proposition 1.3 we obtain that Fi- H bonacci quaternions Fn are zero divisors in the quaternion ring Z2 (−1, −1) if 4 and only if f2n+3≡0 (mod 2) if and only if n≡0 (mod 3). H ii) There are 16 elements in the quaternion algebra Z2 (−1, −1). According H to Theorem 1.2 we know that there are 10 zero divisors in Z2 (−1, −1) . We want to determine how many of them are zero divisors Fibonacci quaternions and after this we determine how many invertible Fibonacci quaternions are in H the quaternion algebra Z2 (−1, −1) . Applying i) and Proposition 1.3 we obtain that there is one Fibonacci quaternion H which is zero divisor in Z2 (−1, −1) , namely for fn = 0, fn+1 = 1, fn+2 = 1, fn+3 = 0 (in Z2), so Fn = i + j. Applying i) and Proposition 1.3, it results immediately that there are two invert- H ible Fibonacci quaternions in Z2 (−1, −1) : Fn1 = 1+i+k and Fn2 = 1+j +k. Proposition 2.2. All Fibonacci quaternions Fn are zero divisors in the quater- H nion ring Z3 (−1, −1) and the number of these elements is 8. Proof. Applying Proposition 1.6 we obtain that n (Fn) = 0 in Z3, (∀) n∈N. This implies that all Fibonacci quaternions Fn are zero divisors in the quater- H nion ring Z3 (−1, −1) .