Related papers: On some local rings
We prove that the super-linearizability of polynomial systems is preserved by all currently known classes of polynomial automorphisms of $\R^n$. We then establish connections between such automorphisms and a sufficient condition for…
Let $K$ be a field and $P=K[x_1,\dots,x_n]$. The technique of elimination by substitution is based on discovering a coherently $Z=(z_1,\dots,z_s)$-separating tuple of polynomials $(f_1,\dots,f_s)$ in an ideal $I$, i.e., on finding…
Let $X$ be a finite partially ordered set, $R$ an associative unital ring and $\sigma$ an endomorphism of $R$. We describe some properties of the skew incidence ring $I(X,R,\sigma)$ such as invertible elements, idempotents, the Jacobson…
In previous papers, the author showed that in many cases of interest there exists an isomorphism between certain path algebras related to the structure of the subregular J-rings of Coxeter systems and matrix rings over a free product of…
We prove that an irreducible polynomial derivation in positive characteristic is a Jacobian derivation if and only if there exists an n-1-element p-basis of its ring of constants. In the case of two variables we characterize these…
We prove a necessary and sufficient criterion for the ring of integer-valued polynomials to behave well under localization. Then, we study how the Picard group of $\mathrm{Int}(D)$ and the quotient group…
For automorphisms of a polynomial ring in two variables over a domain R, we show that local tameness implies global tameness provided that every 2-generated invertible R-module is free. We give many examples illustrating this property.
We prove that the tangent space to the $(n+1)$-th Milnor $K$-group of a ring $R$ is isomorphic to group of $n$-th absolute K\"ahler differentials of $R$ when the ring $R$ contains $\frac{1}{2}$ and has sufficiently many invertible elements.…
It is proved that if two quasitoric manifolds of dimension $\le 2p^2-4$ for a prime $p$ have isomorphic cohomology rings, then they have the same $p$-local stable homotopy type.
We study connections between self-inversive and self-reciprocal polynomials, reduction theory of binary forms, minimal models of curves, and formally self-dual codes. We prove that if $\mathcal X$ is a superelliptic curve defined over…
Let D be a domain with quotient field K and A a D-algebra. We call a polynomial with coefficients in K that maps every element of A to an element of A "integer-valued on A". For commutative A we also consider integer-valued polynomials in…
We apply Ohi's criterion for faithfully flatness of extensions of commutative rings to prove that any \'etale extension $k[Y_1, \ldots, Y_n]\subseteq k[X_1, \ldots, X_n]$ of polynomial rings (each in $n$ indeterminates) over a commutative…
We prove that a local ring $R$ of embedding codepth at most 3 has at most two semidualizing complexes up to shift-isomorphism, namely, $R$ itself and a dualizing $R$-complex if one exists.
We prove that every locally inner (class-preserving) endomorphism of adjoint Chevalley groups and their elementary subgroups over commutative rings is inner for the root systems A1, A2, B2 (assuming 2 is invertible in the ring), and for G2…
In this paper, we are mainly interested in the two questions "which are the commutative rings on which every finitely presented modules is [Formula: see text]-periodic (respectively, [Formula: see text]-periodic)?". It is proved that these…
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…
An isomorphism between the group ring of a finite group and a ring of certain block diagonal matrices is established. The group ring $RG$ of a finite group $G$ is isomorphic to the set of {\em group ring matrices} over $R$. It is shown that…
An infinite family of irreducible homogeneous free divisors in $K[x, y, z]$ is constructed. Indeed, we identify sets of monomials $X$ such that the general polynomial supported on $X$ is a free divisor.
We prove that for any $n$ there is a pair $(P_1 ^n , P_2 ^n )$ of nonisomorphic ordered sets such that $P_1 ^n $ and $P_2 ^n $ have equal maximal and minimal decks, equal neighborhood decks, and there are $n+1$ ranks $k_0 , \ldots , k_n $…
We give a criterion whether given Eisenstein polynomials over a local field K define the same extension over K in terms of a certain non-Archimedean metric on the set of polynomials. The criterion and its proof depend on ramification…