离散秩序几何中的群结构

作者：张苏杭
            （河南洛阳）

摘要

离散秩序几何（DOG）以有限离散格点、秩序嵌套与局域关联为本体。本文在 DOG 内部建立群结构。定义 DOG 秩序群、局域秩序群与层级群，证明 DOG 格点集合上的秩序自同构构成群，局域邻域内的秩序保持变换构成子群，层级结构诱导层级群同态。结论为：DOG 群是秩序变换的抽象母结构，与 DOG 的几何本体共同构成秩序—对称二层体系。

关键词：离散秩序几何；秩序群；局域群；层级群；秩序自同构

1 引言

离散秩序几何（DOG）以有限离散格点集合与秩序嵌套作为底层本体。本文在 DOG 内部建立群结构。

DOG 中，群不来自外部对称假设，而来自秩序结构自身的变换规则：

- 格点之间的秩序关系 \preceq 决定哪些变换保持秩序；
- 邻域结构决定局域变换群；
- 层级结构决定层级变换群。

本文目标：

1. 定义 DOG 秩序群；
2. 定义 DOG 局域秩序群；
3. 定义 DOG 层级群；
4. 建立群与 DOG 本体的层级关系。

2 DOG 秩序变换

2.1 秩序自同构

设 DOG 局部秩序格为：
\mathcal{G}=(\mathcal{L},\{N(p)\}_{p\in\mathcal{L}},\preceq)
定义映射：
\varphi:\mathcal{L}\to\mathcal{L}
若 \varphi 为双射，且对任意 p,q\in\mathcal{L}：
p\preceq q \;\Longleftrightarrow\; \varphi(p)\preceq\varphi(q)
则称 \varphi 为纯秩序自同构，仅保序关系。

2.2 邻域保持条件

若纯秩序自同构 \varphi 还满足：
\varphi(N(p))=N(\varphi(p))
则称 \varphi 为 DOG 邻域保持自同构。

2.3 秩序变换

DOG 秩序变换指同时保持秩序关系与邻域结构的双射：
\varphi\in \operatorname{Aut}(\mathcal{G})

3 DOG 秩序群

3.1 定义

定义 DOG 秩序群为：
G_{\mathrm{DOG}}=\operatorname{Aut}(\mathcal{G})
即所有 DOG 邻域保持秩序自同构构成的集合。

3.2 群结构定理

定理 1：G_{\mathrm{DOG}} 在映射复合下构成群。

证明：

1. 封闭性：若 \varphi,\psi 保持 \preceq 与邻域，则复合映射 \varphi\circ\psi 也保持；
2. 结合律：映射复合天然满足结合律；
3. 单位元：恒等映射 \mathrm{id} 保持秩序与邻域；
4. 逆元：若 \varphi 为双射且保持秩序、邻域，则逆映射 \varphi^{-1} 同样保持秩序与邻域。

故 G_{\mathrm{DOG}} 构成群。

3.3 秩序不变量

G_{\mathrm{DOG}} 作用下保持的量称为 DOG 秩序不变量，例如：

- 秩序层级深度；
- 邻域大小；
- 秩序连通分量数。

注：这类几何不变量不等同于动力学守恒量，离散框架下不可直接套用诺特定理建立守恒对应。

4 DOG 局域秩序群

4.1 定义

对格点 p，定义其局域秩序群为：
G_p=\{\varphi\in G_{\mathrm{DOG}}\mid \varphi(p)=p\}
即固定格点 p 的秩序自同构子群。

4.2 邻域限制

G_p 作用在邻域 N(p) 上，保持局部秩序格结构：
\varphi(N(p))=N(p)

4.3 子群定理

定理 2：G_p 是 G_{\mathrm{DOG}} 的子群。

证明：G_p 对映射复合封闭，包含单位元，任意元素的逆元仍属于该集合，故为子群。

4.4 局域秩序不变量

G_p 保持的量称为局域秩序不变量，例如：

- 局部上确界与下确界；
- 局部秩序维数；
- 局域邻接模式。

5 DOG 层级群

5.1 层级结构

设 DOG 格点按秩序层级分层：
\mathcal{L}=\bigcup_{\ell\in\Lambda}\mathcal{L}_\ell
其中 \Lambda 为层级指标集。

5.2 层级保持变换

定义层级保持变换：
\varphi(\mathcal{L}_\ell)=\mathcal{L}_\ell
即变换仅在同层级内部进行，不跨层级混合格点。

5.3 层级群

定义 DOG 层级群为：
G_\Lambda=\{\varphi\in G_{\mathrm{DOG}}\mid \varphi(\mathcal{L}_\ell)=\mathcal{L}_\ell,\;\forall \ell\in\Lambda\}

5.4 层级同态

存在自然同态：
\pi:G_{\mathrm{DOG}}\to \operatorname{Perm}(\Lambda)
即每个秩序自同构诱导层级指标集上的置换。该同态的核恰好是层级群 G_\Lambda，即 \ker\pi=G_\Lambda。

6 群与 DOG 本体的层级关系

6.1 二层结构

1. 群层：G_{\mathrm{DOG}}，抽象秩序变换规则；
2. 格层：\mathcal{G}，秩序结构的几何载体。

6.2 群作用于格

G_{\mathrm{DOG}}\times \mathcal{L}\to \mathcal{L}
群元素变换格点，保持秩序关系。

6.3 对应而不等同

- 群是抽象变换规则；
- 格是群作用的载体。

二者对应而不等同。

7 例子

7.1 一维循环链

\mathcal{L}=\mathbb{Z}_N,\qquad N(p)=\{p-1,p,p+1\}
仅考虑平移类秩序变换时，对应的子群为循环群：G_{\text{trans}}\cong \mathbb Z_N；若包含反射翻转变换，则完整秩序自同构群为二面体群 D_N。

7.2 三元素局部格

N(p)=\{a,b,c\},\qquad a\preceq c,\qquad b\preceq c
固定 c 的局域群可交换 a,b：
G_c\cong \mathbb{Z}_2

7.3 非连通 DOG 格

若 \mathcal{L} 分为两个互不连通的秩序分量，则：
G_{\mathrm{DOG}}\cong G_1\times G_2
即各连通分量秩序群的直积。

8 结论

本文在 DOG 内部建立了群结构：

1. DOG 秩序自同构构成秩序群 G_{\mathrm{DOG}}；
2. 固定格点的秩序自同构构成局域秩序群 G_p；
3. 层级保持变换构成层级群 G_\Lambda；
4. 群作用于格，保持秩序结构；
5. 群与格构成 DOG 的抽象—载体二层体系。

该框架为 DOG 的对称性、守恒量与表示论提供了底层群结构基础。

参考文献

略