Additivity of Lie multiplicative maps on triangular algebras

Let 𝒜 and ? be unital algebras over a commutative ring ?, and ? be a (𝒜,??)-bimodule, which is faithful as a left 𝒜-module and also as a right ?-module. Let 𝒰?=?Tri(𝒜,??,??) be the triangular algebra and 𝒱 any algebra over ?. Assume that Φ?:?𝒰?→?𝒱 is a Lie multiplicative isomorphism, that is, Φ satisfies Φ(ST???TS)?=?Φ(S)Φ(T)???Φ(T)Φ(S) for all S, T?∈?𝒰. Then Φ(S?+?T)?=?Φ(S)?+?Φ(T)?+?Z _S,T for all S, T?∈?𝒰, where Z _S,T is an element in the centre 𝒵(𝒱) of 𝒱 depending on S and T.     

On the Support Problem for Drinfeld Modules

Let Φ be a Drinfeld A-module over an A-field K of generic characteristic. We will prove the following two results which are analogous to ones in number fields. Case 1. Φ is of rank one. Suppose that P and Q are two nontorsion points in Φ(K). If for any element a ? A and almost all prime ideals 𝒫 in  one has that Φ _a (P) ≡ 0 (mod 𝒫) ? Φ _a (Q) ≡ 0 (mod 𝒫), then Q = Φ _m (P) for some m ? A. Case 2. Φ is of general rank ≥ 1. Let x, y ? Φ(K) be two K-rational points. Denote  = End _K (Φ) which is commutative and Λ =  · y which is a cyclic -module. Let red _v :Φ(K) → Φ(k _v ) be the reduction map at a place v of K with residue field k _v . If red _v (x) ? red _v (Λ) for almost all places v of K. Then f(x) = g(y), for some nonzero elements f and g in .     

Lie Triple Derivable Mappings on Rings

Let ? be a ring containing a nontrivial idempotent. In this article, under a mild condition on ?, we prove that if δ is a Lie triple derivable mapping from ? into ?, then there exists a Z _{A, B} (depending on A and B) in its centre 𝒵(?) such that δ(A + B) = δ(A) + δ(B) + Z _{A, B} . In particular, let ? be a prime ring of characteristic not 2 containing a nontrivial idempotent. It is shown that, under some mild conditions on ?, if δ is a Lie triple derivable mapping from ? into ?, then δ = D + τ, where D is an additive derivation from ? into its central closure T and τ is a mapping from ? into its extended centroid 𝒞 such that τ(A + B) = τ(A) + τ(B) + Z _{A, B} and τ([[A, B], C]) = 0 for all A, B, C ∈ ?.     

Ample Vector Bundles with Small g − q

Let X be a smooth complex projective variety and let Z ? X be a smooth submanifold of dimension ≥ 2, which is the zero locus of a section of an ample vector bundle ? of rank dim X ? dim Z ≥ 2 on X. Let H be an ample line bundle on X, whose restriction H _Z to Z is generated by global sections. The structure of triplets (X,?,H) as above is described under the assumption that the curve genus of the corank-1 vector bundle ? ⊕ H ^{⊕ (dim Z?1)} is ≤ h ¹( _X ) + 2.     

Supercentralizing Superderivations on Prime Superalgebras

ABSTRACT

Let A = A ₀ ⊕ A ₁ be an associative superalgebra over a commutative associative ring F, and let Z _s (A) be its supercenter. An F-mapping f of A into itself is called supercentralizing on a subset S of A if [x, f(x)] _s  ∈ Z _s (A) for all x ∈ S. In this article, we prove a version of Posner's theorem for supercentralizing superderivations on prime superalgebras.     

Finite Groups with Conjugacy Classes Number One Greater than Its Same Order Classes Number

ABSTRACT

