Roth's solvability criteria for the matrix equations {AX-\widehat XB=C} and {X-A\widehat{X}B=C} over the skew field of quaternions with an involutive automorphism q\mapsto \hat q
Futorny, Klymchuk, Sergeichuk · math.RA,math.RT · 2016-11-11 · 原文
The matrix equation AX-XB=C has a solution if and only if the matrices [A&C\\0&B] and [A &0\\0 & B] are similar. This criterion was proved over a field by W.E. Roth (1952) and over the skew field of quaternions by Huang Liping (1996). H.K. Wimmer (1988) obtained an analogous criterion for the matrix equation X-AXB=C over a field. We extend these criteria to the matrix equations AX-\widehat XB=C and X-A\widehat XB=C over the skew field of quaternions with a fixed involutive automorphism q\mapsto \hat q.
讲义
讲义·推断 依据「原文」自动生成的结构化摘要（推断），非原文表述；以原文为准。
1. 人话版
The matrix equation AX-XB=C has a solution if and only if the matrices [A&C\\0&B] and [A &0\\0 & B] are similar.
This criterion was proved over a field by W.E.
2. 领域脉络
本文类目：math.RA、math.RT，属于其所在研究脉络的最新进展。
3. 机制拆解
We extend these criteria to the matrix equations AX-\widehat XB=C and X-A\widehat XB=C over the skew field of quaternions with a fixed involutive automorphism q\mapsto \hat q.
4. 证据与数字
Roth (1952) and over the skew field of quaternions by Huang Liping (1996).
Wimmer (1988) obtained an analogous criterion for the matrix equation X-AXB=C over a field.
5. 反例与边界
摘要未声明局限与反例——这是需要警惕的信号，精读时先问边界。
6. 跨领域连接与意外收获
横跨 2 个类目（math.RA、math.RT），关注其在你兴趣板块间的迁移面。
7. 可复用方法
把本文机制与你手头项目对照，找一个两周内能验证的最小实验。
8. 术语表
精读时把不熟的术语记入此处，作为下次回忆的锚点。