arxiv: v1 [math.ra] 25 Nov 2017

Size: px

Start display at page:

Download "arxiv: v1 [math.ra] 25 Nov 2017"

Luke Banks
6 years ago
Views:

1 arxiv:709289v [mathra] 25 Nov 207 LEFT IDEALS IN MATRIX RINGS OVER FINITE FIELDS R A FERRAZ, C POLCINO MILIES, AND E TAUFER Abstract It is well-known that each left ideals in a matrix rings over a finite field is generated by an idempotent matrix In this work we compute the number of left ideals in these rings, the number of different idempotents generating each left ideal, and give explicitly a set of idempotent generators of all left ideals of a given rank Introduction Let F q be the field with q elements and denote by M n (F q ) full ring of n n matrices over F q Given M M n (F q ), the subspace of F n q generated by the rows of M, whose dimension is precisely the rank of M, will be denoted by W(M) Since M n (F q ) is semi-simple, every left ideal is generated by just one element In particular, every left ideal has a generator that is an idempotent The left ideal generated by a matrix M will be denoted by M Notice that, since rank(am) rank(m) for all A M n (F q ) we have that rank(m) = sup{rank(xm) X M n (F q )} Consequently, two generators of the same ideal are of the same rank For an ideal J = M we define rank(j) = rank(m) Results obtained here refer to left ideals, but similar results hold for right ideals 2 Ideals and Subspaces We intend to count the number of left ideals in M n (F q ) To do so, we will establish a correspondence of these ideals with subspaces of F n q We begin with the following Lemma 2 Given M,M 2 M n (F q ), then M M 2 if, and only if, the rows of M are linear combinations of the rows of M 2 The second author was partially supported by CNPq, Proc /79-0(RN) and FAPESP, Proc 205/0962-9

2 2 R A FERRAZ, C POLCINO MILIES, AND E TAUFER Proof GivenM = (a ij ),M 2 = (b ij ) M n (F q ),notethat M M 2, and if only if, M M 2, that is if there exists (c ij ) M n (F q ), such that M = (c ij )M 2 Hence, a ij = n c ikb kj, i,j and thus, the l-th row of M is (a l,a l2,,a ln ) = = ( n c lk b k, n c lk b k2,, n c lk (b k,b k2,,b kn ) The converse follows immediately As an consequence, we have Corolary 22 M M 2 W(M ) W(M 2 ) M = M 2 W(M ) = W(M 2 ) ) n c lk b kn Since every subspace of F n q is of the form W(M), for some M M n (F q ), we have the following Theorem 23 Given a positive integer k, k n, the map W(N i ) N i gives a bijection ϕ between the set of subspaces of dimension k of F n q, and the set of left ideals of rank k in M n(f q ) Proof Given a k-dimensional subspace W of F n q, with basis B = {v,v 2,,v k }, let us consider the matrix M whose first k rows are the vectors v,v 2,,v k and the others are linear combinations of these ones Clearly W is equal to W(M) Also if W(M ) = W(M 2 ), then M = M 2, by Corollary 22 Therefore we conclude that ϕ is well defined Since, M = M 2 implies W(M ) = W(M 2 ), it follows that ϕ is injective As all the ideals of M n (F q ) are principal, ϕ is also surjective Since [, Chapter 24] gives the number of k-subespace of F n q, with 0 < k n we get the following Theorem 24 The number of left ideals of rank k in M n (F q ) is (q n )(q n )(q n 2 ) (q n k+ ) (q k )(q k )(q k 2 ) (q ) We now determine conditions on two idempotent matrices to generate the same left ideal

