hasGroupStructure
P93928
predicate
Indicates that the related entities together form an algebraic group under a specified operation, satisfying closure, associativity, identity, and invertibility.
All labels observed (1)
| Label | Occurrences |
|---|---|
| hasGroupStructure canonical | 2 |
Sample triples (2)
| Subject | Object |
|---|---|
| Weil divisor | abelian group under addition ⓘ |
| TFF Second League | multiple regional groups ⓘ |