拟群广义导数中的单位元
群论
2020-09-09 v1
摘要
我们延续最后一位合著者早期论文（[20, p. 212]、[13]）中开始的拟群广义导数研究。对于任意拟群，存在 648 个广义导数。本文研究作为拟群广义导数的拟群中单位元（左、右、中）的存在性问题。共有 1944 种不同情形。对每种情形，我们均给出证明或反例，常借助 Prover 或 Mace [15, 14]。
引用
@article{arxiv.2009.03605,
title = {Units in generalized derivatives of quasigroups},
author = {G. Horosh and N. Malyutina and A. Scerbacova and V. Shcherbacov},
journal= {arXiv preprint arXiv:2009.03605},
year = {2020}
}
备注
16 pages