{"id":"arxiv/2602.21326","url":"https://arxiv.org/abs/2602.21326","tags":["math.LO"],"score":0,"title":"Quantifier Elimination and Invariant Theory: Applications to Quaternions, Octonions, and Other Algebras","domain":"math.LO","source":"arxiv","authors":["Maximilian Illmer"],"reviews":0,"subject":"math.LO","summary":"We build on our previous paper \\cite{constructive} by using the general method introduced there in conjunction with invariant theory. This yields quantifier elimination results for the classical quaternions, octonions, as well as other classes of finite-dimensional algebras over real closed and algebraically closed fields. In particular, the first two examples answer an open question posed recently in \\cite{savi}.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-24","reactions":{}}