A characterization of tame automorphisms of the algebra
A
=
F
x
1
,
x
2
,
x
3
A=Fx_1,x_2,x_3
of polynomials in three variables over a field
F
F
of characteristic
0
0
is obtained. In particular, it ...is proved that the well-known Nagata automorphism is wild. It is also proved that the tame and the wild automorphisms of
A
A
are algorithmically recognizable.
We say that a commutative ring
R
satisfies the restricted minimum (RM) condition if for all essential ideals
I
in
R
, the factor
R
/
I
is an Artinian ring. We will focus on Noetherian reduced rings ...because in this setting known results for RM domains generalize well. However, as we will show, RM rings need not be Noetherian and may have nilpotent elements. One of the classic results in the theory of RM rings is that for Noetherian domains the RM condition corresponds to having Krull dimension at most one. We will show that this can be generalized to reduced Noetherian rings, thus proving that affine rings corresponding to curves are RM. We will give examples showing that the assumption that the ring is reduced is not superfluous. In the second part, we will study CDR domains, i.e., domains where for any two ideals
I
,
J
the inclusion
I
⊆
J
implies that
I
is a multiple of
J
. We will prove that CDR domains are RM and this will allow us to give a new characterization of Dedekind domains. Examples of RM rings for various classes of rings will be given. In particular, we will show that a ring of polynomials
R
x
is RM if and only if
R
is a reduced Artinian ring. And we will study the relation between RM rings and UFDs.
We introduce a Poisson bracket on the ring of polynomials
A
=
F
x
1
,
x
2
,
…
,
x
n
A=Fx_1,x_2, \ldots ,x_n
over a field
F
F
of characteristic
0
0
and apply it to the investigation of subalgebras ...of the algebra
A
A
. An analogue of the Bergman Centralizer Theorem is proved for the Poisson bracket in
A
A
. The main result is a lower estimate for the degrees of elements of subalgebras of
A
A
generated by so-called
∗
\ast
-reduced pairs of polynomials. The estimate involves a certain invariant of the pair which depends on the degrees of the generators and of their Poisson bracket. It yields, in particular, a new proof of the Jung theorem on the automorphisms of polynomials in two variables. Some relevant examples of two-generated subalgebras are given and some open problems are formulated.
Let
Ω
be an uncountable and algebraically closed field. We prove that every ideal of the polynomial ring
R
=
Ω
x
1
,
x
2
,
…
is the intersection of ideals of the form
{
f
∈
R
:
D
(
f
g
)
(
c
)
=
0
...for every
g
∈
R
}
, where
D
is a differential operator of locally finite order, and
c
is a vector with values in
Ω
.
Rings of Polynomials Evyatar, A.; Zaks, A.
Proceedings of the American Mathematical Society,
01/1970, Volume:
25, Issue:
3
Journal Article
Peer reviewed
Open access
For an algebra R over a field k, with residue field K to be a ring of polynomials in one variable over k it is necessary that$\operatorname{tr}\cdot\deg K/k = 1$. We prove that under the ...hypothesis$\operatorname{tr}\cdot\deg K/k = 1, R$is a ring of Krull-dimension at most one. This is used to derive sufficient conditions for R to be a ring of polynomials in one variable over k.
Over any field an implicit linear difference equation one can reduce to the usual explicit one, which has infinitely many solutions ~ one for each initial value. It is interesting to consider an ...implicit difference equation over any ring, because the case of implicit equation over a ring is a significantly different from the case of explicit one. The previous results on the difference equations over rings mostly concern to the ring of integers and to the low order equations. In the present article the high order implicit difference equations over some other classes of rings, particularly, ring of polynomials, are studied.
To study the difference equation over the ring of integer the idea of considering p-adic integers ~ the completion of the ring of integers with respect to the non-Archimedean p-adic valuation was useful. To find a solution of such an equation over the ring of polynomials it is naturally to consider the same construction for this ring: the ring of formal power series is a completion of the ring of polynomials with respect to a non-Archimedean valuation.
The ring of formal power series and the ring of p-adic integers both are the particular cases of the valuation rings with respect to the non-Archimedean valuations of some fields: field of Laurent series and field of p-adic rational numbers respectively. In this article the implicit linear difference equation over a valuation ring of an arbitrary field with the characteristic zero and non-Archimedean valuation are studied. The sufficient conditions for the uniqueness and existence of a solution are formulated. The explicit formula for the unique solution is given, it has a form of sum of the series, converging with respect to the non-Archimedean valuation.
Difference equation corresponds to an infinite system of linear equations. It is proved that in a case the implicit difference equation has a unique solution, it can be found using Cramer rules.
Also in the article some results facilitating the finding the polynomial solution of the equation are given.
This paper is devoted to several new results concerning (standard) octonion
polynomials. The first is the determination of the roots of all right scalar
multiples of octonion polynomials. The roots ...of left multiples are also
discussed, especially over fields of characteristic not 2. We then turn to
study the dynamics of monic quadratic real octonion polynomials, classifying
the fixed points into attracting, repelling and ambivalent, and concluding with
a discussion on the behavior of pseudo-periodic points.
Let $R$ be a commutative ring with unity. In this paper, we characterize the unit elements, the regular elements, the $\pi$-regular elements and the clean elements of zero-symmetric near-ring of ...polynomials $R_{0}x$, when $ \mathrm{nil}(R)^{2}=0 $. Moreover, it is shown that the set of $\pi$-regular elements of $R_{0}x$ forms a semigroup. These results are somewhat surprising since, in contrast to the polynomial ring case, the near-ring of polynomials has substitution for its ``multiplication'' operation. KCI Citation Count: 2