MathAudit

Publication metadata

Journal citation
Mathematical Communications 9(1), 63–65 (2004)
Publication date
2004-06-26
MSC 2020
17B20
As specified in the publication (MSC 2000)
17B20 ↗Version-of-record PDF, first page beneath the keywords17B20 carries forward unchanged through both official conversion tables.

Abstract

For restricted roots whose sum is nonzero, the paper determines when their corresponding root subspaces bracket onto the root subspace of the sum.

Role in dependence graphs

Proof-critical source

Bounded trajectories of quasi-rays

This paper is included only for the following marked statement:

  • Root-subspace bracket theorem · pp. 63–65; proof-critical citations on p. 64Determines the bracket of restricted-root subspaces and is used in Appendix Lemma A.6.

AI-generated audit

Audit summary

Not a correctness certificate. These reports do not replace expert scrutiny or formal verification.

No audit has been generated for this published version.