Open Access Open Access  Restricted Access Access granted  Restricted Access Subscription Access

Vol 57, No 5 (2018)

Article

Polynomially Complete Quasigroups of Prime Order

Galatentko A.V., Pankrat’ev A.E., Rodin S.B.

Abstract

We formulate a polynomial completeness criterion for quasigroups of prime order, and show that verification of polynomial completeness may require time polynomial in order. The results obtained are generalized to n-quasigroups for any n ≥ 3. In conclusion, simple corollaries are given on the share of polynomially complete quasigroups among all quasigroups, and on the cycle structure of row and column permutations in Cayley tables for quasigroups that are not polynomially complete.

Algebra and Logic. 2018;57(5):327-335
pages 327-335 views

Nearly Finite-Dimensional Jordan Algebras

Zhelyabin V.N., Panasenko A.S.

Abstract

Nearly finite-dimensional Jordan algebras are examined. Analogs of known results are considered. Namely, it is proved that such algebras are prime and nondegenerate. It is shown that the property of being nearly finite-dimensional is preserved in passing from an alternative algebra to an adjoint Jordan algebra. A similar result is established for associative nearly finite-dimensional algebras with involution. It is stated that a nearly finite-dimensional Jordan PI-algebra with unity either is a finite module over a nearly finite-dimensional center or is a central order in an algebra of a nondegenerate symmetric bilinear form. Also the following result holds: if a locally nilpotent ideal has finite codimension in a Jordan algebra with the ascending chain condition on ideals, then that algebra is finite-dimensional. In addition, E. Formanek’s result in [Comm. Alg., 1, No. 1, 79-86 (1974)], which says that associative prime PI-rings with unity are embedded in a free module of finite rank over its center, is generalized to Albert rings.

Algebra and Logic. 2018;57(5):336-352
pages 336-352 views

Criteria for the Validity of Goldie’s Theorems for Graded Rings

Kanunnikov A.L.

Abstract

We specify conditions on a group G that are necessary and sufficient for analogs of Goldie’s theorems to hold in a class of G-graded rings, i.e., for every G-graded gr-prime (gr-semiprime) right Goldie ring to possess a completely gr-reducible graded classical right ring of quotients.

Algebra and Logic. 2018;57(5):353-359
pages 353-359 views

The Specht Property of L-Varieties of Vector Spaces Over an Arbitrary Field

Kislitsin A.V.

Abstract

We study the Specht property for L-varieties of vector spaces embedded in associative algebras over an arbitrary field. An L-variety with no finite basis of identities over a field, which is the join of two Spechtian L-varieties, is exemplified. A condition under which L-varieties will have the Specht property is found.

Algebra and Logic. 2018;57(5):360-367
pages 360-367 views

Forcing Formulas in Fraïssé Structures and Classes

Nurtazin A.T.

Abstract

We come up with a semantic method of forcing formulas by finite structures in an arbitrary fixed Fraïssé class . Both known and some new necessary and sufficient conditions are derived under which a given structure will be a forcing structure. A formula φ is forced on a in an infinite structure ╟φ(a) if it is forced in by some finite substructure of . It is proved that every ∃∀∃-sentence true in a forcing structure is also true in any existentially closed companion of the structure. The new concept of a forcing type plays an important role in studying forcing models. It is proved that an arbitrary structure will be a forcing structure iff all existential types realized in the structure are forcing types. It turns out that an existentially closed structure which is simple over a tuple realizing a forcing type will itself be a forcing structure. Moreover, every forcing type is realized in an existentially closed structure that is a model of a complete theory of its forcing companion.

Algebra and Logic. 2018;57(5):368-380
pages 368-380 views

The Axiomatic Rank of Levi Classes

Shakhova S.A.

Abstract

A Levi class L(ℳ) generated by a class ℳ of groups is a class of all groups in which the normal closure of each element belongs to ℳ. It is stated that there exist finite groups G such that a Levi class L(qG), where qG is a quasivariety generated by a group G, has infinite axiomatic rank. This is a solution for [The Kourovka Notebook, Quest. 15.36]. Moreover, it is proved that a Levi class L(ℳ), where ℳ is a quasivariety generated by a relatively free 2-step nilpotent group of exponent ps with a commutator subgroup of order p, p is a prime, p ≠ 2, s ≥ 2, is finitely axiomatizable.

Algebra and Logic. 2018;57(5):381-391
pages 381-391 views

Sessions of the Seminar “Algebra i Logika”

Algebra and Logic. 2018;57(5):397-397
pages 397-397 views

Communications

Computable Bi-Embeddable Categoricity

Bazhenov N.A., Fokina E.B., Rossegger D., San Mauro L.
Algebra and Logic. 2018;57(5):392-396
pages 392-396 views