抽象代数/群论/本节图表含义

"想象力比知识更重要"

阿尔伯特·爱因斯坦，在爱因斯坦眼中的生命：乔治·西尔维斯特·维尔克的采访中。

如果形式是严谨的，但隐藏了证明行后的想法，那么视觉能提供什么？

在我们心中，我们都有这样的经验，逻辑在一定程度上只依赖于图像，不依赖于符号或语言。

下面尝试用同样严谨的图表来代替形式证明。

非常感谢您对本页讨论的建议。该尝试中的问题也会在讨论中进行。

1. 圆角矩形表示群。大的空形状表示集合。

2. 集合中的一个对象。

3. 一个对象可能在集合中也可能不在集合中。

4. 一个对象不在集合中。

4. 黄色*蓝色 = 绿色。虚线代表a*b中的第二个元素。