A Note on Free Groups in the Ring of Fractions of Skew Polynomial Rings

Let L be a function field over the rationals and let D denote the skew field of fractions of L[t;σ], the skew polynomial ring in t, over L, with automorphism σ. We prove that the multiplicative group D ^× of D contains a free noncyclic subgroup.     

APPLICATIONS OF CLIFFORD ALGEBRAS TO INVOLUTIONS AND QUADRATIC FORMS

ABSTRACT

Let k be a field, char k ≠ 2, F = k(x), D a biquaternion division algebra over k, and σ an orthogonal involution on D with nontrivial discriminant. We show that there exists a quadratic form ? ∈ I ²(F) such that dim ? = 8, [C(?)] = [D], and ? does not decompose into a direct sum of two forms similar to two-fold Pfister forms. This implies in particular that the field extension F(D)/F is not excellent. Also we prove that if A is a central simple K-algebra of degree 8 with an orthogonal involution σ, then σ is hyperbolic if and only if σ _K(A) is hyperbolic. Finally, let σ be a decomposable orthogonal involution on the algebra M _{2 ^m} (K). In the case m ≤ 5 we give another proof of the fact that σ is a Pfister involution. If m ≥ 2 ^n?2 ? 2 and n ≥ 5, we show that q _σ ∈ I ⁿ (K), where q _σ is a quadratic form corresponding to σ. The last statement is founded on a deep result of Orlov et al. (2000) concerning generic splittings of quadratic forms.     

Numerical Semigroup Rings and Almost Prüfer v-Multiplication Domains

Let D be an integral domain with quotient field K, X be an indeterminate over D, Γ be a numerical semigroup with Γ ? ?₀, D[Γ] be the semigroup ring of Γ over D (and hence D ? D[Γ] ? D[X]), and D + X ⁿ K[X] = {a + X ⁿ g∣a ∈ D and g ∈ K[X]}. We show that there exists an order-preserving bijection between Spec(D[X]) and Spec(D[Γ]), which also preserves t-ideals. We also prove that D[Γ] is an APvMD (resp., AGCD-domain) if and only if D[X] is an APvMD (resp., AGCD-domain) and char(D) ≠ 0. We show that if n ≥ 2, then D is an APvMD (resp., AGCD-domain, AGGCD-domain, AP-domain, AB-domain) and char(D) ≠ 0 if and only if D + X ⁿ K[X] is an APvMD (resp., AGCD-domain, AGGCD-domain, AP-domain, AB-domain). Finally, we give some examples of APvMDs which are not AGCD-domains by using the constructions D[Γ] and D + X ⁿ K[X].     

Integer-Valued Polynomial Rings,t-Closure,and Associated Primes

Given an integral domain D with quotient field K, the ring of integer-valued polynomials on D is the subring {f(X) ∈ K[X]: f(D) ? D} of the polynomial ring K[X]. Using the tools of t-closure and associated primes, we generalize some known results on integer-valued polynomial rings over Krull domains, Prüfer v-multiplication domains, and Mori domains.     

PrÜfer-Like Domains and the Nagata Ring of Integral Domains

A subring A of a Prüfer domain B is a globalized pseudo-valuation domain (GPVD) if (i) A?B is a unibranched extension and (ii) there exists a nonzero radical ideal I, common to A and B such that each prime ideal of A (resp., B) containing I is maximal in A (resp., B). Let D be an integral domain, X be an indeterminate over D, c(f) be the ideal of D generated by the coefficients of a polynomial f ∈ D[X], N = {f ∈ D[X] | c(f) = D}, and N _v  = {f ∈ D[X] | c(f)^?1 = D}. In this article, we study when the Nagata ring D[X] _N (more generally, D[X] _{N v} ) is a GPVD. To do this, we first use the so-called t-operation to introduce the notion of t-globalized pseudo-valuation domains (t-GPVDs). We then prove that D[X] _{N v} is a GPVD if and only if D is a t-GPVD and D[X] _{N v} has Prüfer integral closure, if and only if D[X] is a t-GPVD, if and only if each overring of D[X] _{N v} is a GPVD. As a corollary, we have that D[X] _N is a GPVD if and only if D is a GPVD and D has Prüfer integral closure. We also give several examples of integral domains D such that D[X] _{N v} is a GPVD.     

Generalized Derivations with Engel Conditions on Polynomials

Let R be a noncommutative prime ring with extended centroid C, and let D: R → R be a nonzero generalized derivation, f(X ₁,…, X _t ) a nonzero polynomial in noncommutative indeterminates X ₁,…, X _t over C with zero constant term, and k ≥ 1 a fixed integer. In this article, D and f(X ₁,…, X _t ) are characterized if the Engel identity is satisfied: [D(f(x ₁,…, x _t )), f(x ₁,…, x _t )] _k  = 0 for all x ₁,…, x _t  ∈ R.     

Radicals of Skew Polynomial and Skew Laurent Polynomial Rings Over Skew Armendariz Rings