Let k(G) be the number of conjugacy classes of finite groups G and π _e (G) be the set of the orders of elements in G. Then there exists a non-negative integer k such that k(G) = |π _e (G)| + k. We call such groups to be co(k) groups. This article classifies all finite co(1) groups. They are isomorphic to one of the following groups: A ₅, L ₂(7), S ₅, Z ₃, Z ₄, S ₄, A ₄, D ₁₀, Hol(Z ₅), or Z ₃ ? Z ₄.     

On Combinatorial Properties of Bands

In this paper we study the D-saturated property of bands defined in terms of their Cayley graphs Cay(S,C), where S is a band and C ? Z(S), the center of S. Also we characterize the Cayley graphs of bands. More generally, for a finite graph Γ =Cay(T, D), where T is a band and D ? Z(T), we give an algorithm for finding all bands S and C ? Z(S) such that Γ =Cay(S, C).     

Invertibility of Matrices Over Subrings

Given rings R ? S, consider the division closure 𝒟(R, S) and the rational closure ?(R, S) of R in S. If S is commutative, then 𝒟(R, S) = ?(R, S) = RT ^?1, where T = {t ∈ R | t ^?1 ∈ S}. We show that this is also true if we assume only that R is commutative.     

On Lie Nilpotent Rings and Cohen's Theorem

We study certain (two-sided) nil ideals and nilpotent ideals in a Lie nilpotent ring R. Our results lead us to showing that the prime radical rad(R) of R comprises the nilpotent elements of R, and that if L is a left ideal of R, then L + rad(R) is a two-sided ideal of R. This in turn leads to a Lie nilpotent version of Cohen's theorem, namely if R is a Lie nilpotent ring and every prime (two-sided) ideal of R is finitely generated as a left ideal, then every left ideal of R containing the prime radical of R is finitely generated (as a left ideal). For an arbitrary ring R with identity we also consider its so-called n-th Lie center Z _n (R), n ≥ 1, which is a Lie nilpotent ring of index n. We prove that if C is a commutative submonoid of the multiplicative monoid of R, then the subring ?Z _n (R) ∪ C? of R generated by the subset Z _n (R) ∪ C of R is also Lie nilpotent of index n.     

Nonlinear Strong Commutativity Preserving Maps on Prime Rings

Let 𝒜 be a unital prime ring containing a nontrivial idempotent P. Assume that Φ: 𝒜 → 𝒜 is a nonlinear surjective map. It is shown that Φ preserves strong commutativity if and only if Φ has the form Φ(A) = αA + f(A) for all A ∈ 𝒜, where α ∈ {1, ?1} and f is a map from 𝒜 into 𝒵(𝒜). As an application, a characterization of nonlinear surjective strong commutativity preserving maps on factor von Neumann algebras is obtained.     

Generalizations of Prime Ideals

Let R be a commutative ring with identity. Various generalizations of prime ideals have been studied. For example, a proper ideal I of R is weakly prime (resp., almost prime) if a, b ∈ R with ab ∈ I ? {0} (resp., ab ∈ I ? I ²) implies a ∈ I or b ∈ I. Let φ:?(R) → ?(R) ∪ {?} be a function where ?(R) is the set of ideals of R. We call a proper ideal I of R a φ-prime ideal if a, b ∈ R with ab ∈ I ? φ(I) implies a ∈ I or b ∈ I. So taking φ_?(J) = ? (resp., φ₀(J) = 0, φ₂(J) = J ²), a φ_?-prime ideal (resp., φ₀-prime ideal, φ₂-prime ideal) is a prime ideal (resp., weakly prime ideal, almost prime ideal). We show that φ-prime ideals enjoy analogs of many of the properties of prime ideals.     

On a Field-Theoretic Invariant for Extensions of Commutative Rings

Abstract