3 LEFT IDEALS IN MATRIX RINGS OVER FINITE FIELDS 3 Theorem 25 Given R,S M n (F q ), the following assertions are equivalent: (i) R and S are idempotents and S = R ; (ii) RS = R and SR = S; (iii)r = S +(I S)RS and S is an idempotent, where I denotes the identity matrix of M n (F q ) Proof (i) (ii) If R S then, there exists A M n (F q ), such that, R = AS Hence, RS = ASS = AS = R, as S is idempotent Similarly, we conclude SR = S (ii) (i) Notice that (ii) implies that R S and S R, thus S = R Also, S 2 = (SR)S = S(RS) = SR = S and R 2 = (RS)R = R(SR) = RS = R (ii) (iii) We compute, S +(I S)RS = S +(I S)R = S +R SR = R Also S 2 = (SR)S = S(RS) = SR = S (iii) (ii) SR = S(S +(I S)RS) = S, and R = S +(I S)RS = S +RS SS = RS Given an idempotent, we now determine all others idempotents that generate the same ideal Theorem 26 Given an idempotent S M n (F q ) then, for all M M n (F q ), the matrix M 0 = S +(I S)MS is also an idempotent generator of S Conversely, every idempotent generator of S is of this form Proof Clearly, M 0 is an idempotent and, using Theorem 25, we have: SM 0 = S(S +(I S)MS) = S S M 0 and M 0 S = (S +(I S)MS)S = S +(I S)MS = M 0 M 0 S Therefore, S = M 0 The converse follows immediately from part (iii) of the previous theorem Remark 27 Note that, if we denote by [M] the right ideal generated by a matrix M M n (F q ) and by V(M) the subspace of F n q generated by the columns of M, then the following results, duals to those in this section, hold:

4 4 R A FERRAZ, C POLCINO MILIES, AND E TAUFER (a) [M ] = [M 2 ] if and only of V(M ) = V(M 2 ) (b) If R,S M n (F q ) are idempotents, then [R] = [S] if and only if RS = S and SR = R 3 Idempotent generators of left ideals The purpose of this section is to exhibit idempotent generators of left ideals of a given rank k in M n (F q ) and to determine, for each ideal I, the set of all idempotent generators of I We first study the idempotents of rank : Theorem 3 The following matrices are idempotent generators of the different minimal left ideals of M n (F q ) a a 2 a n, 0 a 2 a n,, Moreover, each minimal left ideal has q n different idempotent generators Proof We observe that, according to Theorem 23, each minimal left ideal I = M M n (F q ) is related with a -dimensional subspace W = W(M) F n q Let v = (a,a 2,,a n ) be a generator of W Then, the rows of any matrix in the ideal I are scalar multiples of v Let i be the smallest index such that a i 0, i n and set u = (/a i )v Then, u = (0,,0,,b i+,,b n ), is also a generator of W Thus, we can assume that I is generated by a matrix whose i-th row is the vector u and the others are zero Notice that the total number of matrices of this form is S ni = n i= qn i = qn q To prove the second part of the statement, let E denote the matrix whose entry in position (,) is equal to and all other entries are equal to 0 Then, E = a 0 0 a a n 0 0 a i F q, i n It is easy to see that a non-zero element in E is an idempotent if and only if a =, so the number of idempotents in E is q n and each of them is a generator of this ideal Let J = M be a minimal left ideal of M n (F q ) As rank(m) =, there exist an invertible matrix U M n (F q ) such that U MU = E Conjugation by U induces

5 LEFT IDEALS IN MATRIX RINGS OVER FINITE FIELDS 5 an automorphism ψ U : M n (F q ) M n (F q ) such that ψ U (J) = E Consequently, J also has q n generators which are idempotents We now extend this result to left ideals of a fixed rank k, k n Let E(n,k) denote the set of all matrices A = (a ij ) such that there exist k rows, at positions denoted i,i 2,,i k verifying: (i) Every row of A, except these, is a row of zeros (ii) a ij i j = and a ij,h = 0 if h < i j, j k (iii) a ij,h = 0 for h = i s, j + s k The set of numbers i,i 2,,i k will be called the pivotal positions of A For example, E(4,3) is the set of all matrices of the form: 0 0 a 4 0 a 24 a 34 0, with each a ij F q 0 a 3 0 a , a , Clearly, every matrix in E(n,k) is an idempotent, of rank k We first claim that each matrix in E(n,k) generates a different left ideal of M n (F q ) In fact, notice that, given R,S E(n,k), if they differ in some pivotal position, then W(R) W(S) so R S On the other hand, if R and S have the same pivotal positions, then it is easy to see that [R] = [S] and part (b) of Remark 27 shows that RS = S and SR = R If R = S, it follows from part (ii) of Theorem 25 that also RS = R and SR = S, showing that R = S We shall show that S(n,k), the number of elements in E(n,k) is equal to the number of left ideals of rank k in M n (F q ) Lemma 32 With the notations above, we have that S(n,k) = (qn )(q n )(q n 2 ) (q n k+ ) (q k )(q k )(q k 2 ) (q ) Proof We use induction on n, If n = the result is trivially true, so assume that the result holds for n and k n We compute separately the number of elements in E(n,k) that have the pivotal position i k = n and those which do not Clearly, there are S(n,k ) idempotents that have an entry equal to in position n,n Since each matrix having an entry equal to 0 in position n,n has

