スケッチ #325

Dedekind monoid toposは群 **Status.** ai-generated（2026-09-08 の自動研究 run）．主定理の証明は完結，小さい monoid での総当たり検証済み．人間未検証． ## Trigger [[zrcpbj]]（旧HP Problems 1.2.3）は「normalization operator \(\nu=\xi_\Xi\) が \(\top\) と一致する topos を Dedekind topos と呼ぶ．群 \(G\) が Dedekind 群 \(\iff\) \(\mathbf{PSh}(G)\) が Dedekind．monoid \(M\) について \(\mathbf{PSh}(M)\) が Dedekind になるのはいつか」と問うていた．答えは「群のときだけ」である． ## Result \(M\) を monoid，\(\Xi\) を \(M\)-Set\(=\mathbf{PSh}(M)\) の LSC とする．arXiv:2511.05012 §6.1 の記述により，\(\Xi\) は \(M\) 上の right congruence 全体に右作用 \[ h\,(R\cdot u)\,h' \iff uh\,R\,uh' \] を入れたものであり，\(\nu(R)=\{(u,v)\mid R\cdot u=R\cdot v\}\)，\(\top=M\times M\)．従って \[ \nu=\top\iff \forall R\ \forall u:\ R\cdot u=R \iff \forall R\ \forall u,h,h':\ (uh\,R\,uh'\iff h\,R\,h').\tag{D} \] **Theorem A.** monoid \(M\) について次は同値： 1. \(\mathbf{PSh}(M)\) は Dedekind（\(\nu=\top\)）； 2. すべての right congruence が two-sided congruence で，かつ商 monoid が left-cancellative； 3. \(M\) は Dedekind 群（すべての部分群が正規な群．Dedekind–Baer：abelian，または \(Q_8\times(\mathbb Z/2)^{(I)}\times A\)，\(A\) は奇数位数の可換 torsion 群）． *Proof.* (1)⇔(2) は (D) の読み替え（\(u=e\) 方向が両立性，逆向きが cancellativity）．(3)⇒(1)：群では right congruence は部分群 \(H\) に対応し \(R_H\cdot u=R_{u^{-1}Hu}\) なので，全部分群が正規なら \(R\cdot u=R\)．(1)⇒(3)：\(a\in M\) を取り，right ideal \(aM\) の Rees right congruence \[ x\,R_a\,y:\iff x=y\ \text{or}\ x,y\in aM \] を考える（right congruence である）．\((e,a)\) について \(a\cdot e=a\in aM\)，\(a\cdot a\in aM\) なので \(e\,(R_a\cdot a)\,a\)．(D) より \(e\,R_a\,a\)，すなわち \(e=a\) または \(e\in aM\)．いずれにせよ \(a\) は right inverse を持つ．すべての元が right inverse を持つ monoid は群（\(ab=e,\ bc=e\Rightarrow a=c\)）．よって \(M\) は群であり，群の場合の同値（Hora の Remark）から Dedekind 群．∎ **Corollary B（圏の場合の必要条件）.** \(\mathbf{PSh}(\mathcal C)\) が Dedekind なら，すべての endomorphism monoid \(\operatorname{End}_{\mathcal C}(d)\) は Dedekind 群． *Proof.* \(a:d\to d\) と parallel pair \((a,\mathrm{id}_d)\)，quotient \(q_a\)（sieve \(\langle a\rangle\) を潰す Rees quotient of \(y(d)\)）を用いると \(a^*q_a=\top_d\) なので \(\mathrm{id}^*q_a=\top_d\)，特に \(\mathrm{id}_d\sim_{q_a}a\) より \(\mathrm{id}_d\in\langle a\rangle\)：\(a\) は split epi．よって \(\operatorname{End}(d)=:G\) は群．部分群 \(H\le G\) に対し \(h\sim_{q_H}h':\iff h'\in Hh\) は \(y(d)\) の quotient で，parallel pair \((\tau,\mathrm{id}_d)\)（\(\tau\in G\)）の条件 \(\tau^*q_H=q_H\) は \(\tau^{-1}H\tau=H\) を与える．∎ **Proposition C（圏の場合の十分条件と反例）.** - 十分条件：相異なる parallel pair \(f\ne g:d\rightrightarrows c\) の domain \(d\) がすべて「thin」（\(d\) への parallel pair はすべて等しい，すなわち \(y(d)\) が subterminal）なら \(\mathbf{PSh}(\mathcal C)\) は Dedekind（\(f^*q,g^*q\) がともに subterminal \(y(d)\) の唯一の quotient になるため）．graph topos \(\mathbf{PSh}(V\rightrightarrows E)\) はこの例で，Hora の Example 4.3（\(\nu\) が両方の loop を \([\text{loop}]=\top\) へ送る）と整合． - Corollary B の逆は不成立：graph \(e\rightrightarrows d\rightrightarrows c\)（\(h,h':e\to d\)，\(f,g:d\to c\)）が生成する free category \(\mathcal C\) は endomorphism がすべて自明だが，\(y(c)\) の quotient \(q\)（\(fh\sim fh'\) のみ同一視）について \(f^*q\ne g^*q\) なので Dedekind でない． - 正確な言い換え：\(\mathbf{PSh}(\mathcal C)\) が Dedekind \(\iff\) すべての parallel pair \(f,g:d\rightrightarrows c\) と \(h,h':e\rightrightarrows d\) について，\(y(c)\) の quotient で \(fh\sim fh'\) が生成するものにおいて \(gh\sim gh'\)（および \(f,g\) を入れ替えたもの）．圏の場合の閉じた代数的特徴づけは未解決． **Corollary D（一般 topos での言い換え，[[um88u4]] より）.** Grothendieck topos \(\mathcal E\) が Dedekind \(\iff\) \(\Xi\) が subterminal の union \(\iff\) \(\Xi\to1\) が local monomorphism \(\iff\) \(\Xi\) が localic reflection \(\mathcal E_{\mathrm{loc}}\hookrightarrow\mathcal E\) の像に属する．localic topos（\(\Xi=1\)）は自明に Dedekind． ## 検証 - Python で identity 固定の乗積表を総当たり（位数 \(\le4\) の全 monoid，ラベル付きで 170 個）し，「全 right congruence \(R\) と \(u\) で \(R\cdot u=R\)」と「Dedekind 群」が一致することを確認．さらに \(S_3\)（両方 false），\(Q_8\)（両方 true）で確認． - 新規性照合：arXiv:2511.05012 は群の場合（Dedekind 群 \(\iff\) \(\xi_\Xi=\top\)）のみ．Notion「数学活動」の *Dedekind topos書いたっていい*（論文タイトル案，2025-11）・*Normalizer operators in a topos* は空ページ．Drive の手書きノートに monoid 版の記述なし．web 検索でも「right congruence がすべて two-sided な monoid」のこの形の特徴づけは見当たらず． ## 派生的観察（未解決） arXiv:2511.05012 は「\(\xi_\Xi=\mathrm{id}_\Xi\) となるのはいつか」を著者未解決と明記している．\(\nu=\mathrm{id}\iff\) 任意の \(Y\) について image factorization \(Y\twoheadrightarrow\operatorname{im}\xi_Y\) が non-singular（\(\xi_{\operatorname{im}\xi_Y}\circ e=\xi_Y\}\)），presheaf topos では「representable の任意の quotient \(Q\) について \(\xi_Q\) が mono」．monoid では「\(R\cdot a=R\cdot b\Rightarrow a\,R\,b\)」で，\(R==\) から「left-cancellable な元は \(e\) のみ」が必要．総当たりでは位数 2,3,4 でそれぞれ 1/2, 3/7, 12/35 個の monoid（iso 類）が \(\nu=\mathrm{id}\) を満たし，単純な代数的特徴づけは見えていない．