Also available at http://amc.imfm.si ISSN 1855-3966 (printed edn.), ISSN 1855-3974 (electronic edn.) ARS MATHEMATICA CONTEMPORANEA 6 (2013) 247–252 A note on homomorphisms of matrix semigroup Matjaž Omladič Faculty of Mathematics and Physics, University of Ljubljana Jadranska 19, SI-1000, Ljubljana Slovenia Bojan Kuzma University of Primorska, FAMNIT, Glagoljaška 8, SI-6000 Koper, Slovenia and Institute of Mathematics, Physics and Mechanics, Department of Mathematics, Jadranska 19, SI-1000 Ljubljana, Slovenia Received 12 August 2011, accepted 5 June 2012, published online 28 October 2012 Abstract Let F be a field. We classify multiplicative maps from Mn(F) to M(nk)(F) which annihilate a zero matrix and map rank-k matrix into a rank-one matrix. Keywords: Matrix semigroup, Homomorphism, Representation. Math. Subj. Class.: 20M15, 15A33, 20G05 1 Introduction and preliminaries Let Mn(F) denote the semigroup of all n–by–n matrices with coefficients in a field F, let Eij be its matrix units, and let Id = Idn := ∑ Eii be its identity. In [5], Jodeit and Lam classified nondegenerate semigroup homomorphisms π :Mn(F)→Mn(F), that is, maps which are (i) multiplicative π(AB) = π(A)π(B) and (ii) their restriction on singular matrices is nonconstant. It was shown that the semigroup of such maps is generated by three simple types: (i) a similarity, (ii) a fixed field homomorphism applied entry-wise on a matrix, and (iii) the map which sends A to a matrix of its cofactors. We refer below for more precise definitions. The complete classification of degenerate maps on Mn(F) is more involved. They are all of the type A 7→ π1(A) ⊕ Idn−m for some integer m ∈ {0, . . . , n} and some degenerate multiplicative π1 : Mn(F) → Mm(F) with π1(0) = 0 [5]. When m = 1, Ðoković [2, Theorem 1] proved the following. E-mail addresses: matjaz.omladic@fmf.uni-lj.si (Matjaž Omladič), bojan.kuzma@famnit.upr.si (Bojan Kuzma) Copyright c© 2013 DMFA Slovenije 248 Ars Math. Contemp. 6 (2013) 247–252 Lemma 1.1. Let F be a field, and n ≥ 2. If π :Mn(F) → F is multiplicative, then there exists multiplicative φ : F→ F so that π(X) = φ(detX). When m < n and the characteristic of F differs from 2, Ðoković [2, Theorem 2] also showed π1 factors through determinant so that π1 = f ◦ det for some multiplicative f : F → Mm(F). The classification of those seems to be difficult, and as far as we know they are known only in case F = C is the filed of complex numbers, by the work of Omladič, Radjavi, and Šemrl [8]. Later, Guralnick, Li, and Rodman [4], extended the result of Ðoković to include also the case n = m. Semigroup homomorphisms mapping into higher dimensional algebras are less known. Kokol-Bukovšek [6, 7] classified them in case they are nondegenerate and map 2–by–2 matrices into 3–by–3 or into 4–by–4. Under additional assumption that a degenerate ho- momorphism is a polynomial in matrix entries, the classification is well-known, see a book by Weyl [9] (see also Fulton and Harris [3] for holomorphic homomorphisms over a field of complex numbers). It is our aim to show that all homomorphisms from n–by–n matrices to ( n k ) –by– ( n k ) matrices which map a rank-k matrix into a rank-one come from exterior product. Both assumptions on the dimension of the target space as well as on the rank of the matrices are essential; otherwise there are many more maps as we show in Remark 1.4 below. We remark that the main idea, that rank-k idempotents are mapped into rank-1 idempotents, is essentially due to Jodeit and Lam [5]. To be self-contained, we briefly repeat the basics about exterior products. Let e1, . . . , en be the standard basis of column vectors in Fn. Given a linear operator X on Fn, denote by ∧k (X) the k-th exterior product of X , acting on ∧k (Fn), i.e., a k-th exterior product of Fn. Recall [3] that, as a vector space, ∧k (Fn) has a basis consisting of ( n k ) elements {ei1 ∧· · ·∧eik ; 1 ≤ i1 < i2 < · · · < ik ≤ n}, where x∧y = −y∧x and x∧x = 0 is the alternating tensor. Then by definition, ∧k (X) : ei1 ∧ · · · ∧ eik 7→ (Xei1) ∧ · · · ∧ (Xeik). It follows easily that ∧k (AB) = ∧k (A) ∧k (B). Also, in lexicographic order of a basis( ei1 ∧ · · · ∧ eik ) 1≤i1<···