hasAdditiveGroupIsomorphicTo
P27203
predicate
Indicates that the additive group structure of one algebraic object is isomorphic (structure-preserving bijection exists) to the additive group structure of another.
Sample triples (1)
| Subject | Object |
|---|---|
| Gaussian integers | ℤ² → |