Related papers: Subrings invariant under endomorphisms

The problem of deciding, given a complex variety X, a point x in X, and a subvariety Z of X, whether there is an automorphism of X mapping x into Z is proved undecidable. Along the way, we prove the undecidability of a version of Hilbert's…

If an automorphism f of a structure M is such that fix(f^k) = fix(f) for all positive k, then M|fix(f) is a substructure of M. The possible isomorphism types of such M|fix(f) are characterized when M is countable and arithmetically…

We know that for a finite field $F$, every function on $F$ can be given by a polynomial with coefficients in $F$. What about the converse? i.e. if $R$ is a ring (not necessarily commutative or with unity) such that every function on $R$ can…

We introduce an algebraicity criteria. It has the following form: under certain conditions, an analytic subvariety of some algebriac variety over a global field $K$, if it contains many $K$-points, then it is algebraic over $K.$ This gives…

A monomial algebra B is defined as a quotient of a polynomial ring by a monomial ideal, which is an ideal generated by a finite set of monomials. In this paper, we determine the automorphism group of a monomial algebra B, under the…

A ring R is called an E-ring if the canonical homomorphism from R to the endomorphism ring End(R_Z) of the additive group R_Z, taking any r in R to the endomorphism left multiplication by r turns out to be an isomorphism of rings. In this…

Let $R=\mathbb{K}[X_1, \ldots , X_n ]$ be a polynomial ring over a field $\mathbb{K}$. We introduce an endomorphism $\mathcal{F}^{[m]}: R \rightarrow R $ and denote the image of an ideal $I$ of $R$ via this endomorphism as $I^{[m]}$ and…

We describe the endomorphism rings in an additive category whose objects are right $R$-modules $M$ with a fixed chain of submodules $0=M^{(0)}\leq M^{(1)}\leq M^{(2)} \leq \dots \leq M^{(n)}=M$ and the behaviour of these objects as far as…

Two subsets $S$ and $T$ of $\mathbb{F}_2^n$ are \textit{affinely equivalent} if there is an affine automorphism of $\mathbb{F}_2^n$ taking $S$ to $T$. Given a basis of the affine span of $S$, we can construct a Venn diagram whose regions…

Automorphic loops are loops in which all inner mappings are automorphisms. This variety of loops includes groups and commutative Moufang loops. A half-isomorphism $f : G \longrightarrow K$ between multiplicative systems $G$ and $K$ is a…

A function $f:R\to R$, where $R$ is a commutative ring with unit element, is called polyfunction if it admits a polynomial representative $p\in R[x]$. Based on this notion we introduce ring invariants which associate to $R$ the numbers…

We show that given a dominant morphism between two smooth varieties of the same dimension, the induced morphism between the formal neighborhoods of two arcs on these varieties is a closed embedding, of codimension given by the order of…

We prove that if $\mathbb{F}$ is an algebraically closed field of zero characteristic which has infinite transcendence degree over $\mathbb{Q}$, then there exists a field automorphism $\varphi$ of ${\rm SL}_n(\mathbb{F})$ and ${\rm…

Let $(R,\fm)$ be a local ring and $\fa$ be an ideal of $R$. The inequalities $$\begin{array}{ll} \ \Ht(\fa) \leq \cd(\fa,R) \leq \ara(\fa) \leq l(\fa) \leq \mu(\fa) \end{array}$$ are known. It is an interesting and long-standing problem to…

An automorphism on a complex supermanifold $\mathcal M$ is called unipotent if it reduces to the identity on the associated graded supermanifold $gr(\mathcal M)$. These automorphisms are close to be complementary to those responsible for…

We prove that if F is a finitely generated free group and f:F -> F is an automorphism with polynomial growth of degree d, then there exists a characteristic subgroup S < F of finite index such that the induced automorphism of the…

Let $R$ be a finitely generated $\mathbb N$-graded algebra domain over a Noetherian ring and let $I$ be a homogeneous ideal of $R$. Given $P\in Ass(R/I)$ one defines the $v$-invariant $v_P(I)$ of $I$ at $P$ as the least $c\in \mathbb N$…

Two separated realcompact measurable spaces $(X,\mathcal{A})$ and $(Y,\mathcal{B})$ are shown to be isomorphic if and only if the rings $\mathcal{M}(X,\mathcal{A})$ and $\mathcal{M}(Y,\mathcal{B})$ of all real valued measurable functions…

Let $f:R\to S$ be a ring homomorphism and $J$ be an ideal of $S$. Then the subring $R\bowtie^fJ:=\{(r,f(r)+j)\mid r\in R$ and $j\in J\}$ of $R\times S$ is called the amalgamation of $R$ with $S$ along $J$ with respect to $f$. In this paper,…

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 $\alpha$ be the exchange involution on $A_1(F)$: $\alpha(x)= y$,…