protectarXiv:math-ph/9907015v2 vrule width0ptprotect egingroup 16 Mar catcode 2001 ‘@=11 elax let hyper@@@ elax let hyper@@@ hyper@ hyperpr@tokenize elax let hyper@@@ elax let hyper@@@ hyper@ hyperpr@link hyper@marker {http://arxiv.org/abs/math-ph/9907015}{math-ph/9907015} - IMECC/99045 e 1] oee,Sdet However, [16]. see olwn he axioms: three following ope.I hspprw hwta Sdet that show we th paper while this | nonnegative is In former the complex. since matrices, complex on coincide steuiu,u oatiilpwrfco,functional factor, power trivial axioms. a of set to common up a unique, share functionals the two is the that sense the in scoeyrltdt h -eemnn n oDednesdetermina Dieudonne’s to and q-determinant S the det Ddet. to as related denoted closely Dieudonn´e’s determinant, is to and [17] erature uvyppro sakn[6.Suysdtriati eoe sSd as the denoted to is identical determinant is Study’s in factor, found power St [16]. be trivial by Aslasken can of introduced details paper was The suc survey functional Dieudonn´e much [15]. poss determinant by without The axiomatized canonical [13], properties A Cayley [4]-[6]. by literature 1845. contemplated physical as been the has in extension considered an been has trices unificatio physics. grand quantum and of 10] formulation [9, quaternionic appe theory a recently group within have 8], [7, structures mechanic equations mathematical quantum eigenvalue of Quaternionic context the [6]. in ory mainly [1]-[5], physics theoretical hwtefollowing: the show ftecmlxdtriataddsusisseta n line and spectral its discuss and determinant complex the of nta,teSuydtriatadtecoeyrelated closely the and determinant Study the Instead, apns(P rzl([email protected] [email protected] ([email protected], Brazil (SP) Campinas upre yCP rn 0099- NrChn n AEPg FAPESP and Cohen) (Nir 300019/96-3 grant Leo). CNPq by supported h td eemnn a ecaatrzda h nqefun unique the as characterized be can determinant Study the det ∗ † q Abstract. M ujc classifications. subject AMS words. Key | 3. 1. nteewrs dtwscniee sa as considered was Sdet works, these In .multiplicativity: 2. h usino xedn h eemnn rmcmlxt quater to complex from determinant the extending of question The .Introduction. 1. aeytetofntoascicd o ope arcs oepre More matrices. complex for coincide functionals two the namely , lcrncJunlo ierAlgebra Linear of Journal Electronic Sdet = eateto ple ahmtc,IEC nvriyo Ca of University IMECC, Mathematics, Applied of Department 2 F F Ddet = h eemnn o ope arcscno eetne oq to extended be cannot matrices complex for determinant The ( ( utrin,Mtie,Determinant. Matrices, Quaternions, I A + fadol if only and if 0 = ) H UTRINCDETERMINANT QUATERNIONIC THE rE 4 . ij utrinclna ler satatn rwn neetin interest growing attracting is algebra linear Quaternionic I COHEN NIR for 1 = ) osnttuyextend truly not does F 50,15A33 15A09, ( AB i 6= † = ) 7 A j AND 0-1 (2000) 100-111 , and q ssingular; is dtriat det -determinant, F 1 ( TFN ELEO DE STEFANO A r ) osetn h ongtv functional nonnegative the extend does ∈ F generalization e.Ide,tetofntoasd not do functionals two the Indeed, det. q dtriataewdl sd eso that show We used. widely are -determinant H ( B ; ); toa hc xed the extends which ctional ragbacaspects. algebraic ar apb) h uhr eepartially were authors The camp.br). F q : on nms ftelit- the of most in found , H at9/90- SeaoDe (Stefano 99/09008-5 rant pns P66,13081-970 6065, CP mpinas, ftedtriat det, determinant, the of † n × n uysdeterminant tudy’s hc aifisthe satisfies which rdi discussing in ared aenoi matrices. uaternionic ∗ pcfial,Sdet Specifically, d 1]adits and [14] udy oe 1,12] [11, model n t Specifically, nt. t n pt a to up and et, atri truly is latter e n edthe- field and s blt fsuch of ibility es searly as cess, h excellent the bouevalue absolute incma- nionic iey we cisely, protect vrule width0ptprotect egingroup catcode ‘@=11 elax let hyper@@@ elax let hyper@@@ hyper@ hyperpr@tokenize elax let hyper@@@ elax let hyper@@@ hyper@ hyperpr@link hyper@marker {http://arxiv.org/abs/math-ph/9907015}{math-ph/9907015} - IMECC/99045 | xed oqaenoi matrices. quaternionic to extends oceeseta n ueia-nltcitrrttoswihd ca which it interpretations [18]-[21], numerical-analytic plexification. complexification and through spectral defined concrete originally is Sdet though ndti a o emta utrincmtie,is matrices, quaternionic hermitian for way this fined ne h ento Sdet[ definition the under satisfying uainadmnrcluain(oeo hsmtra a efudi [2 in found succes without be Cayley can by material pursued this general approach, of this (some that calculation interesting minor and mutation h eemnn n h icliso xedn h formula the extending of difficulties the and determinant the matrices. non-square h eladiaiayprsof parts imaginary and real the eetdb orra quantities real four by resented quaternions. to aecnrlrl ngopter vrteqaenoswl eplaye be will quaternions the over theory group in role central same o-omttv ler frn over 4 rank of algebra non-commutative aldqaenoi conjugation, quaternionic called n he mgnr units imaginary three and | ewl eoeby denote will We | ie ihdto ope matrices. complex on det with cides det( det det[ | )W ics omlsfrdet[ for formulas discuss We 5) )W hwta h cu opeet dniyfrcmlxmatrice complex for identity complements Schur the that show We 4) )W hwta h identities the that show We 3) ntels eto eas ics oeoe rbescnenn th concerning problems open some discuss also we section last the In .Notation. 2. )Se sthe is Sdet matrices 2) quaternionic on functional multiplicative no exists There 1) M M ncmlxmtie ermr htjs iedet[ like just that remark we ( matrices complex on ] ) 6 | utrincmtie,i ai nthe in valid is matrices, quaternionic | hrceie o-iglrmtie vrtecmlxnumbers complex the over matrices non-singular characterizes 0 = = pq Q = σ q i Re[ p ntrso iglrvle,etn to extend values, singular of terms in , | det o all for q utrin,itoue yHmlo 2,2]i 83 a erep- be can 1843, in 24] [23, Hamilton by introduced Quaternions, only := ] q  q ¯ = a = o-osatmlilctv ucinlwihcicdswith coincides which functional multiplicative non-constant D C M B A ,p q, a ,j k j, i, a | + =det[ := ] q − | i ∈ 2 n Im[ and b i 2 b i = H  = q satisfying + h utrinskew-field quaternion The . h utrinnorm quaternion The . q − j q c j ¯ | 2 H M c j = | = = det( ] + , + | a − k det[ Adj[ M 2 ,b ,d c, b, a, , d k q 2 M d k := ] + 2 R = n a xedteSuydtriatto determinant Study the extend can one ] A noe iha nouoyoperation, involutory an with endowed , ) H b | ijk Re[ = ] 2 hermitian | | = q and ] + det[ − Q = c 2 a q − | + D λ ] = H 1 − i | d − − b i . 2 not ntrso ievle,and eigenvalues, of terms in , Im[ 1 ae h ucinldt de- det, functional The case. CA , . + | ∈ M q ae ntecasclper- classical the on based q | utpiaie oethat Note multiplicative. c j ] R − M sdfie by defined is M , 1 utrinc hs al- Thus, quaternionic. H , + B ] − ] 1 sa soitv but associative an is , d k ,teinequality the 0, 6= | o eur com- require not o Adj( = ySdet[ by d ntecnetof context the in s , eairof behavior e M hc coin- which s, egiven be n ) ].I is It 2]). M / det( The . ] 0). 6= M ) protect vrule width0ptprotect egingroup catcode ‘@=11 elax let hyper@@@ elax let hyper@@@ hyper@ hyperpr@tokenize elax let hyper@@@ elax let hyper@@@ hyper@ hyperpr@link hyper@marker {http://arxiv.org/abs/math-ph/9907015}{math-ph/9907015} - IMECC/99045 aey vr matrix every Namely, t extended been has le lemma [30]. Schur’s Schur’s matrices procedure, similarity. unitary different using a matrix however, the unitary; general in not 26]. [25, solution a has always which for α n ucetcniinfrtesmlrt of similarity the for condition sufficient and ope ojgto in conjugation complex neuvln odto is condition equivalent An given a esonjs si h ope ae sn lmnayGaussian 2 elementary of Using case the case. to reduced complex be the can in case as general just the shown be can ope ubr nqeu ocnuain aey vr quater every Namely, conjugation. to up unique number, complex a oee,teeeit ofixed no exists there However, oRe[ to conjugates yreplacing By fagba[,8,[5-2] esalb neetdi h xeso usua extension the in interested be [29]. shall 8], We [7, eigenvalues” [25]-[28]. “right as 8], f the [7, respect algebra necessarily of not do which extensions, quaternionic ble vr ozr quaternion nonzero Every w quaternions Two mn h rpriso h om ob sdi usqetsectio subsequent in used be to norm, following the the of here properties the Among ∈ α oie eso fteJra aoia omi ai o quaternio for valid is form canonical Jordan the of version modified A proc this in obtained matrix similarity the case complex the in that Note .Seta theory. Spectral 3. Every H sepesdb h o-omtn udai equation quadratic non-commuting the by expressed is ,b ,d c, b, a, q othat so ] ± n i q | × Im[ n ¯ and s ∈ n by H q utrinmatrix quaternion ] p | ypruainsmlrt emyasm that assume may we similarity permutation By . q | pq and u . ie ¯ (i.e. |  nparticular, In Re[ M = = 0 ⋆ ⋆ q C | q ∈ s/ qp q q r aldsmlrif similar called are Re[ = ] ⋆ a eotie ychoosing by obtained be may q Re pcrlter o ope arcsamt eea possi- several admits matrices complex for theory Spectral H = | | =  s a nqeinverse unique a has = | n [ , s s = q α × s − − | emyawy assume always may we = ] q 2 n 1 1 ∈  b | | p qs , s p ssmlr vrteqaenos oa to quaternions, the over similar, is and ] + p H α 0 1 Re fadol fIm[ if only and if ) | q M q α − hc conjugates which [ n ¯ and ( 1 1 p d ssmlrt nuprtinua arx This matrix. triangular upper an to similar is ¯ = and ]   and − 3 q/ q o some for a ) b a d c | p r iia.I a ese that seen be can It similar. are q | − q | | and 2 Im[ | | c 1 = . ×   0 = − q q | arcs hr n ihsfind wishes one where matrices, 2 ] p | s pq | sgvnby given is = . − ∈ , | 0 1 vr iiaiycascontains class similarity Every q q α | = rRe[ or 0 = ] H Im[ s s n ¯ and | ob ntr.Teusual The unitary. be to . = 1 1 p −  ] j | q qp . or o all for , naetltheorem undamental m,triangularizes mma, | s . = b qs nion 0 6= s emention we ns, complex k q Re[ = ] quaternionic o necessary A . ∈ l described lly i matrices. nic . operations, q H Solvability . ssimilar is dr is edure s Jordan s 0. = ] ∈ H protect vrule width0ptprotect egingroup catcode ‘@=11 elax let hyper@@@ elax let hyper@@@ hyper@ hyperpr@tokenize elax let hyper@@@ elax let hyper@@@ hyper@ hyperpr@link hyper@marker {http://arxiv.org/abs/math-ph/9907015}{math-ph/9907015} - IMECC/99045 ntecs of case the In (3) matrix euti negative: is result H Mψ [18]. conjugation complex to up only determined are hc onie ihdto ope ignlmatrices. diagonal complex on det with coincides which xrsin r eo oee,both However, zero. are expressions Since otaito eas biul Re obviously because contradiction ti ayt e htnn fteeepesos ln rjity h jointly, matrices two or the alone example, expressions, for these Consider, of matrix. none the that of see invertibility to easy is It t.Ti sfrhrdsusdi 7 ] 1] [29]. [19], matrix 8], [7, in discussed further is This ity. aefie.Ltu osdrtecs f2 of fo case expression the concrete consider the us generalizing Let at w failed. attempts Starting have commutativity. direct of all lack from [13] results quaternions to nant ✷ that ieetgeneralizations: different odnfr of form Jordan thsbe hw n[8 htif that [18] in shown been has It (1) (2) n × nadffrn ieo tak n a okfrmlilctv functionals multiplicative for look may one attack, of line different a In hr sn utpiaiefunctional multiplicative no is There h cu n odncnnclfrsaeascae with associated are forms canonical Jordan and Schur The ti nuht banoecutrxml for counterexample one obtain to enough is It e sdnt by denote us Let .O xedn h determinant. the extending On 4. = n F S [ to q ψ M J S sinvertible, is enn e of set a defining , ] Z M i.e. , H , F [ ψ M [ M hc oniewt h eemnn ncmlxmtie.Aan the Again, matrices. complex on determinant the with coincide which = ∈ A := ] A = ]  Z H xcl w xrsin n()vns;i h aeof case the in vanish; (2) in expressions two exactly , [ + 1 n M =  F × 0 ad .Cneunl h pcrmof spectrum the Consequently ]. 1 [ Z M M N , i F √ − [ q 1 1 2 M ] 2 [ F 0 ∈ S b,ad , cb i  h opeicto 1] 2,2] 3]o h quaternionic the of [31] 21], [20, [18], complexification the ] ] [ − H  S n M ,seLma52 Since 5.2. Lemma see 0, 6= M 1 hc r eemndol pt utrincsimilar- quaternionic to up only determined are which , ] k j ope ievle.Hwvrteeigenvalues the However eigenvalues. complex 1 N , ∗ , 2 ∗ J hence i F  stecmlxJra omof form Jordan complex the is  − {F : = M , A c,da , bc B , H [  F and M n [ M + 1 ] × × 4 6 } 0 n = B and ] arcs ee n a osdrfour consider may one Here, matrices. 2 Re = h iclyi xedn h determi- the extending in difficulty The → i M r unitary. are − H 1 − 0 b,da , cb + {F F i n = , [ M j  2 = N [ N Z hudb iia.Ti sa is This similar. be should ] √ S , 1 ] 2 [ . } 2 M M , . osdrte2 the Consider  is ] SM − = i j j i c. bc { 1  , λ = 2 M 1 ∈ λ , 0 0 1 srlvnet the to relevance as  h determinant the r t alyhimself Cayley ith NS then ih eigenvalues right C 1 ∗ λ , . . . , j . n B econclude we , ×  l h four the all , × J n ⊕ . matrices 2 . n J λ , F ∗ λ i n ∗ sthe is from } ∈ . C protect vrule width0ptprotect egingroup catcode ‘@=11 elax let hyper@@@ elax let hyper@@@ hyper@ hyperpr@tokenize elax let hyper@@@ elax let hyper@@@ hyper@ hyperpr@link hyper@marker {http://arxiv.org/abs/math-ph/9907015}{math-ph/9907015} - IMECC/99045 uainmti sapouto lmnaypruainmatrices fact permutation elementary the of from product follows a 3 is Item matrix mutation multiplicativity. of consequences trivial matrices euti bandwt epc otefunctional the to respect with obtained is result o tm4 if 4, item for n aifistesaigcondition scaling the satisfies and (5) utpiaiefntoas h nynntiilpr eei h atpr last the is here elsewhere. proved part been non-trivial has only The functionals. multiplicative (6) hc smlilctv,i.e. multiplicative, is which (4) ai over basis If then: ro fTerm5.1 Theorem of Proof ✷ Proof. M .O xedn h bouevleo h determinant. the of value absolute the extending On 5. em 5.2. Lemma concern observations some make we theorem, this proving Before hoe 5.1. Theorem 3) 1) Let 2) 4) utpiaiiyadnntiilt mle that implies non-triviality and Multiplicativity ssingular, is F F F F D [ [ [ [ M P S S M H eafntoa aifig(,,6.Let 6). (4,5, satisfying functional a be 1 = ] ] 1 = ] i F 0 = ] ( M q in [ ) S − sntsnua hnapplying then singular not is if , H o l emtto matrix permutation all for 1 6 F fadol if only and if 1 = ] n If × yarsl f[2,se[6 a.58. pag. [16] see [32], of result a by 0 = S Sdet F n 2 . Let . = and : I D steuiu functional unique the is ; H [ MN F q n [ D M ∈ S × M [ − n i = ] qI H ( 1 D q → MS = ] ssingular. is := ) ennzr.Cnie the Consider non-zero. be D : R [ = ] | H NM + q I | n n sanncntn utpiaiefunctional, multiplicative non-constant a is ( + 5 F × , = ] n [ P M q F → ; − ∀ D ] to if , q R 1) [ | M det ∈ + MM E { S H ] F E | ii D . sinvertible; is [ ij . I [ − N } 1 = ] 1 i,j n ] = =1 , I . mle that implies o tm - become 1-2 items Now eteuulcanonical usual the be n ignlelementary diagonal P i with oepositive more A n nonnegative ing hteeyper- every that pry which operty, P F i 2 [ M = ] I. 0 6= As . protect vrule width0ptprotect egingroup catcode ‘@=11 elax let hyper@@@ elax let hyper@@@ hyper@ hyperpr@tokenize elax let hyper@@@ elax let hyper@@@ hyper@ hyperpr@link hyper@marker {http://arxiv.org/abs/math-ph/9907015}{math-ph/9907015} - IMECC/99045 51 ecnld htti n-aaee aiy lstetocons two view the In plus otherwise). family, 0 one-parameter and this matrices F that invertible the conclude all we on (5.1) 1 is value whose ilctv.Teeoe ehv n-aaee ru fnonneg of group one-parameter a have functionals: we Therefore, tiplicative. olwn ancorollaries: main following matrices. quaternionic ✷ r Hence ✷ (7,8). using eut[16] result hence ned ti ayt e that see to easy is it Indeed, (8) odtos() 8 n item and (8) (5), conditions oset So om of form, of eigenvalues ✷ ned ypruainsmlrt esethat see we similarity permutation by Indeed, (7) the and is eso that show we First 0 1 = [ M oolr 6.1. determinant. Corollary Study the of description Concrete 6. oeta ngnrlif general in that Note hsflosesl ywriting by easily follows This oolr 6.2. Corollary ehv hrfr salse that established therefore have We yLma52ie ,i seog ocnie h odnfr,o h S the or form, Jordan the consider to enough is it 2, item 5.2 Lemma By . ] F f f ≡ ( ( [ n M M q q ( and 0 := ) = ) n F ij − hc so h yecniee yCrlay6.1. Corollary by considered type the of is which { − 1 ( Ddet = Sdet | q M F q 1) ]= )] | scamd etw hwthat show we Next claimed. as , [ F / . M pe raglreeetr matrices elementary triangular upper 2 r 1 i [ : M F M ( q 2 r [ r ij ] ehave We )]. − If M ] ∈ | 1 o l matrix all For Sdet = ≡ q ( ij M | q R n ( = ) 1 q } M = , suprtinua hnSdet( then triangular upper is ] o 8 olw ymultiplicativity. by follows (8) Now )]. F Tecase (The 4 r h nynneaiemlilctv ucinl on functionals multiplicative nonnegative only the are ij F M r ( nLma52 hrfr,acrigt Dieudonn´e’s to according Therefore, 5.2. Lemma in [ smlilctv and multiplicative is q ij qI o some for := ) ( F M qI F = ] − [ [ M q M = xlctya rdc feeetr matrices, elementary of product a as explicitly I = ) i Y i M ij =1 r + F n Q ( q ( sitrsig tlast h functional the to leads it interesting: is 0 = Sdet( , q 6 ]= )] E q M i n F : r =1 ]=1 = )] H [ i ∈ M ( ij n M − | F R i × q . j < i , ( 1) i | u o() ti edl enthat seen readily is it (6), to Due . q ( n [ M M q . ]= )] . M → ,hence ), = ) i ij ( q H ( f ]i needn f1 of independent is )] q r ) n aifistetreDieudonn´e three the satisfies Q M ∈ ( q M i n i ) R =1 ( − . = ) | 1) then λ hoe . a the has 5.1 Theorem i , Q | tv multiplicative ative i n where =1 F atfunctionals tant | r M sas mul- also is ii fTheorem of λ | . i ≤ r the are i ≤ chur n . protect vrule width0ptprotect egingroup catcode ‘@=11 elax let hyper@@@ elax let hyper@@@ hyper@ hyperpr@tokenize elax let hyper@@@ elax let hyper@@@ hyper@ hyperpr@link hyper@marker {http://arxiv.org/abs/math-ph/9907015}{math-ph/9907015} - IMECC/99045 V raglr ic nadto q 8 sovosyvldfrlwra elas well as lower for valid obviously is (8) get: Eq. we addition matrices, in triangular Since triangular. in V,frcmlxmtie xed oqaenoi arcsin matrices quaternionic Every to extends way. matrices complex for SVD, tion, utrincmatrix, quaternionic unitary. iglrvle of values singular ai for valid modular ntr if unitary incmtie.Hwvr tcnb xeddto extended be can it However, matrices. nionic H arcsi o lsdudrpout,adtefunctional the and products, under closed deter not uniquely is are that matrices eigenvalues fact the the from matrices follows This hermitian for that Note hns ieaue e o xml e.[2.Aohrpsil defin possible ge 6.5: Another was and [22]. 6.2 permutations ref. Corollaries of example to terms for in see determinant literature, Chinese the of definition usual 1) congruence. under invariant is it However, multiplicative. .Alteeigenvalues the All 2. .Alte(signed) the All 3. | H sw a nscin() h omndtriatcno eexten be cannot determinant common the (4), section in saw we As . r ntr,Σ=Σ = Σ unitary, are | H r oolr 6.4. Corollary e sdfieteajitof adjoint the define us Let oolr 6.5. Corollary h dniySdet( identity The ic h ievleiett utehbtd etitdt ope m complex to restricted exhibited, just identity eigenvalue the Since oolr 6.3. Corollary et ecalculate we Next, .Hriinmatrices. Hermitian 7. ti ayt hwta o emta arcstefloigaeequiva are following the matrices hermitian for that show to easy is It ecnld hsscinb oprn h ucinlSdet[ functional the comparing by section this conclude We utdfie,adthe and defined, just spstv ent,i.e. definite, positive is matrices. | det U + n | , U × egtimmediately: get we = n M I eldeterminants real utrincmatrix, quaternionic codn oteqaenoi cu em 3] every [30], lemma Schur quaternionic the to According . 1,3,3,3] nteetrstefloigholds: following the terms these In 34]. 33, 30, [18, M 1 λ F o ope arcsw aeSdet( have we matrices complex For M F ⊕ i Sdet( a ewitnas written be can , [ M r positive; are a etkna ai odfietegopof group the define to basis a as taken be may 1 = ) ,Σ 0, ntrso iglrvle.Tesnua au decomposi- value singular The values. singular of terms in q-determinant = ] x M 1 + Z Q | = + utrincmatrix quaternionic A x> Hx M M [ Sdet( = ) M i n = σ | | q 1 1 y( by sas emta.Nt httesto hermitian of set the that Note hermitian. also is ] H σ det = ⊕ ftepicplmnr r positive. are minors principal the of | i o l o zero non all for 0 r . . . . M = M [17] 7 + i ⊕ Y {Z =1 M a h SVD the has , ) n ij M σ .I atclrSdet( particular In ). λ k [ = M i where , hermitian = . M ] } U ji , + matrix A . U T H σ x 1 scle emta if hermitian called is utrincmtie.The matrices. quaternionic ∈ where ≥ M M H det σ = ) n 2 = × ≥ U U : | U 1 M det( ; H σ . . . Σ to sanalogous is ition ∈ straightforward a suiayand unitary is ,tefunctional the ], V U ie n real. and mined eaie nthe in neralized H M | → e oquater- to ded if 1 = ) tie,i also is atrices, k where n ) ≥ × | H lent: . n r the are 0 | scalled is r U snot is upper H n U uni- × + and = T is n protect vrule width0ptprotect egingroup catcode ‘@=11 elax let hyper@@@ elax let hyper@@@ hyper@ hyperpr@tokenize elax let hyper@@@ elax let hyper@@@ hyper@ hyperpr@link hyper@marker {http://arxiv.org/abs/math-ph/9907015}{math-ph/9907015} - IMECC/99045 when arcs hsapoc sfudi 2] hr h eutn function resulting the where [22], in squa found from is Sdet determinant of approach double definition This the extend can matrices. one equation, this Using nqe ti hw n[7 hti case in that [17] in shown is It unique. fmtie vrrns e swieageneric a write us Let rings. over matrices of scle netbeif invertible called is netbe n h nes sgvnby given is inverse the and invertible, esalcall shall We suigthat Assuming matrices, an of inversion The (10) with (9) s fti ierdcincnb sdt nettemti efficiently. ge matrix in the available invert be not to may used latter the be but can elimination, Gaussian reduction as size efficient this of use u r h no fteegnauso h umns egtta S that get we summands, the eigenv of the eigenvalues since the 1; of is union (9) in the matrices are block-triangular sum two the of each A Sdet[ h olwn omtto oml o dt hc eeaie elk well a of generalizes (actually, which det Sdet, of for formula commutation following the ✷ − 1 .Shrcomplements. Schur 8. h cu opeet rcdr 3]i oeflto ncalculat in tool powerful a is [35] procedure complements Schur The h netblt of invertibility The oolr 8.1. Corollary ned rmtecntuto fSe ntels eto,w e t see we section, last the in Sdet of construction the from Indeed, sarsl fteShrcmlmnsdtriatfruajs exh just formula determinant complements Schur the of result a As exists. A Z ]Sdet[ [ M A M sdfie neuto 1.Fo rvoscnieain,w have we considerations, previous From (1). equation in defined is ] | M R ∈ − A A 1 S | M q S = A ] . k = the hspu utpiaiiyipisteresult. the implies multiplicativity plus This  R ∈ × = Y . i | k = det n n I  0 cu complement Schur 1 and dmninlmti stu eue oivrino w smaller two of inversion to reduced thus is matrix -dimensional k MN k | | λ × CA Sdet ): A i k − I | 2 A k nue httematrix the that ensures I sivril,oehas one invertible, is A − n = Sdet[ = S 1  − − R ∈ 1 k NM B I Let A n D C B A M 0 −   S ( n k M = := R = −   + k I  A ) Sdet[ ] ea soitv ig matrix A ring. associative an be D n R ×  0 of − ( D C B A − 1 o some for n 8 A = 0 A − Sdet[ = CA H A M k in ) n A S , 0 0 − dmninlmatrix -dimensional Sdet = ] pu oemlilctos;repeated multiplications); some (plus − MN S M 1  1 . B   . M   N . A = Sdet[ ] sivril fadol if only and if invertible is R ∈ I I 2 0 − k [ n M CA I implies n D k = ] A I × n − − − n − 1 1 | hc snecessarily is which , B k M CA I NM +  n 0 M − − M et o square non to re le fadirect a of alues k 1 , a t au on value its hat | B det[ onproperty nown r nbokform block in  btd eget we ibited, = sln as long as ] . M n inverses ing ti o as not is It li called is al ea rings. neral I A . n . R ∈ ⊕ A A S n S = ] × is n protect vrule width0ptprotect egingroup catcode ‘@=11 elax let hyper@@@ elax let hyper@@@ hyper@ hyperpr@tokenize elax let hyper@@@ elax let hyper@@@ hyper@ hyperpr@link hyper@marker {http://arxiv.org/abs/math-ph/9907015}{math-ph/9907015} - IMECC/99045 N n pl oi cu opeet ihrsett both to respect with complements Schur it to apply and n eemnn o 2 for determinant and get and ✷ identity. the implying ea netbe2 invertible an be orprle plctoso h cu opeetfrua(0 lead (10) formula complement inverse: Schur the the of of description applications parallel four where (11) e ¨re 3]pg 1.Teivriiiyof invertibility The 115. page G¨ursey [36] see (12) osqety h element the Consequently, aih suefreapethat example for Assume vanish? r eldfie o-eoqaenos hthpesi oeo th of some if happens What quaternions. non-zero well-defined are ∈ oolr 8.2. Corollary ned osdrtematrix the consider Indeed, • .Tecs of case The 9. H Inversion. m × n . × Sdet Sdet Let arxwt utrincetis When entries. quaternionic with matrix 2 2 c a ˜ ˜   × × ( = ( = Sdet[ 2 utrincmatrices. quaternionic 2 matrices. I M I M b I I a d 1 1 − − I − ac + bd d N N ˜ ca 2 2 − =lim := M − MN − 1 1   a d M 1 c − b a ) )  .Teivriiiyof invertibility The 0. = 1 − → − has Sdet[ = ] Sdet[ = Sdet[ = = nti atscin edsusivrin adjoint inversion, discuss we section, last this In 1 = 1 0 , I M I , (   1 d infinite 9 − b a d c a ˜ c ˜ N ca ˜ b d 2 ˜ I I 1 2 ( = ( = d ˜ b − ˜ Sdet[ ] Sdet[ ]  I M 1  b  + ouu.I hscs,w define we case, this In modulus. c d ) − − urnesta hs orvalues four these that guarantees NM − , 1 I I db . ca 2 2 − − − − o all for ] 1 1 a I MI NI b 1 ) ) − − and a 1 1 − M 1 1 − , 1 , 1 , b M N , mle that implies I c ] ] 2 , M epciey We respectively. , , , d r l non-zero, all are nre of entries e ∈ oaconcrete a to H n × ,c b, m 0. 6= and M protect vrule width0ptprotect egingroup catcode ‘@=11 elax let hyper@@@ elax let hyper@@@ hyper@ hyperpr@tokenize elax let hyper@@@ elax let hyper@@@ hyper@ hyperpr@link hyper@marker {http://arxiv.org/abs/math-ph/9907015}{math-ph/9907015} - IMECC/99045 ihqaenoi ignlmatrices diagonal quaternionic with ipecalculation, simple A hls,tersligconstraints resulting the theless, fCe [22]. Chen of (15) hw that shows tfis ih,i ih aesnet ojcueanncmuige non-commuting a conjecture quat gr to to sense of formula make is this form, might (13) generalize general it to matrices, sight, failed complex first have and At we far, real So of inverse importance. the calculating In (13) > n ecnld htE.(2 eanvldudraporaeconventio appropriate under valid remain in (12) entries Eq. that conclude We (14) hc,frcmuaiefils r aifidif satisfied are fields, commutative for which, omttv,Es 1,2 euet h elkonformula known well the to reduce (11,12) Eqs. commutative, arcsrmisa pnpolm h eedfiiino Adj[ of definition mere The valid is problem. (13) open formula an of written (14), remains be beyond cannot matrices weakening, (3) in further matrix a first Whether the example, For solvable. ways sn aaadpoutbtenannngtv arxadaterm a and matrix negative non a between matrix product quaternionic Hadamard a using > n nte ecito fteivremti soee neuto (37) equation in offered is matrix inverse the of description Another • ieetgnrlzto f(3 o 2 for (13) of generalization different A 2. ,peevn 1) sntclear. not is (13), preserving 2, Adjoint. M  d ˜ r eo ed o aeacergnrlzto fti hnmnnf phenomenon this of generalization clear a have not do We zero. are 0 .Thus, 0. = d c q.(1 2 r ai neeyascaiering associative every in valid are 12) (11, Eqs. b M |  d ˜ | − − p p =lim := 1 1 1 1 lim = = = a a ˜ = = →  → Sdet[ 0 0 a ˜ c ˜ | 1 − | d c aq M ˜ | | bq − M ˜ 0 b ac 1 2 ] M ca 1 d b −  | − − −  1 a − − 1 1 1 P | = , d 1 1 | p , p , | b d c = − | diag = P | | | | a ˜ lim = 10 b Adj[ Adj[ det[ × | = a a b lim = utrincmtie a eobtained be may matrices quaternionic 2 → | | − P M M M 0 a  { c 2 2 → − p det = | ] ] ] c 1 1 ◦ 0 , Q | | p , db = = . |   c c 2 − − | | | } a 1 − 1 − | b d , | | and 1 a a ˜ 1 ˜ c c ˜ ˜ | dq ˜ cq [ ˜ | | − ˜ b M 0 = 1 1 = a a c ] Q | | − − − d ˜ ˜ d b b c ˜ ˜ I | 1 | 1 1 , − b diag = and 1 , , |   , = R c ˜ . ncase In . M Q = ntefr (14). form the in rinmatrices. ernion peso fthe of xpression o quaternionic for { ], = b s hnsome when ns, a theoretical eat q − 1 M I, 1 q , wise-unitary ftepaper the of . 2 r o al- not are } ∈ R Never- . H salso is n × or n , protect vrule width0ptprotect egingroup catcode ‘@=11 elax let hyper@@@ elax let hyper@@@ hyper@ hyperpr@tokenize elax let hyper@@@ elax let hyper@@@ hyper@ hyperpr@link hyper@marker {http://arxiv.org/abs/math-ph/9907015}{math-ph/9907015} - IMECC/99045 utrincmtie,tera eemnn sgvnby unimodula given hence is determinant unitary, real are the matrices matrices, (these quaternionic result expected the xrsin r equal: are expressions Sdet rmteShrcmlmn oml,Crlay81 tflosta eac that follows it case 8.1, in Corollary extended formula, properly complement expressions, Schur the From 1]S eLoadG uai utrincGopi Physics. in Group Quaternionic Ducati. G. and Leo De S. [10] 1]S eLo utrin o GUTs. for Quaternions Leo. De S. [11] 1]S eLoadP oel.Qaenoi lcrwa Theo Electroweak Quaternionic Rotelli. P. and Leo De S. [12] 1]E td.ZrTeredrlnae lihne.At Ma Acta Gleichungen. non-commu linearen corp d´eterminants un der Diuedonn´e. Les sur J. Theorie Zur [15] Study. E. [14] 1]A Cayley. A. [13] 1]F hn.Qaenosadmtie fquaternions. of matrices and Quaternions Zhang. Determinants. F. Quaternionic [17] Aslaksen. H. [16] 1]N .Wemn.Sm hoeso arcswt elquat real with matrices on theorems Some Wiegmann. A. N. [18] 1]P .Ch.Tesmlrt euto fmtie vras a over matrices of reduction similarity The Cohn. M. P. [19] 2]S eLoadP oel.Tasain ewe quaterni between Translations Rotelli. P. and Leo De S. [20] 5 .M Dixon. M. G. [5] 4 .L Adler. L. S. [4] 3 .Fnesen .M ac n .SesrQaenoi R Quaternionic Speiser D. and Jauch M. J. Finkelstein, D. [3] 1 .Fnesen .M ac n .Sesr oe nquate Speis on D. and Notes Schiminovich S. Jauch, Speiser. M. J. D. Finkelstein, D. and Jauch [2] M. J. Finkelstein, D. [1] 8 .W ono n .I es.Qaenoi oua group modular Quaternionic Weiss. I. A. and Johnson W. N. [8] 9 .D e.Qaeno n pca Relativity. Special and Quaternion Leo. De q S. in [9] equation eigenvalue Right Scolarici. G. and Leo De S. [7] 6 .D e n .A orge.QatmMcais rmcom From Mechanics: Quantum Rodrigues. A. W. and Leo De S. [6] •  Determinant. b a d c e ok 1995. York, New .Mt.Phys. Math. J. 1999. u Mechanics. tum mechanics quantum to approach Logico-algebraic .Mt.Py A. Phys Math. J. nions. 1999. Physics o.11316 1989. 1:123–126, Vol. 1943. :9–0,1955. 7:191–201, rg ho.Py.9:1–2,1994. 92:917–926, Phys. Theor. Prog. 1973. | a  | |

 d . n.J ho.Phys. Theor. J. Int. lwrAaei ulses otn 1994. Boston, Publishers, Academic Kluwer . utrincQatmMcaisadQatmFields Quantum and Mechanics Quantum Quaternionic pligti oml ntetouiaymtie n() n obtains one (3), in matrices unitary two the on formula this Applying h olce ahmtclPapers Mathematical Collected The − q α δ q ¯ iiinAgba:Otnos ope ubr n h Alge the and Numbers Complex Octonions, Algebras: Division ca − 1 :3–4,1963. 4:136–140, b  For .Mt.Phys. Math. J. | 327–95 2000. 33:2971–2995,

= r = n | b | | ,i sntwrh httefloigfu quaternion four following the that noteworthy is it 2, = λ c 1 λ − 622–77 1997. 36:2725–2757, 2 db = n.J ho.Phys. Theor. J. Int. REFERENCES :0–2,1962. 3:207–220, − δ α 1 a | | − = h ah Intelligencer Math. The ,b c b, a, 11 | q c | .Mt.Phys. Math. J. | | 2 b δ , α , abig nvriyPes Cambridge, Press, University Cambridge . or − 6–2.Rie,Drrct 1979. Dordrecht, Reidel, 367–421. : i.Ag Appl. Alg. Lin. ac d tatif. − 512–87 1996; 35:1821–1837, nadcmlxQatmMechanics Quantum complex and on szr,epesstevleof value the expresses zero, is rFudtoso utrinQuan- Quaternion of Foundations er 1 ry. h 216,1920. 42:1–61, th. d peettoso opc Groups. Compact of epresentations n.J ho.Phys. Theor. J. Int. | e field. kew rinelements. ernion ul o.Mt.France Math. Soc. Bull. .Py.G Phys. J. ∈ aenoi unu mechanics. quantum uaternionic = s. 725–98 1996. 37:2955–2968, no unu ehnc.In mechanics. quantum rnion R | i.Ag Appl. Alg. Lin. d lxt opeie quater- complexified to plex | | q , 835-5 1996. 18.3:57-65, xodUiest Press, University Oxford . a 5:15,1997. 251:21–57, − ah Z. Math. ∈ 213–10 1996. 22:1137–1150, ) o hermitian For r). bd H − 1 aa.J Math. J. Canad. . c ri einof Design braic | 38:2195–2218, . 295:159–189, 132:151–163, fthis of h 71:27–45, protect vrule width0ptprotect egingroup catcode ‘@=11 elax let hyper@@@ elax let hyper@@@ hyper@ hyperpr@tokenize elax let hyper@@@ elax let hyper@@@ hyper@ hyperpr@link hyper@marker {http://arxiv.org/abs/math-ph/9907015}{math-ph/9907015} - IMECC/99045 3]F ¨re n .H Tze. H. C. G¨ursey and F. [36] 3]H .Le ievle n aoia om fmtie w matrices of forms canonical and Eigenvalues Lee. C. H. [33] 3]R .Hr n .R Johnson. R. C. and Horn A. R. [35] 2]L .Ce.Ivremti n rpriso obedete double of properties and matrix Inverse Chen. X. L. [22] 2]S eLoadP oel.Oddmninltasainbe translation dimensional Odd Rotelli. P. and Leo De S. [21] 3]J .Benr arcso quaternions. of Matrices Brenner. L. J. [34] 3]L .Wl.Smlrt fmtie nwihteelements the which in matrices of Similarity Wolf. A. L. [31] 2]I ie.Eutosi quaternions. in Equations Niven. I. [25] 2]I ie.Teroso quaternion. a of roots The Niven. I. [26] 2]W .Hamilton. R. W. [24] 3]J rne.Apiain fteDieudonn´e determinan the of Applications Brenner. J. [32] 2]L rn.Teroso quaternion. a of roots The Brand. L. [27] 2]S iebr n .Nvn h udmna hoe fal of theorem fundamental The Niven. I. and Eilenberg S. [28] 2]A ae.Rgtegnausfrqaenoi matrices quaternionic for eigenvalues Right Baker. A. [29] 2]W .Hamilton. R. W. [23] 3]R o Kippenhahn. Von R. [30] rc o.IihAcad. Irish Roy. Proc. unu ehnc.Po.Ter hs 62725 1996. 96:247–255, Phys. Theor. Prog. Mechanics. Quantum Physics abig,1967. Cambridge, ah Soc. Math. ah Soc. Math. nChina in 8:0–0,1999. 286:303–309, ol cetfi,Snaoe 1996. Singapore, Scientific, World . 45850 1991. 34:528-540, 27773 1936. 42:737–743, 22628 1944. 52:246–248, lmnso Quaternions of Elements h ahmtclPpr fSrWlimRwnHamilton Rowan William Sir of Papers Mathematical The brdnWreortenrMatrix. einer Wertevorrat den Uber ¨ nteRl fDvso,Jra n eae lersi Parti in Algebras Related and Jordan Division, of Role the On et 22320 1949. 52:253–260, A Sect. oisi arxAnalysis Matrix in Topics mr ah Monthly Math. Amer. mr ah Monthly Math. Amer. mr ah Monthly Math. Amer. aicJ Math. J. Pacific hle ulsigC. e ok 1969. York, New Co., Publishing Chelsea . 12 oooia approach. topological A : t. mnn vrqaenocfield. quaternionc over rminant i.Ag Appl. Alg. Lin. :2–3,1951. 1:329–335, abig P abig,1994. Cambridge, UP, Cambridge . ah Nachr. Math. er o quaternions. for gebra 86461 1941. 48:654–661, r elquaternions. real are 93638 1942. 49:386–388, we ope n quaternionic and complex tween 95950 1942. 49:519–520, t utrincoefficients. quaternion ith :9–2,1951. 6:193–228, :1–3,1968. 1:511–536, abig UP, Cambridge . i.Ag Appl. Alg. Lin. ul Amer. Bull. ul Amer. Bull. Science cle