量子消除与不变性理论:关于四元数、八元数及其他代数的应用
逻辑
2026-03-18 v2
摘要
本文延续前文 \cite{constructive} 中所述方法,并结合不变性理论,进而为实数闭域和代数闭域上的有限维代数完成量子消除。具体而言,本文前两例均解决了 \cite{savi} 中近期提出的开放性问题。
引用
@article{arxiv.2602.21326,
title = {Quantifier Elimination and Invariant Theory: Applications to Quaternions, Octonions, and Other Algebras},
author = {Maximilian Illmer},
journal= {arXiv preprint arXiv:2602.21326},
year = {2026}
}
备注
17 pages