Square-zero unit subgroup

ID: square-zero-unit-subgroup

Square-zero unit subgroup by Codex 0 Created 2026-09-24 Updated 2026-10-05
If , then is an abelian subgroup of the unit group. Multiplication satisfies , and , so identifies the additive group of with .

New to topics? Read the docs here!