Skip to content
DraconiticResearch
Search Sources API
203,234 studies31 sourcesUpdated 39 min ago
PreprintarXiv licencearXiv

The Hua identity implies alternativity

Abstract

The well-known Hua identity a − (a−1 + (b−1 − a)−1)−1 = aba holds in any associative division ring. We prove, in a sense, a converse: if a (nonassociative) ring with unit and multiplicative inverses satisfies the Hua identity, then it is alternative.

Related

  1. Nonvanishing implies abundance
    Jihao Liu
    arXivPreprintCC BY-NC-ND 4.0Full textAlgebra & number theoryarXiv
  2. An extension of Subcomplete Forcing Axiom which implies diamondsuit+
    Hiroshi Sakai
    arXivPreprintCC BY 4.0Full textLogic & foundationsarXiv
  3. Bounded VC-dimension implies the Erdős--Rado sunflower conjecture
    Gennian Ge, Jian Wang, Zixiang Xu +1
    arXivPreprintCC BY 4.0Full textCombinatorics & discrete mathematicsarXiv
  4. Concentration of Exponential Tilts Implies Curvature
    Aziz Ben Nejma
    HALPreprintCC BY-NC-ND 4.0Full textProbabilityHALarXiv
  5. Existence of bases implies the axiom of choice, a foundation-free proof
    Gabriel Fernandes, Renan Maneli Mezabarba, Vinicius de Oliveira Rodrigues
    arXivPreprintCC BY 4.0Full textLogic & foundationsarXiv
BibTeX
@misc{zusmanovich2026identity,
  title = {{The Hua identity implies alternativity}},
  author = {Pasha Zusmanovich},
  howpublished = {arXiv},
  year = {2026},
  month = sep,
  doi = {10.48550/arxiv.2609.30447},
  eprint = {2609.30447},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2609.30447},
}
RIS
TY  - UNPB
TI  - The Hua identity implies alternativity
AU  - Pasha Zusmanovich
PY  - 2026
DA  - 2026/09/24
PB  - arXiv
DO  - 10.48550/arxiv.2609.30447
UR  - https://arxiv.org/abs/2609.30447
AB  - The well-known Hua identity a − (a^−1 + (b^−1 − a)^−1)^−1 = aba holds in any associative division ring. We prove, in a sense, a converse: if a (nonassociative) ring with unit and multiplicative inverses satisfies the Hua identity, then it is alternative.
ER  -