Skip to content
DraconiticResearch
Search Sources API
203,203 studies31 sourcesUpdated 37 min ago
PreprintCC BY-SA 4.0arXiv

A Counterexample to the Open Question on Object Ideals

Abstract

We give a counterexample to completeness descent from ideal cotorsion pairs to their objects. A radical-square-zero algebra on the two-cycle gives a finite-dimensional example. The construction is intrinsically non-weakly-idempotent-complete.

Related

  1. A counterexample to Köthe's conjecture and a question of Rowen
    Tom Adamczewski, Bernhard Böhmler, Rene Marczinzik
    arXivPreprintarXiv licenceFull textAlgebra & number theoryarXiv
  2. A Counterexample to Wooley's L1 Question for Beatty Sequences
    Dijia Chen
    arXivPreprintarXiv licenceFull textAlgebra & number theoryarXiv
  3. A counterexample to Yau's bounded-mean-curvature embedding question
    Haoxuan Cheng
    arXivPreprintarXiv licenceFull textGeometry & topologyarXiv
  4. A Compact Counterexample to Suárez's Berezin Approximation Question
    Mishko Mitkovski, Yuyuan Ouyang
    arXivPreprintarXiv licenceFull textAnalysis & PDEsarXiv
  5. Object ideals and idempotent completeness
    Jing He, Yixia Zhang
    arXivPreprintCC BY 4.0Full textAlgebra & number theoryarXiv
BibTeX
@misc{wang2026counterexample,
  title = {{A Counterexample to the Open Question on Object Ideals}},
  author = {Qikai Wang and Yuxiao Wang and Haiyan Zhu},
  howpublished = {arXiv},
  year = {2026},
  month = sep,
  doi = {10.48550/arxiv.2609.14382},
  eprint = {2609.14382},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2609.14382},
  note = {CC BY-SA 4.0},
}
RIS
TY  - UNPB
TI  - A Counterexample to the Open Question on Object Ideals
AU  - Qikai Wang
AU  - Yuxiao Wang
AU  - Haiyan Zhu
PY  - 2026
DA  - 2026/09/13
PB  - arXiv
DO  - 10.48550/arxiv.2609.14382
UR  - https://arxiv.org/abs/2609.14382
AB  - We give a counterexample to completeness descent from ideal cotorsion pairs to their objects. A radical-square-zero algebra on the two-cycle gives a finite-dimensional example. The construction is intrinsically non-weakly-idempotent-complete.
ER  -