Wolfram 语言

群论中证明的语篇形式

获取群论理论的公理,用 CircleTimes 表示群的积 (group product),用 表示单位元。默认用形式符号 a, b, c 表示群的元素。

其中一个公理表明右侧式子存在。证明左侧式子存在。

获取人类可读的 11 步证明。

证明群论中的另一个公理。

显示步骤图,用更大的圆或三角形突出显示更重要的引理。

相关范例

de en es fr ja ko pt-br