groupLaw
P176910
predicate
Indicates that a binary operation on a set satisfies closure, associativity, has an identity element, and that every element has an inverse, thus forming a group.
Sample triples (1)
| Subject | Object |
|---|---|
|
Jacobian varieties
surface form:
Jacobian variety
|
addition of divisor classes ⓘ |