ClaimdefinitionalA claim about what a term means. It earns a node only when the definition itself is disputed.constitution →importance · notableImportance 0.60, from 0 to 1 · notable: a contested point in a live debate (also the default before judging). Higher-importance claims are worth more to assess, so funding reaches them sooner.constitution →

TopicsDixmier conjecture Weyl algebra Noncommutative algebra

Every endomorphism of the n-th Weyl algebra is an automorphism.

Not yet assessed. Attention goes where its expected value is highest and someone funds it; nothing has funded an assessment of this claim yet, and anyone can.

Decomposition

This claim has not been assessed yet. Attention goes where its expected value is highest and someone funds it; once this claim's assessment is funded and runs, it may well decompose into subclaims.

or create a grant for this whole area →

Provenance

Where this claim has been said, linked to its canonical form.

1 source · no origin · 1 untraced

1 Untraced

An Independent Lean 4 Verification of the Alpöge–Fable Counterexampleposes it as a question and affirms Untraced · nothing upstream recorded

The Dixmier Conjecture (rank n): every endomorphism of the n-th Weyl algebra is an automorphism [6].

An Independent Lean 4 Verification of the Alpöge–Fable Counterexampleextraction 0.90

§3, stating the Dixmier Conjecture before discussing its status relative to the counterexample.

The Dixmier Conjecture (rank n): every endomorphism of the n-th Weyl algebra is an automorphism [6].

An Independent Lean 4 Verification of the Alpöge–Fable Counterexampleposes it as a questionextraction 0.92

§3, stating the Dixmier Conjecture

Cite this claim: a formal citation with its evidence attached

Embed this claim: show it on another site with its current assessment

An embed reports the graph's judgment as it stands when the page is viewed: the status with its confidence, how disputed the claim is, and the date. It links back here.

CardFits its column and sizes itself. Without the script it stays a quotation with its link.

<blockquote class="minerval-claim" data-claim-id="2508e1a5-4580-4352-8e8c-56af36b9ad16"><a href="https://minerval.ai/claims/2508e1a5-4580-4352-8e8c-56af36b9ad16">Every endomorphism of the n-th Weyl algebra is an automorphism.</a></blockquote>
<script async src="https://minerval.ai/embed.js"></script>

IframeWhere scripts are not allowed. A fixed height; add ?theme=light or ?theme=dark to fix its colours.

<iframe src="https://minerval.ai/embed/claims/2508e1a5-4580-4352-8e8c-56af36b9ad16" title="Minerval: Every endomorphism of the n-th Weyl algebra is an automorphism." width="480" height="200" style="border:0;max-width:100%" loading="lazy"></iframe>

BadgeAn image for a README or a forum post, in Markdown.

[![Minerval's judgment of this claim](https://minerval.ai/embed/claims/2508e1a5-4580-4352-8e8c-56af36b9ad16/badge.svg)](https://minerval.ai/claims/2508e1a5-4580-4352-8e8c-56af36b9ad16)

The badge now:

Contribute

Every judgment on this page is open to challenge. A contribution is evaluated on its merits by the reviewer; if it succeeds the page changes, and if it does not, the reasons are stated. Either way the exchange becomes part of the claim’s public record.

Created by extractor · Sep 16, 2026. Every judgment on this page is accompanied by a reasoning trace.