Necessary conditions of applicability of Gaussian elimination to systems of equations over quasigroups
-
Sergey V. Polin
Abstract
Previously, in the process of investigating systems of equations over the given family đť”– of quasigroup operations, the author proved the following fact: applicability of Gaussian elimination to the systems considered requires that generalized distributivity and transitivity identities hold for the operations from đť”–. The present paper describes all sets of operations that satisfy these identities. The result obtained allows one to conclude that Gaussian elimination is applicable only if the system of equations is linear or may be reduced to a linear system.
Originally published in Diskretnaya Matematika (2018) 30, №1, 95–113 (in Russian).
References
[1] Aho A. V., Hopcroft J. E., Ullman J. D., The design and analysis of computer algorithms, Addison-Wesley, 1974.Suche in Google Scholar
[2] Belousov V.D. Fundamentals of the theory of quasigroups and loops, 1967 (in Russian), 223 pp.Suche in Google Scholar
[3] Belousov V. D., “Systems of quasigroups with generalized identities”, Russian Mathematical Surveys, 20:1 (1965), 75–143.10.1070/RM1965v020n01ABEH004140Suche in Google Scholar
[4] Kurosh A. G., “General algebra (lectures 1969-1970 academic year)”, 1974 (in Russian), 161 pp.Suche in Google Scholar
[5] Mal’ftsev A. I., Algebraic systems, M.: Nauka, 1970 (in Russian), 392 pp.Suche in Google Scholar
[6] Polin S. V., “Families of quasigroup operations connected by a generalized distributive identity”, Discrete Mathematics, 30:2 (2018), 99–119 (in Russian).Suche in Google Scholar
[7] Polin S. V., “Elementary transformations of systems of equations over quasigroups and generalized identities”, Discrete Math. Appl., 29:6 (2019), 383–399.10.1515/dma-2019-0037Suche in Google Scholar
[8] Hosszu M., “Homogeneous groupoids”, Ann. Univ. Sci. Budapest. Eötvös/Sect. Math., 1960 – 1961, №3 – 4, 95 – 98.Suche in Google Scholar
[9] Paige L. J., “Complete mappings of finite groups”, Pacific J. Math., 1 (1951), 111 – 116.10.2140/pjm.1951.1.111Suche in Google Scholar
© 2020 Walter de Gruyter GmbH, Berlin/Boston
Artikel in diesem Heft
- Frontmatter
- Completeness criterion for the enumeration closure operator in three-valued logic
- Classification of distance-transitive orbital graphs of overgroups of the Jevons group
- Necessary conditions of applicability of Gaussian elimination to systems of equations over quasigroups
- The generalized complexity of linear Boolean functions
- On some implicitly precomplete classes of monotone functions in Pk
- Trees without twin-leaves with smallest number of maximal independent sets
- Limit theorems for some classes of power series type distributions
Artikel in diesem Heft
- Frontmatter
- Completeness criterion for the enumeration closure operator in three-valued logic
- Classification of distance-transitive orbital graphs of overgroups of the Jevons group
- Necessary conditions of applicability of Gaussian elimination to systems of equations over quasigroups
- The generalized complexity of linear Boolean functions
- On some implicitly precomplete classes of monotone functions in Pk
- Trees without twin-leaves with smallest number of maximal independent sets
- Limit theorems for some classes of power series type distributions
