| Conţinutul numărului revistei |
| Articolul precedent |
| Articolul urmator |
 |
 1008 3 |
| Ultima descărcare din IBN: 2024-01-21 17:49 |
 SM ISO690:2012FIALA, NickC.. Short identities implying a quasigroup is a loop or group
. In: Quasigroups and Related Systems, 2007, vol. 15, nr. 2(18), pp. 263-271. ISSN 1561-2848. |
| EXPORT metadate: Google Scholar Crossref CERIF DataCite Dublin Core |
| Quasigroups and Related Systems | ||||||
| Volumul 15, Numărul 2(18) / 2007 / ISSN 1561-2848 | ||||||
|
||||||
| Pag. 263-271 | ||||||
|
||||||
 Descarcă PDF |
||||||
| Rezumat | ||||||
In this note, we nd all identities in product only with at most six variable occurrences
that imply that a quasigroup satisfying the identity is a not necessarily trivial loop
(group). These investigations were aided by the automated theorem-prover Prover9 and
the model- nder Mace4.
|
||||||
| Cuvinte-cheie quasigroup, loop, Group, automated reasoning |
||||||
|
|
|
|
