On transformation partly preserving a nonsingular bilinear function Original Research Article

Let F be an arbitrary field, and let Vn(F) be an n-dimensional vector space over F. We say that phi, a transformation on Vn(F), partly preserves a nonsingular bilinear function f(·, ·) : Vn(F) × Vn(F) → F if there exists a basis {ε1,ε2, … ,εn} for Vn(F) and a map π : {ε1,ε2, … ,εn} → Vn(F) such that f(α, εj) = f(phi(α), π(εj)) for allα set membership, variant Vn(F), j = 1,2, … ,n. Let Mm×n(F) be the vector space of m × n matrices, and let Mn(F) be the vector space of n × n matrices over F. We prove that a transformation phi on Vn(F) is an invertible linear transformation if and only if phi partly preserves a nonsingular bilinear function. Then we characterize transformations phi on Mn(F) which satisfy det(phi(A)) = det(A) and Tr(phi(A)phi(B)) = Tr(AB). Finally we characterize the transformation groups Wm×n(F) = {phimidphi(A) = PAQ for allA set membership, variant Mm×n(F), where P set membership, variant GLm(F), Q set membership, variant GLn(F), PPt = Em, QQt = En} on vector space Mm×n(F) by as few invariants as possible.