If R ? T is an extension of (commutative integral) domains, Λ(T/R) is defined as the supremum of the lengths of chains of intermediate fields in the extension k _R (Q ∩ R) ? k _T (Q), where Q runs over the prime ideals of T. The invariant Λ(T/R) is determined in case R and T are adjacent rings and in case Spec(R) = Spec(T) as sets. It is proved that if R is a domain with integral closure R′, then Λ(T/R) = 0 for all overrings T of R if and only if R′ is a Prüfer domain such that Λ(R′/R) = 0. If R ? T are domains such that the canonical map Spec(T) → Spec(R) is a homeomorphism (in the Zariski topology), then Λ(T/R) is bounded above by the supremum of the lengths of chains of rings intermediate between R and T. Examples are given to illustrate the sharpness of the results.     

Minimal Generating Sets for Relative Ideals in Numerical Semigroups of Multiplicity Eight

Abstract

Let S be a numerical semigroup and let I be a relative ideal of S. Let S ? I denote the dual of I and let μ _S (?) represent the size of a minimal generating set. We investigate the inequality μ _S (I)μ _S (S ? I) ≥ μ _S (I + (S ? I)) under the assumption that S has multiplicity 8. We will show that if I is non-principal, then the strict inequality μ _S (I)μ _S (S ? I) > μ _S (I + (S ? I)) always holds.     

Chains of Rings with Local Formal Fibers

Let (T, M) be a complete local domain containing the integers. Let p ₁ ? p ₂ ? ··· ? p _n be a chain of nonmaximal prime ideals of T such that T _{p n} is a regular local ring. We construct a chain of excellent local domains A _n  ? A _n?1 ? ··· ? A ₁ such that for each 1 ≤ i ≤ n, the completion of A _i is T, the generic formal fiber of A _i is local with maximal ideal p _i , and if I is a nonzero ideal of A _i then A _i /I is complete. We then show that if Q is a nonmaximal prime ideal of T and 1 ≤ h = ht _T Q, then there is a chain of excellent local domains B ₀ ? B ₁ ? ··· ? B _h  ? T such that for every i = 0, 1, 2,…, h we have ht(Q ∩ B _i ) = i, the completion of B _i is isomorphic to T[[X ₁, X ₂,…, X _i ]] where the X _j 's are indeterminants, and the formal fiber of Q ∩ B _i is local.     

Restriction of Tangent Bundle and Semistability

Let G be a simple linear algebraic group defined over ? and P ? G a maximal proper parabolic subgroup such that m: = dim _? G/P ≥ 5. Let ι: Z ₁ ∩ Z ₂?G/P be a smooth complete intersection such that degree(Z _i ) ≥ (m ? 1)·index(G/P)/m, i = 1, 2. Then the vector bundle ι*T(G/P) → Z ₁ ∩ Z ₂ is semistable.     

On Generalizations of Prime Ideals (II)

Let R be a commutative ring with identity. We say that a proper ideal P of R is (n ? 1, n)-weakly prime (n ≥ 2) if 0 ≠ a ₁…a _n  ∈ P implies a ₁…a _i?1 a _i+1…a _n  ∈ P for some i ∈ {1,…, n}, where a ₁,…, a _n  ∈ R. In this article, we study (n ? 1, n)-weakly prime ideals. A number of results concerning (n ? 1, n)-weakly prime ideals and examples of (n ? 1, n)-weakly prime ideals are given. Rings with the property that for a positive integer n such that 2 ≤ n ≤ 5, every proper ideal is (n ? 1, n)-weakly prime are characterized. Moreover, it is shown that in some rings, nonzero (n ? 1, n)-weakly prime ideals and (n ? 1, n)-prime ideals coincide.     

Characterization of Multidimensional Stable Random Measures by Means of Vector Measures

Abstract

In connection with a symmetric α stable random measure Φ on a measurable space (F, ?) with values in R ^d , a complete metric space of symmetric finite measures on S _d?1 is constructed, and is employed to characterize the law of Φ by a unique positive measure on ? and a unique function on F × R ^d . The stochastic integral ∫ _F f d Φ is also defined for certain d × d matrix valued functions f, which for α = 2 reduces to the Wiener–Masani integral.