In this note we study radicals of skew polynomial ring R[x; α] and skew Laurent polynomial ring R[x, x ^?1; α], for a skew-Armendariz ring R. In particular, among the other results, we show that for an skew-Armendariz ring R, J(R[x; α]) = N ₀(R[x; α]) = Ni?_*(R)[x; α] and J(R[x, x ^?1; α]) = N ₀(R[x, x ^?1; α]) = Ni?_*(R)[x, x ^?1; α].     

Inverse Problems for Time-Dependent Singular Heat Conductivities: Multi-Dimensional Case

We consider an inverse boundary value problem for the heat equation ? _t u = div (γ? _x u) in (0, T) × Ω, u = f on (0, T) × ?Ω, u| _t=0 = u ₀, in a bounded domain Ω ? ? ⁿ , n ≥ 2, where the heat conductivity γ(t, x) is piecewise constant and the surface of discontinuity depends on time: γ(t, x) = k ² (x ∈ D(t)), γ(t, x) = 1 (x ∈ Ω?D(t)). Fix a direction e* ∈ 𝕊 ^n?1 arbitrarily. Assuming that ?D(t) is strictly convex for 0 ≤ t ≤ T, we show that k and sup {e*·x; x ∈ D(t)} (0 ≤ t ≤ T), in particular D(t) itself, are determined from the Dirichlet-to-Neumann map : f → ?_ν u(t, x)|_{(0, T)×?Ω}. The knowledge of the initial data u ₀ is not used in the proof. If we know min_0≤t≤T (sup _x∈D(t) x·e*), we have the same conclusion from the local Dirichlet-to-Neumann map. Numerical examples of stationary and moving circles inside the unit disk are shown. The results have applications to nondestructive testing. Consider a physical body consisting of homogeneous material with constant heat conductivity except for a moving inclusion with different conductivity. Then the location and shape of the inclusion can be monitored from temperature and heat flux measurements performed at the boundary of the body. Such a situation appears for example in blast furnaces used in ironmaking.     

Wellposedness of abstract Cauchy problems for second order differential equations

This paper concerns the abstract Cauchy problem (ACP) for an evolution equation of second order in time. LetA be a closed linear operator with domainD(A) dense in a Banach spaceX. We first characterize the exponential wellposedness of ACP onD(A ^k+1),k teN. Next let {C(t);t teR} be a family of generalized solution operators, on [D(A ^k)] toX, associated with an exponentially wellposed ACP onD(A ^k+1). Then we define a new family {T(t); Ret>0} by the abstract Weierstrass formula. We show that {T(t)} forms a holomorphic semigroup of class (H _k) onX. Research of the second-named author was partially supported by Grant-in-Aid for Scientific Research (No. 63540139), Ministry of Education, Science and Culture.     

Remarks on Taylor Series Expansions and Conditional Expectations for Stratonovich SDEs with Complete V‐Commutativity

Abstract

It may happen that there is not a finite maximum order bound for numerical approximations of stochastic processes X = (X _t : 0 ≤ t ≤ T) satisfying Stratonovich stochastic differential equations (SDEs) with some commutative structure along an appropriate functional V(t, X _t ). This statement can be proven with respect to the concept of mean square convergence under the assumption of “infinite smoothness” of drift a(t, x) and diffusion coefficients b ^j (t, x) and with finite initial second moments. As a result, we obtain an infinite series expansion of the conditional expectation 𝔼[V(t, X _t )|? _t ^N ] on any fixed finite time interval [0, T], provided that the information is collected by discretized σ‐field ? _T ^N  = σ{W _{t 0} , W _{t 1} , …, W _{t N?1} , W _T } at N + 1 given time instants t _i  ∈ [0, T] with t ₀ ≤ t ₁ ≤ ··· ≤ t _N?1 ≤ t _N  = T.     

Minimal graded free resolutions for monomial curves in 𝔸4 defined by almost arithmetic sequences

Let m = (m₀, m₁, m₂, n) be an almost arithmetic sequence, i.e., a sequence of positive integers with gcd(m₀, m₁, m₂, n) = 1, such that m₀ < m₁ < m₂ form an arithmetic progression, n is arbitrary and they minimally generate the numerical semigroup Γ =m₀? +m₁? +m₂? +n?. Let k be a field. The homogeneous coordinate ring k[Γ] of the affine monomial curve parametrically defined by X₀ = t^m₀, X₁ = t^m₁, X₂ = t^m₂, Y = tⁿ is a graded R-module, where R is the polynomial ring k[X₀, X₁, X₂, Y] with the grading degX_i: = m_i, degY: = n. In this paper, we construct a minimal graded free resolution for k[Γ].     

On the Cyclic Homology of an Algebra Associated with a Cyclic Quiver and a Monic Polynomial

In this article, we compute the Hochschild homology group of A = KΓ/(f(X ^s )), where KΓ is the path algebra of the cyclic quiver Γ with s vertices and s arrows over a commutative ring K, f(x) is a monic polynomial over K, and X is the sum of all arrows in KΓ. Moreover, we compute the cyclic homology group of A in the case f(x) = (x ? a) ^m , where a ∈ K, so that we can determine the cyclic homology of A in general when K is an algebraically closed field.     

