Statements (24)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:algebra
|
| gptkbp:definedIn |
for all a, b in Q, there exist unique x, y in Q such that a*x = b and y*a = b
|
| gptkbp:example |
non-associative magma with Latin square property
set with division operation |
| gptkbp:generalizes |
gptkb:group_of_people
loop |
| gptkbp:hasApplication |
coding theory
cryptography design theory |
| gptkbp:hasNo |
associativity (in general)
identity element (in general) |
| gptkbp:hasProperty |
gptkb:binary_operation
closure Latin square property unique solution property |
| gptkbp:relatedTo |
gptkb:combinatorics
gptkb:geometry gptkb:non-associative_algebra |
| gptkbp:studiedIn |
abstract algebra
|
| gptkbp:subunit |
loop
|
| gptkbp:bfsParent |
gptkb:Mal'cev_algebra
gptkb:Latin_squares |
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
quasigroup
|