unitsFormGroupIsomorphicTo
P27190
predicate
Indicates that the group formed by the units (invertible elements) of one algebraic structure is isomorphic, as a group, to the group formed by the units of another structure.
Sample triples (1)
| Subject | Object |
|---|---|
| Gaussian integers | cyclic group of order 4 → |