⚡

域Skill fields

这个技能提供抽象代数中域（field）相关问题的解决策略，包括验证域的公理、处理域扩展、计算特征和代数元素等。它使用工具如Z3和Sympy进行自动化证明和计算。关键词：抽象代数，域，数学问题解决，Z3证明，Sympy计算，域扩展，特征。

其他 0 次安装 0 次浏览 更新于 3/14/2026

name: 域 description: “抽象代数中域问题的解决策略” allowed-tools: [Bash, Read]

域

何时使用

在抽象代数中处理域问题时使用此技能。

决策树

  1. F 是一个域吗？

    • (F, +) 是一个以 0 为身份的交换群
    • (F \ {0}, *) 是一个以 1 为身份的交换群
    • 分配律成立
    • z3_solve.py prove "field_axioms"

  2. 域扩展

    • E 是 F 的扩展如果 F 是 E 的子域
    • 度数 [E:F] = E 作为 F-向量空间的维度
    • sympy_compute.py minpoly "alpha" --var x 用于最小多项式

  3. 特征

    • char(F) = 最小的 n > 0 使得 n*1 = 0，如果没有则为 0
    • char(F) 是 0 或质数
    • 对于有限域：|F| = p^n 其中 p = char(F)

  4. 代数元素

    • alpha 在 F 上是代数的如果它满足系数在 F 中的多项式
    • sympy_compute.py solve "p(alpha) = 0" 用于代数关系

工具命令

Z3_Field_Axioms

uv run python -m runtime.harness scripts/z3_solve.py prove "field_axioms"

Sympy_Minpoly

uv run python -m runtime.harness scripts/sympy_compute.py minpoly "sqrt(2)" --var x

Sympy_Solve

uv run python -m runtime.harness scripts/sympy_compute.py solve "x**2 - 2" --var x

关键技术

来自索引教科书：

  • [抽象代数] 编写一个计算机程序，为任何给定的 n 添加和乘以模 n。这些操作的输出应该是两个整数之和和积的最小剩余。还包括一个功能，如果 (a,n) = 1，可以打印出一个介于 1 和 n — 1 之间的整数 c，使得 a-c = | 可以根据请求打印。
  • [抽象代数] 读取上述方程 mod4（即，在商环 Z/4Z 中考虑这个方程），我们必须有 {2} =2[9}=[9} ons ( io ‘| 其中 | he? 检查几个 saad 显示我们必须每次取 0。环的简介 RG 中的另一个理想是 {}-"_, agi | a € R}, i.
  • [为工作数学家准备的分类] 几何功能分析及其应用。抽象代数讲座 II。抽象代数讲座 III。
  • [抽象代数] 对于奇质数 p，(Z/pZ) 是一个阶为 p* ‘(p — 1) 的交换群。这个群的 Sylow p-子群是循环的。映射 Z/p°Z > Z/pZ 定义为 at+(p*) a+t+(p) 是一个环同态（模 p 约减），它给出了从 (Z/p%Z)* 到 (Z/pZ)* 的满射群同态。
  • [现代数论的经典介绍（研究生] 研究生数学文本 84 编辑委员会 s. Ribet Springer Science+Business Media, LLC 2 3 TAKEUTtlZARING。公理集合论简介。

认知工具参考

参见 .claude/skills/math-mode/SKILL.md 获取完整的工具文档。