On the Prime Ideal Structure of Bhargava Rings

Let D be an integral domain with quotient field K. A Bhargava ring over D is defined to be 𝔹 _x (D): = {f ∈ K[X] | ? a ∈ D, f(xX + a) ∈ D[X]}, where x ∈ D. A Bhargava ring over D is a subring of the ring of integer-valued polynomials over D. In this article, we study the prime ideal structure and calculate the Krull and valuative dimension of Bhargava rings over a general domain D.     

A mean value theorem for discriminants of abelian extensions of a number field

Let k be an algebraic number field and let N(k,C?;m) denote the number of abelian extensions K of k with G(K/k)≅C?, the cyclic group of prime order ?, and the relative discriminant D(K/k) of norm equal to m. In this paper, we derive an asymptotic formula for _∑m?XN(k,C?;m) using the class field theory and a method, developed by Wright. We show that our result is identical to a result of Cohen, Diaz y Diaz and Olivier, obtained by methods of classical algebraic number theory, although our methods allow for a more elegant treatment and reduce a global calculation to a series of local calculations.     

Decompositions of Quotient Rings and m-Power Commuting Maps

Let R be a semiprime ring with symmetric Martindale quotient ring Q, n ≥ 2 and let f(X) = X ⁿ h(X), where h(X) is a polynomial over the ring of integers with h(0) = ±1. Then there is a ring decomposition Q = Q ₁ ⊕ Q ₂ ⊕ Q ₃ such that Q ₁ is a ring satisfying S _2n?2, the standard identity of degree 2n ? 2, Q ₂ ? M _n (E) for some commutative regular self-injective ring E such that, for some fixed q > 1, x ^q  = x for all x ∈ E, and Q ₃ is a both faithful S _2n?2-free and faithful f-free ring. Applying the theorem, we characterize m-power commuting maps, which are defined by linear generalized differential polynomials, on a semiprime ring.     

Notes on the Kernels of Locally Finite Higher Derivations in Polynomial Rings

Let A = k^[3] be the polynomial ring in three variables over a field k, and let D be a nontrivial locally finite iterative higher derivation on A. Let A^D denote the kernel of D. In this note, we prove that, if chark > 0 and ML(A^D) ≠ A^D, then A^D ? k^[2]. As a consequence of this result, we give another proof of the cancellation theorem for k^[2] over any field k of positive characteristic.     

Prime T-Ideals in Polynomial and Power Series Rings Over a Pseudo-Valuation Domain

Let R be an m-dimensional pseudo-valuation domain with residue field k, let V be the associated valuation domain with residue field K, and let k ₀ be the maximal separable extension of k in K. We compute the t-dimension of polynomial and power series rings over R. It is easy to see that t-dim R[x ₁,…, x _n ] = 2 if m = 1 and K is transcendental over k, but equals m otherwise, and that t-dim R[[x ₁,…, x _n ]] = ∞ if R is a nonSFT-ring. When R is an SFT-ring, we also show that: (1) t-dim R[[x]] = m; (2) t-dim R[[x ₁,…, x _n ]] = 2m ? 1, if n ≥ 2, K has finite exponent over k ₀, and [k ₀: k] < ∞; (3) t-dim R[[x ₁,…, x _n ]] = 2m, otherwise.     

Stability of Numerical Invariants in Free Groups

Let d be an odd integer, and let k be a field which contains a primitive dth root of unity. Let l ₁ and l ₂ be cyclic field extensions of k of degree d with norms n _{l 1/k} and n _{l 2/k} . Minà?'s approach which showed that quadratic Pfister forms are strongly multiplicative is applied to the form n _{l 1/k}  ? n _{l 2/k} of degree d. Let K = k(X ₁,…, X _{d ²} ). We compute polynomials which are similarity factors of a form of the kind N ? (n _{l 2/k}  ? _k K) over K, where N is the norm of a certain field extension of K of degree d. These polynomials arise by specializing certain indeterminates of the homogeneous polynomial representing the form n _{l 1/k}  ? n _{l 2/k} to be zero. Similar results are obtained for the tensor product of the norm of a cubic division algebra and a cubic norm n _{l 1/k} .     

Uppers to Zero in Polynomial Rings and Prüfer-Like Domains

Let D be an integral domain and X an indeterminate over D. It is well known that (a) D is quasi-Prüfer (i.e., its integral closure is a Prüfer domain) if and only if each upper to zero Q in D[X] contains a polynomial g ∈ D[X] with content c _D (g) = D; (b) an upper to zero Q in D[X] is a maximal t-ideal if and only if Q contains a nonzero polynomial g ∈ D[X] with c _D (g) ^v  = D. Using these facts, the notions of UMt-domain (i.e., an integral domain such that each upper to zero is a maximal t-ideal) and quasi-Prüfer domain can be naturally extended to the semistar operation setting and studied in a unified frame. In this article, given a semistar operation ☆ in the sense of Okabe–Matsuda, we introduce the ☆-quasi-Prüfer domains. We give several characterizations of these domains and we investigate their relations with the UMt-domains and the Prüfer v-multiplication domains.