Congruences of a square matrix and its transpose

被引:53
作者
Horn, RA
Sergeichuk, VV
机构
[1] Univ Utah, Dept Math, Salt Lake City, UT 84103 USA
[2] Ukrainian Acad Sci, Inst Math, Kiev, Ukraine
基金
美国国家科学基金会;
关键词
congruence; sesquilinear forms; canonical forms;
D O I
10.1016/j.laa.2004.03.010
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
It is known that any square matrix A over any field is congruent to its transpose: A(T) = S-T AS for some nonsingular S; moreover, S can be chosen such that S-2 = I, that is, S can be chosen to be involutory. We show that A and A(T) are *congruent over any field F of characteristic not two with involution a --> (a) over bar (the involution can be the identity): A(T) = (S) over bar (T) AS for some nonsingular S; moreover, S can be chosen such that (S) over barS = 1, that is, S can be chosen to be coninvolutory. The short and simple proof is based on Sergeichuk's canonical form for *congruence [Math. USSR, Izvestiya 31 (3) (1988) 481]. It follows that any matrix A over F can be represented as A = EB, in which E is coninvolutory and B is symmetric. (C) 2004 Elsevier Inc. All rights reserved.
引用
收藏
页码:347 / 353
页数:7
相关论文
共 8 条
[1]   A square matrix is congruent to its transpose [J].
Dokovic, DZ ;
Ikramov, KD .
JOURNAL OF ALGEBRA, 2002, 257 (01) :97-105
[2]  
DOKOVIC DZ, 2003, ELECTRON J LINEAR AL, V10, P320
[3]  
GOW R, 1980, LINEAR MULTILINEAR A, V8, P329
[4]   EQUIVALENCE OF BILINEAR FORMS [J].
RIEHM, C .
JOURNAL OF ALGEBRA, 1974, 31 (01) :45-66
[5]   EQUIVALENCE OF SESQUILINEAR FORMS [J].
RIEHM, C ;
SHRADERFRECHETTE, MA .
JOURNAL OF ALGEBRA, 1976, 42 (02) :495-530
[6]  
SERGEICHUK VV, 1987, MATH USSR IZV+, V51, P481
[7]  
TAUSSKY O, 1959, PAC J MATH, V9, P893, DOI DOI 10.2140/PJM.1959.9.893
[8]   CONGRUENCE AND CONJUNCTIVITY OF MATRICES TO THEIR ADJOINTS [J].
YIP, EL ;
BALLANTINE, CS .
LINEAR ALGEBRA AND ITS APPLICATIONS, 1981, 41 (DEC) :33-72