Statements (10)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:describes |
unitary equivalence of matrices
|
| gptkbp:field |
linear algebra
matrix theory |
| gptkbp:namedAfter |
gptkb:Wilhelm_Specht
|
| gptkbp:state |
Two complex matrices are unitarily equivalent if and only if they have the same values for all trace polynomials
|
| gptkbp:yearProposed |
1940
|
| gptkbp:bfsParent |
gptkb:Wilhelm_Specht
|
| gptkbp:bfsLayer |
7
|
| http://www.w3.org/2000/01/rdf-schema#label |
Specht's theorem
|