Let RR be a commutative ring with unity 1≠01≠0. In this paper we introduce the definition of first derivative property on ideals polynomial R[x]R[x]. particular, when is finite local principal maximal ideal m≠{0}m≠{0} index nilpotency ee, where 1<e≤|R/m|+11≤e≤|R/m|+1, show that null consisting polynomials inducing zero function satisfies property. As an application, satisfying property, ...

If R is a valuation domain of maximal ideal P with a maximal immediate extension of finite rank it is proven that there exists a finite sequence of prime ideals P = L0 ⊃ L1 ⊃ · · · ⊃ Lm ⊇ 0 such that RLj /Lj+1 is almost maximal for each j, 0 ≤ j ≤ m − 1 and RLm is maximal if Lm 6= 0. Then we suppose that there is an integer n ≥ 1 such that each torsion-free R-module of finite rank is a direct s...

It is proven that each indecomposable injective module over a valuation domain R is polyserial if and only if each maximal immediate extension R̂ of R is of finite rank over the completion R̃ of R in the R-topology. In this case, for each indecomposable injective module E, the following invariants are finite and equal: its Malcev rank, its Fleischer rank and its dual Goldie dimension. Similar res...

Let A be the ring obtained by localizing the polynomial ring κ[X, Y, Z, W ] over a field κ at the maximal ideal (X, Y, Z, W) and modulo the ideal (XW − Y Z). Let p be the ideal of A generated by X and Y. We study the module structure of a minimal injective resolution of A/p in details using local cohomology. Applications include the description of Ext i A (M, A/p), where M is a module construct...

Several classes of real Gelfand–Mazur algebras are described. Conditions, when the trace M∩B of a closed maximal left (right) idealM of a real topological algebra A would be a maximal ideal in a subalgebra B of the center of A are given.

Let A be the ring obtained by localizing the polynomial ring κ[X, Y, Z, W ] over a field κ at the maximal ideal (X, Y, Z, W) and modulo the ideal (XW − Y Z). Let p be the ideal of A generated by X and Y. We study the module structure of a minimal injective resolution of A/p in details using local cohomology. Applications include the description of Ext i A (M, A/p), where M is a module construct...