最簡單的情況是一個線*型,是歸納法的起點.
給出了一類帶有非退化對稱不變雙線*型及對稱自對偶李代數的分解唯一*的一個充分條件,並討論此類李代數的特殊*質。
本文討論賦值環上的對稱線*型、二次型和對稱矩陣的合同標準形。