Automorphisms of categories of free algebras of some varieties (Q858706): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
Changed an Item |
||
Property / arXiv ID | |||
Property / arXiv ID: math/0501331 / rank | |||
Normal rank |
Revision as of 18:27, 18 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Automorphisms of categories of free algebras of some varieties |
scientific article |
Statements
Automorphisms of categories of free algebras of some varieties (English)
0 references
11 January 2007
0 references
For a variety \(V\) of universal algebras, let \(\Theta (V)\) denote the associated category, and for an infinite set \(X_{0},\) let \(\Theta ^{0}(V)\) denote the full subcategory of \(\Theta (V)\) defined by all free algebras from \(V\) over finite subsets of the set \(X_{0}.\) The main problem is to describe all automorphisms of the category \(\Theta ^{0}(V);\) this problem has been solved in many cases (as for the varieties of all groups, all semigroups, all inverse semigroups, all Lie algebras, semimodules and modules, etc.). In all these cases, the proofs are based on some reduction to the group AutEnd\((A),\) where \(A\) is a finitely generated free algebra from the variety \(V.\) Once one can describe the group AutEnd\((A)\), the Reduction Theorem [\textit{G. Mashevitzky, B. Plotkin}, and \textit{E. Plotkin}, Electron. Res. Announc. Am. Math. Soc. 8, 1--10 (2002; Zbl 1016.08007)] allows one to describe the automorphisms of the category \( \Theta ^{0}(V).\) In the present paper the authors suggest another method for describing automorphisms of categories of free \(V\)-algebras. All automorphisms of such categories are found in two cases: \((1)\) \(V\) is the variety of all associative \(K\)-algebras over an infinite field \(K;\) (2) \(V\) is the variety of all representations of groups in unital \(R\)-modules over a commutative associative ring \(R\) with unit. They prove that all these automorphisms are close to inner automorphisms. This method extends some ideals from another paper of the authors [Int. J. Algebra Comput. (to appear), arXiv: math. CT/0411408, 2004].
0 references
automorphisms of categories
0 references
inner automorphisms
0 references
free algebras
0 references
associative algebras
0 references
group representations
0 references
universal algebraic geometry
0 references