⚡

群论问题解决技能Skill groups

这个技能提供抽象代数中群的相关问题解决策略，包括群的定义验证、子群测试、同态证明、阶与结构分析等，利用Z3和Sympy等工具进行自动验证和计算。关键词：群论、抽象代数、问题解决、数学技能、Z3、Sympy、自动验证。

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

名称: 群 描述: “抽象代数中群的问题解决策略” 允许工具: [Bash, Read]

群

何时使用

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

决策树

  1. G在运算*下是群吗？

    • 检查封闭性：a,b在G中意味着a*b在G中？
    • 检查结合律：(ab)c = a(bc)？
    • 检查单位元：存在e使得ea = ae = a？
    • 检查逆元：对于所有a，存在a^(-1)使得a*a^(-1) = e？
    • 使用 z3_solve.py prove "group_axioms" 验证

  2. 子群测试

    • 显示H非空（通常通过显示e在H中）
    • 显示对于所有a, b在H中：ab^(-1)在H中
    • z3_solve.py prove "subgroup_criterion"

  3. 同态证明

    • 验证对于所有a, b在G1中：phi(ab) = phi(a)phi(b)
    • 注意：phi(e1) = e2 和 phi(a^(-1)) = phi(a)^(-1) 自动成立
    • sympy_compute.py simplify "phi(a*b) - phi(a)*phi(b)"

  4. 阶与结构

    • 元素阶：最小的n使得a^n = e
    • 群阶：|G| = 元素数量
    • 拉格朗日定理：对于子群H，|H| 整除 |G|

工具命令

Z3_群_公理

uv run python -m runtime.harness scripts/z3_solve.py prove "ForAll([a,b,c], op(op(a,b),c) == op(a,op(b,c)))"

Z3_子群

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

Sympy_简化

uv run python -m runtime.harness scripts/sympy_compute.py simplify "phi(a*b) - phi(a)*phi(b)"

关键技术

来自索引教科书:

  • [抽象代数] 编写一个计算机程序，对于任何给定的输入n，进行模n的加法和乘法。这些操作的输出应该是两个整数之和和乘积的最小剩余。还包括如果(a,n)=1，则可以按需打印一个介于1和n-1之间的整数c，使得a-c=1。
  • [抽象代数] 通过一定数量的初等论证（例如在A7中的计算，参见练习27）可以证明，在同构意义下，存在唯一的168阶单群（并非总是对于给定阶数至多有一个单群：有2个非同构的+8!阶单群）。我们可以进一步证明这样的G没有阶为pg的元素，p和q是不同的素数，没有阶为9的元素，并且不同的Sylow子群在单位元处相交。然后我们可以计算所有素数p的Sylow p-子群中的元素，并发现这些元素的总数恰好等于|G|。
  • [抽象代数] 在列出一些用于在给定（“中等”）阶的群中产生正规子群的技术之前，我们注意到，在处理阶为n的群的问题时，对于某个特定的n，首先需要将n分解为素数的幂，然后计算对于所有整除n的素数p的np的允许值。我们强调在执行最后一步时需要熟练计算模p。我们描述的技术可以列出如下：(1) 计数元素。
  • [抽象代数] 组合序列和Hélder计划部分。这个证明需要255页的艰难数学。Hélder计划的第(2)部分，有时称为扩展问题，表述得相当模糊。
  • [抽象代数] 中等阶群中的应用 本节的目的是通过一系列例子说明我们开发的许多技术。这些例子广泛使用Sylow定理，并展示它们如何应用于有限群的研究。受Holder计划的启发，我们主要处理对于某些n，每个阶为n的群都有一个真、非平凡的正规子群的问题（i.

认知工具参考

有关完整工具文档，请参见 .claude/skills/math-mode/SKILL.md。