6 6 R A FERRAZ, C POLCINO MILIES, AND E TAUFER k entries from F q in the last column, there exist S(n,k)q k such matrices, so we have: S(n,k) = S(n,k )+S(n,k)q k Using the induction hypothesis we get: S(n,k) = (qn ) (q n k+ ) (q k ) (q ) + (qn ) (q n k ) (q k ) (q ) = (qn ) (q n k+ ) (q k ) (q ) = (qn ) (q n k+ ) (q k ) (q ) + q k = [ ] q n k q k +qn k ] [+ (qn k )q k q k = (qn ) (q n k+ ) (qn ) (q k ) (q ) (q k ) Notice that the number of elements in E(n,k) found above is equal tothenumber ofleftidealsofrankk inm n (F q ), asseenintheorem 24 So, we have shown the first part of the following Theorem 33 The elements of the set S(n,k) are idempotent generators of the different left ideals of rank k of M n (F q ) Moreover, each left ideal of rank k has q (n k)k different idempotent generators Proof We are left to prove only the last statement Set F kk = diag(,,,0,0) Then, using Theorem 26, we have }{{} (k times ) that any other idempotent generator of F kk is of the form So, M 0 = M 0 = F kk +(I F kk )MF kk, with M M n (F q ) ] withi M k,k (F q ), B M n k,k (F q ) [ I 0 B 0 Hence, this ideal has q (n k)k generators Arguments similar to those in the proof of Theorem 3 show that all left ideals of rank k have the same number of idempotent generators Noticethatamatrixin F kk isofrankk ifandonlyifthefirstk rows are linearly independent The total number of choices of k elements of

7 F n q LEFT IDEALS IN MATRIX RINGS OVER FINITE FIELDS 7 which are linearly independent is (q n )(q n q)(q n q 2 ) (q n q k ) All left ideals of rank k contain the same number of matrices of that rank, since they are isomorphic to F kk As every matrix of rank k belongs to one and only one such an ideal, using Theorem 33 above, we get the following Theorem 34 Let k be an integer, k n Then, the number of matrices of rank k in M n (F q ) is ((q n )(q n )(q n 2 ) (q n k+ )) 2 (q k )(q k )(q k 2 ) (q ) References [] J H van Lint and R M Wilson, A course in combinatorics, Cambridge, Cambridge Univ Press, 200 Instituto de Matemática e Estatística, Universidade de São Paulo, Caixa Postal 6628, CEP , São Paulo, Brazil address: raul@imeuspbr Instituto de Matemática e Estatística, Universidade de São Paulo, Caixa Postal 6628, CEP , and Universidade Federal do ABC, CEP , São Paulo, Brazil address: polcino@imeuspbr and polcino@ufabcedubr Instituto de Matemática, Estatística e Física, Universidade Federal do Rio Grande, Campus Carreros Av Itália km 8, CEP RS, Brazil address: editetaufer@furgbr

BRUNO L. M. FERREIRA AND HENRIQUE GUZZO JR.

BRUNO L. M. FERREIRA AND HENRIQUE GUZZO JR. REVISTA DE LA UNIÓN MATEMÁTICA ARGENTINA Vol. 60, No. 1, 2019, Pages 9 20 Published online: February 11, 2019 https://doi.org/10.33044/revuma.v60n1a02 LIE n-multiplicative MAPPINGS ON TRIANGULAR n-matrix