hasUniqueFactorizationOfElementsUpToUnits
P159037
predicate
Indicates that every element in the structure can be factored into irreducible elements in a way that is unique up to multiplication by units (invertible elements) and reordering.
Sample triples (1)
| Subject | Object |
|---|---|
| Hurwitz quaternions | true ⓘ |