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 |
closure
binary operation Latin square property unique solution property |
| https://www.w3.org/2000/01/rdf-schema#label |
quasigroup
|
| gptkbp:relatedTo |
gptkb:geometry
combinatorics non-associative algebra |
| gptkbp:studiedIn |
abstract algebra
|
| gptkbp:subunit |
loop
|
| gptkbp:bfsParent |
gptkb:Mal'cev_algebra
gptkb:Latin_squares |
| gptkbp:bfsLayer |
8
|