In this paper we give a small review of some recent results of elementary equivalence of linear and algebraic groups and our last new results of elementary equivalence of categories of modules, endomorphism rings of modules, lattices of submodules of modules, and automorphism groups of modules.
The inner automorphisms of a group G can be characterized within the category of groups without reference to group elements: they are precisely those automorphisms of G that can be extended, in a functorial manner, to all groups H given with homomorphisms G --> H. Unlike the group of inner automorphisms of G itself, the group of such extended systems of automorphisms is always isomorphic to G. A similar characterization holds for inner automorphisms of an associative algebra R over a field K; here the group of functorial systems of automorphisms is isomorphic to the group of units of R modulo …
In this paper, we study partial automorphisms and, more generally, injective partial endomorphisms of a finite undirected path from Semigroup Theory perspective. Our main objective is to give formulas for the ranks of the monoids $IEnd(P_n)$ and $PAut(P_n)$ of all injective partial endomorphisms and of all partial automorphisms of the undirected path $P_n$ with $n$ vertices. We also describe Green's relations of $PAut(P_n)$ and $IEnd(P_n)$ and calculate their cardinals.
We study algebra endomorphisms and derivations of some localized down-up algebras $\A$. First, we determine all the algebra endomorphisms of $\A$ under some conditions on $r$ and $s$. We show that each algebra endomorphism of $\A$ is an algebra automorphism if $r^{m}s^{n}=1$ implies $m=n=0$. When $r=s^{-1}=q$ is not a root of unity, we give a criterion for an algebra endomorphism of $\A$ to be an algebra automorphism. In either case, we are able to determine the algebra automorphism group for $\A$. We also show that each surjective algebra endomorphism of the down-up algebra $A(r+s, -rs)$ is a…
A module is called automorphism-invariant if it is invariant under any automorphism of its injective hull. Dickson and Fuller have shown that if $R$ is a finite-dimensional algebra over a field $\mathbb F$ with more than two elements then an indecomposable automorphism-invariant right $R$-module must be quasi-injective. In this note, we extend and simplify the proof of this result by showing that any automorphism-invariant module over an algebra over a field with more than two elements is quasi-injective. Our proof is based on the study of the additive unit structure of endomorphism rings.
Last years a number of papers were devoted to describing automorphisms of semigroups of endomorphisms of free finitely generated universal algebras of some varieties: groups, semigroups, associative commutative algebras, inverse semigroups, modules, Lie algebras and some others. All these researches were inspired by the questions prof. B. Plotkin set in connection with so called universal algebraic geometry (see for example Arxiv:math, GM/0204245). The aim of this paper is to suggest a method of describing the group AutEnd(F) for a free finitely generated algebra F of an arbitrary variety of u…
Let $A=A(x_{1},...,x_{n})$ be a free associative algebra in $\mathcal{A}$ freely generated over $K$ by a set $X=\{x_{1},...,x_{n}\}$, $End A$ be the semigroup of endomorphisms of $A$, and $Aut End A$ be the group of automorphisms of the semigroup $End A$. We investigate the structure of the groups $Aut End A$ and $Aut \mathcal{A}^{\circ}$, where $\mathcal{A}^{\circ}$ is the category of finitely generated free algebras from $\mathcal{A}$. We prove that the group $Aut End A$ is generated by semi-inner and mirror automorphisms of $End F$ and the group $Aut \mathcal{A}^{\circ}$ is generated by sem…
We describe the automorphism group of the endomorphism semigroup $\End(K[x_1,...,x_n])$ of ring $K[x_1,...,x_n]$ of polynomials over an {\it arbitrary} field $K$. A similar result is obtained for automorphism group of the category of finitely generated free commutative-associative algebras of the variety $\mathcal{CA}$ commutative algebras. This solves two problems posed by B. Plotkin (\cite{24}, Problems 12 and 15). More precisely, we prove that if $φ\in \Aut\End(K[x_1,...,x_n])$ then there exists a semi-linear automorphism $s:K[x_1,...,x_n]\to K[x_1,...,x_n]$ such that $φ(g)=s\circ g\circ s^…
The well-known Dixmier conjecture asks if every algebra endomorphism of the first Weyl algebra over a characteristic zero field is an automorphism. We bring a hopefully easier to solve conjecture, called the $γ,δ$ conjecture, and show that it is equivalent to the Dixmier conjecture. Up to checking that in the group generated by automorphisms and anti-automorphisms of $A_1$ all the involutions belong to one conjugacy class, we show that every involutive endomorphism from $(A_1,γ)$ to $(A_1,δ)$ is an automorphism ($γ$ and $δ$ are two involutions on $A_1$), and given an endomorphism $f$ of $A_1$ …
In this work we study the automorphisms of skew $PBW$ extensions and skew quantum polynomials. We use Artamonov's works as reference for getting the principal results about automorphisms for generic skew $PBW$ extensions and generic skew quantum polynomials. In general, if we have an endomorphism on a generic skew $PBW$ extension and there are some $x_i,x_j,x_u$ such that the endomorphism is not zero on this elements and the principal coefficients are invertible, then endomorphism act over $x_i$ as $a_ix_i$ for some $a_i$ in the ring of coefficients. Of course, this is valid for quantum polyno…
We use the type theory for rings of operators due to Kaplansky to describe the structure of modules that are invariant under automorphisms of their injective envelopes. Also, we highlight the importance of Boolean rings in the study of such modules. As a consequence of this approach, we are able to further the study initiated by Dickson and Fuller regarding when a module invariant under automorphisms of its injective envelope is invariant under any endomorphism of it. In particular, we find conditions for several classes of noetherian rings which ensure that modules invariant under automorphis…
Let $X$ be a projective integral scheme with endomorphism $σ$, where $σ$ is finite, but not an automorphism. We examine noncommutative ampleness of bimodules defined by $σ$. In contrast to the automorphism case, one-sided ampleness is possible. We also find that rings and bimodule algebras associated with $σ$ are not noetherian.
Dixmier's famous question says the following: Is every algebra endomorphism of the first Weyl algebra, $A_1(F)$, where $F$ is a zero characteristic field, an automorphism? Let $α$ be the exchange involution on $A_1(F)$: $α(x)= y$, $α(y)= x$. An $α$-endomorphism of $A_1(F)$ is an endomorphism which preserves the involution $α$. Then one may ask the following question, which may be called the "$α$-Dixmier's problem $1$" or the "starred Dixmier's problem $1$": Is every $α$-endomorphism of $A_1(F)$ an automorphism?
We consider homogeneous varieties of linear algebras over an associative-commutative ring K with 1, i.e., the varieties in which free algebras are graded. Let F be a free algebra of some variety A of linear algebras over K freely generated by a finite set X, EndF be the semigroup of endomorphisms of F, and AutEndF be the group of automorphisms of the semigroup EndF. We investigate structure of the group AutEndF and its relation to the algebraical and categorical equivalence of algebras from A. We define a wide class of R1MF-domains containing, in particular, Bezout domains, unique factorizatio…
In this paper we study modules coinvariant under automorphisms of their projective covers. We first provide an alternative, and in fact, a more succinct and conceptual proof for the result that a module $M$ is invariant under automorphisms of its injective envelope if and only if given any submodule $N$ of $M$, any monomorphism $f:N\rightarrow M$ can be extended to an endomorphism of $M$ and then, as a dual of it, we show that over a right perfect ring, a module $M$ is coinvariant under automorphisms of its projective cover if and only if for every submodule $N$ of $M$, any epimorphism $φ: M\r…
We show that endomorphisms of Weyl algebras over fields of characteristic zero are flat and that birational endomorphisms are automorphisms by reducing to positive characteristic. We also give examples showing that endomorphisms of Weyl algebras are not in general flat over fields of positive characteristic.
We investigate conditions under which the endomorphism ring of the Leavitt path algebra $L_{K}(E)$ possesses various ring and module-theoretical properties such as being von Neumann regular, $π$-regular, strongly $π$-regular or self-injective. We also describe conditions under which $L_{K}(E)$ is continuous as well as automorphism invariant as a right $L_{K}(E)$-module.
Let $A_1(K)=K \langle x,y | yx-xy= 1 \rangle$ be the first Weyl algebra over a characteristic zero field $K$ and let $α$ be the exchange involution on $A_1(K)$ given by $α(x)= y$ and $α(y)= x$. The Dixmier conjecture of Dixmier (1968) asks: Is every algebra endomorphism of the Weyl algebra $A_1(K)$ an automorphism? The aim of this paper is to prove that each $α$-endomorphism of $A_1(K)$ is an automorphism. Here an $α$-endomorphism of $A_1(K)$ is an endomorphism which preserves the involution $α$. We also prove an analogue result for the Jacobian conjecture in dimension 2, called $α-JC_2$.
We prove that if $u:K \rightarrow M$ is a left minimal extension, then there exists an isomorphism between two subrings, $\textrm{End}_R^M(K)$ and $\textrm{End}_R^K(M)$ of $\textrm{End}_R(K)$ and $\textrm{End}_R(M)$ respectively, modulo their Jacobson radicals. This isomorphism is used to deduce properties of the endomorphism ring of $K$ from those of the endomorphism ring of $M$ in certain situations such us when $K$ is invariant under endomorphisms of $M,$ or when $K$ is invariant under automorphisms of $M$.
The notion of ring endomorphisms having large images is introduced. Among others, injectivity and surjectivity of such endomorphisms are studied. It is proved, in particular, that an endomorphism S of a prime one-sided noetherian ring R is injective whenever the image S (R) contains an essential left ideal L of R. If additionally S(L) = L, then S is an automorphism of R. Examples showing that the assumptions imposed on R can not be weakened to R being a prime left Goldie ring are provided. Two open questions are formulated.
Let $K$ be a field of characteristic zero, $K[x,y]$ be the polynomial ring in two variables. Let $ϕ=(f, g)$ be an endomorphism of $K[x,y]$. It is proved that if $ϕ$ maps each coordinate to a generator of some proper retract, then it is an automorphism. As a corollary, the retract preserving problem is solved for both polynomial ring over $K$ and free algebra over an arbitrary field when $n=2$.
We give a characterization of those abelian groups which are direct sums of cyclic groups and the Jacobson radical of their endomorphism rings are closed. A complete characterization of $p$-groups $A$ for which $(EndA,\mathcal T_L)$ is locally compact, where $\mathcal T_L$ is the Liebert topology on $EndA$, is given. We prove that if $A$ is a countable elementary $p$-group then $EndA$ has a non-admissible ring topology. To every functorial topology on $A$ a right bounded ring topology on $EndA$ is attached. By using this topology we construct on $EndA$ a non-metrizable and non-admissibe ring t…
We attach to any linear endomorphism f of any vector space V a structure of prelie algebra on the shuffle algebra T(V); we describe its enveloping algebra, the dual Hopf algebra and the associated group of characters. For f=Id\_V, we find the algebra of formal diffeomorphisms, seen as a subalgebra of the Connes-Kreimer Hopf algebra of rooted trees in the context of QFT; for other well-chosen f, we obtain the groups of Fliess operators in Control Theory. An algebraic structures of these Com-Prelie Hopf algebras is carried out: gradations, group of automorphisms, subobject generated by V, etc.
It is proved that if A_p is a countable elementary abelian p-group, then: (i) The ring End(A_p) does not admit a nondiscrete locally compact ring topology. (ii) Under (CH) the simple ring End(A_p)/I, where I is the ideal of End(A_p) consisting of all endomorphisms with finite images, does not admit a nondiscrete locally compact ring topology. (iii) The finite topology on End(A_p) is the only second metrizable ring topology on it. Moreover, a characterization of completely simple endomorphism rings of the endomorphism rings of modules over commutative rings is also obtained.
A module $M$ is called an automorphism-invariant module if every isomorphism between two essential submodules of $M$ extends to an automorphism of $M$. This paper introduces the notion of dual of such modules. We call a module $M$ to be a dual automorphism-invariant module if whenever $K_1$ and $K_2$ are small submodules of $M$, then any epimorphism $η:M/K_1\rightarrow M/K_2$ with small kernel lifts to an endomorphism $φ$ of $M$. In this paper we give various examples of dual automorphism-invariant module and study its properties. In particular, we study abelian groups and prove that dual auto…
Let $A_1:=K\langle x, \frac{d}{dx} \rangle$ be the Weyl algebra and $\mI_1:= K\langle x, \frac{d}{dx}, \int \rangle$ be the algebra of polynomial integro-differential operators over a field $K$ of characteristic zero. The Conjecture/Problem of Dixmier (1968) [still open]: {\em is an algebra endomorphism of the Weyl algebra $A_1$ an automorphism?} The aim of the paper is to prove that {\em each algebra endomorphism of the algebra $\mI_1$ is an automorphism}. Notice that in contrast to the Weyl algebra $A_1$ the algebra $\mI_1$ is a non-simple, non-Noetherian algebra which is not a domain. Moreo…
Let $f$ be an endomorphism of a vector space $V$ over a field $K$. An $f$-invariant subspace $X \subseteq V$ is called hyperinvariant (respectively characteristic) if $X$ is invariant under all endomorphisms (respectively automorphisms) that commute with $f$. If $|K| > 2$ then all characteristic subspaces are hyperinvariant. If $|K| = 2$ then there are endomorphisms $f$ with invariant subspaces that are characteristic but not hyperinvariant. In this paper we give a new proof of a theorem of Shoda, which provides a necessary and sufficient condition for the existence of characteristic non-hyper…