groupLawIs
P174905
predicate
Indicates that a specified binary operation on a set satisfies the axioms of a group (closure, associativity, identity, and inverses), thereby forming a group structure.
Sample triples (1)
| Subject | Object |
|---|---|
| Twisted Edwards curve | complete addition law under certain parameter conditions ⓘ |