Varieties generated by free algebras of type (-1,1) of finite rank
type: Item
instance of: scholarly article
title: Varieties generated by free algebras of type (-1,1) of finite rank
zbMATH Open document ID: 0635.17015
DOI: 10.1007/BF00970877
published in: Siberian Mathematical Journal
publication date: 1987-01-01T00:00:00Z
review text: Let \({\mathcal M}\) be the variety of (-1,1)-algebras over a field of characteristic 0, \({\mathcal M}_ n\) be the subvariety of \({\mathcal M}\), generated by a free algebra of rank n. It is well-known that \({\mathcal M}_ 1\subseteq {\mathcal M}_ 2\subseteq...\subseteq {\mathcal M}_ n\subseteq...\subseteq {\mathcal M}\), \({\mathcal M}=\cup_{n}{\mathcal M}_ n\). The author had shown earlier that \({\mathcal M}\neq {\mathcal M}_ n\) for any n [Algebra Logika 14, No.5, 543-571 (1975; Zbl 0346.17004)]. How he continues the study of the properties of the varieties \({\mathcal M}_ n\). Let A be a free (-1,1)-algebra of countable rank and \(A_ n\) its free subalgebra of rank n. If C is one of the centers K,N,Z (commutative, associative or associative-commutative center, correspondingly), then \(C^*\) denotes the largest ideal of an algebra B, contained in C(B), and \(C^*_ n=\{f\in A|\) \(f(A_ n)\subseteq C^*(A_ n)\}.\) It is proved that for any \(n\geq 1\) the inclusion \(C^*_ n\supset C^*_{n+1}\) is strong \((C=K,N,Z)\). In particular, for any n the inclusion \({\mathcal M}_ n\subseteq {\mathcal M}_{n+1}\) is also strong. Further, for any n the variety \({\mathcal M}_ n\) has a finite basis of identities and is represented as a union of the variety of all associative algebras and the variety generated by a certain finite- dimensional algebra.
Mathematics Subject Classification ID: 17D20
Mathematics Subject Classification ID: 17A50
zbMATH DE Number: 4033969
zbMATH Keywords: basic rank of variety
zbMATH Keywords: central function
zbMATH Keywords: variety of (-1,1)-algebras
zbMATH Keywords: free algebra
zbMATH Keywords: finite basis of identities
author: Sergey V. Pchelintsev
reviewed by: Ivan Shestakov
MaRDI profile type: Publication
cites work: Q3889234
cites work: Nilpotency of the associator ideal of a free finitely generated (−1, 1) ring
cites work: The characterization of (-1,1) rings
cites work: Q3686862
cites work: On the variety of algebras of type (-1,1)
cites work: Q3921374
cites work: Right alternative rings
cites work: Q3749212
Recommended article: On the variety of algebras of type (-1,1)
Recommended article: Varieties whose finitely generated members are free
Recommended article: Q3734602
Recommended article: A free (?1, 1)?algebra with two generators
Recommended article: Q3202280
Recommended article: On central ideals of finitely generated binary (–1,1)-algebras
Recommended article: Q3800216
Recommended article: On identities and varieties of associative algebras of finite type.
Recommended article: On identities of free finitely generated alternative algebras over a field of characteristic 3
Recommended article: Q4803950
description: scientific article; zbMATH DE number 4033969