列出互逆元素对。接着对于特定次序下的有限群，很容易刻画出它的“单位元架构”，这么命名是因为单位元在凯莱表中沿主对角线聚集，要么直接在其上，要么错开一个位置。证明有不同的单位元构架的群不能同构是相对平凡的，但逆命题不成立(比如，循环群 "C" 和四元群"Q" 不同构但有相同的单位元构架)。考虑带有元素 "e", "a", "b", "c", "d" 和 "f" 的 6 元素的群。按惯例，"e" 是群的单位元。因为单位元总是自身的逆元，而逆元是唯一的，群中有 6 个元素的事实意味着至少有一个非 "