前序运算、Bockstein运算与自由分次模的泛代数关系解析
在代数拓扑领域，前序运算、Bockstein运算以及自由分次模的泛代数之间存在着复杂而重要的关系。这些关系不仅有助于我们深入理解代数结构的性质，还能为解决拓扑学中的诸多问题提供有力的工具。下面将详细介绍这些运算之间的关系以及自由分次模泛代数的相关内容。
1. a、γ₂与φ₂之间的关系
设A是一个严格反交换的DGA - 代数（在特征2的情况下），在Ω(A)中存在一个对合幂系统，至少对于次数≥2的元素是有定义的，并且满足特定条件。
- 命题1：对于任意整数q ≥ 1，复合映射（其中a表示悬置）等于转移φ₂。用公式表示为：φ₂ = γ₂ ∘ a （1），该关系对于H*(A)中次数为2q（q ≥ 1）的偶数次元素成立。
- 证明：设a ∈ A₂q且da = 0，存在唯一的x ∈ Ω₂q + 1(A)使得dx = a，x的同调类正是a的同调类的悬置a。那么γ₂(x)是Ω₄q + ₂(A)中唯一使得dy = (dx) · x = ax的元素y。根据转移的定义，y的同调类是a的同调类通过转移φ₂的变换。
- 命题1 bis：若A是次数为0的交换DGA - 代数，且对于任意a ∈ A有a² = (εa)²，将（1）式的两边应用于任意元素a ∈ A时，关系（1）仍然成立。
- 证明：与命题1的证明类似，可写成dx = a - εa，dy = (a - εa)x。 </
