這部分會定期建立 update-XXXX 中成為新貼文。
[update-0005]
[update-0005]
- 2026/5/30 建立 代數理論的 presentation
- 2026/4/29 建立 關於交換群 Eckmann–Hilton argument
[update-0004]
[update-0004]
- 建立 Ideals 相加的構造還是一個 ideal
- 建立 Ideals contain zero
- 建立 Ideal
- Subgroup equivalent condition 新增更簡單的證明
- 更新 Group Theory 中的地址
- Multiplication inverse of two sided unit is unique title 更新
[update-0003]
[update-0003]
- 更新 Trivial group is a subgroup of all groups 的說明
- Multiplication inverse of two sided unit is unique
- If an element is a (left) unit then its (right) action is injective
- An element is a (left) unit if and only if (left) action has a section
- (Left) Unit
- (Left) Action
- An element is not a (left) zero divisor if and only if (left) action is injective
- Non zero-divisor
- 負負得正
- 開始寫 Ring 理論
[update-0002]
[update-0002]
- Group 可以視為 Category
- TypeTopology 的定義會跳到 TypeTopology 網站
- Normal subgroup 的相關命題 Normal subgroup equivalent condition
- Kernel 的相關命題 If is injective, then Kernel is singleton
- Kernel 的定義 Kernel
[update-0001]
[update-0001]
- 證明比較有挑戰性的子群等價條件 Subgroup equivalent condition
[update-0000]
[update-0000]
- 從 https://github.com/dannypsnl/blackboard 移植初步定義建立程式庫