Engel’s Theorem for Generalized Lie Algebras

We prove analogues of the classical Engel’s Theorem for Lie algebras in the category of comodules over a cotriangular Hopf algebra, generalizing the known result for Lie coloralgebras.     

Blackwell’s theorem for fuzzy variables

Recently, Zhao et al. (Euro J Oper Res 169:189–201, 2006) discussed a random fuzzy renewal process based on the random fuzzy theory and established Blackwell’s theorem in random fuzzy sense. They obtained Blackwell’s theorem for fuzzy variables by degenerating the process. However, this result is invalid. We provide some counterexamples and offer a corrected version of fuzzy Blackwell’s theorem.     

Moufang’s theorem for non-Moufang loops

We introduce a class of non-Moufang loops satisfying Moufang’s theorem.     

Menger’s theorem for infinite graphs

We prove that Menger’s theorem is valid for infinite graphs, in the following strong version: let A and B be two sets of vertices in a possibly infinite digraph. Then there exist a set of disjoint A–B paths, and a set S of vertices separating A from B, such that S consists of a choice of precisely one vertex from each path in . This settles an old conjecture of Erdős.     

Siegel’s theorem for Drinfeld modules

We prove a Siegel type statement for finitely generated -submodules of under the action of a Drinfeld module . This provides a positive answer to a question we asked in a previous paper. We also prove an analog for Drinfeld modules of a theorem of Silverman for nonconstant rational maps of over a number field.     

Ando’s theorem for nonnegative forms

In this paper, we present a generalization of Ando??s theorem for nonnegative forms. He proved that the infimum of two positive operators A and B exists in the positive cone if and only if the generalized shorts [B]A and [A]B are comparable (see Ando et?al. in Problem of infimum in the positive cone, analytic and geometric inequalities and applications, Math. Appl. 478, pp 1?C12, 1999). That is, [A]B??? [B]A or [B]A??? [A]B. Using the concept of the parallel sum of nonnegative forms, Hassi, Sebestyén and de Snoo investigated the decomposability of a nonnegative form ${\mathfrak{t}}$ into an almost dominated and a singular part with respect to a nonnegative form ${\mathfrak{w}}$ (see Hassi et?al. in J. Funct. Anal. 257(12), 3858?C3894, 2009). Applying their results, we formulate a necessary and sufficient condition for the existence of the infimum of two nonnegative forms.     

Clifford’s theorem for coherent systems

Let C be an algebraic curve of genus g ≥ 2. We prove an analogue of Clifford’s theorem for coherent systems on C and some refinements using results of Re and Mercat. Received: 27 July 2007     

Alperin’s fusion theorem for localities

In these notes we give a version of the Alperin–Goldschmidt fusion theorem for localities.     

Naishul’s theorem for fibered holomorphic maps

We show that the fibered rotation number associated to an indifferent invariant curve for a fibered holomorphic map is a topological invariant.     

Beurling’s analyticity theorem for quantum differences

A theorem of Beurling states that if f satisfies , n = 1, 2,..., for some 0 < ρ < 2, on a real interval I, then f is analytic in a rhombus containing I. We study the corresponding problem for the quantum differences Δ _n f (q, x), q > 1, n = 1, 2,..., for functions defined on (0, ∞) and prove quantitative and qualitative analogues of Beurling’s result. We also characterize the analyticity of f on subintervals of (0, ∞) in q-analytic terms.     

On Yau’s theorem for effective orbifolds

In 1978 Yau (Yau, 1978) confirmed a conjecture due to Calabi (1954) stating the existence of Kähler metrics with prescribed Ricci forms on compact Kähler manifolds. A version of this statement for effective orbifolds can be found in the literature (Joyce, 2000; Boyer and Galicki, 2008; Demailly and Kollár, 2001). In this expository article, we provide details for a proof of this orbifold version of the statement by adapting Yau’s original continuity method to the setting of effective orbifolds in order to solve a Monge–Ampère equation. We then outline how to obtain Kähler–Einstein metrics on orbifolds with negative first Chern class by solving a slightly different Monge–Ampère equation. We conclude by listing some explicit examples of Calabi–Yau orbifolds, which consequently admit Ricci flat metrics by Yau’s theorem for effective orbifolds.     

Lazard’s theorem for S-pure flat modules

Let R be an associative ring with identity. For a given class 𝒮 of finitely presented left (respectively right) R-modules containing R, we present a complete characterization of 𝒮-pure injective modules and 𝒮-pure flat modules. Consider that 𝒮 is a class of (R,R)-bimodules containing R with the following property: every element of 𝒮 is a finitely presented left and right R-module. We give a necessary and sufficient condition for 𝒮 to have Lazard’s theorem, and then we present our desired Lazard’s theorem.     

Hechler’s theorem for the null ideal

We prove the following theorem: For a partially ordered set Q such that every countable subset of Q has a strict upper bound, there is a forcing notion satisfying the countable chain condition such that, in the forcing extension, there is a basis of the null ideal of the real line which is order-isomorphic to Q with respect to set-inclusion. This is a variation of Hechlers classical result in the theory of forcing. The corresponding theorem for the meager ideal was established by Bartoszyski and Kada.Research supported by NSERC. The first author thanks F.D. Tall and the Department of Mathematics at the University of Toronto for their hospitality during the academic year 2003/2004 when the present paper was completed.The second author was supported by Grant-in-Aid for Young Scientists (B) 14740058, MEXT.Mathematics Subject Classification (2000): 03E35, 03E17Revised version: 16 February 2004     

Dugundji’s theorem for cone metric spaces

In this work, we will prove the Dugundji extension theorem for the cone metric space. It is heavily reliant on the paracompactness of the cone topology that is proved by Ayse Sönmez in the paper Sönmez (2010) [11].     

Shcherbina’s theorem for finely holomorphic functions

We prove an analogue of Sadullaev’s theorem concerning the size of the set where a maximal totally real manifold M can meet a pluripolar set. M has to be of class C ¹ only. This readily leads to a version of Shcherbina’s theorem for C ¹ functions f that are defined in a neighborhood of certain compact sets ${K\subset\mathbb{C}}We prove an analogue of Sadullaev’s theorem concerning the size of the set where a maximal totally real manifold M can meet a pluripolar set. M has to be of class C ¹ only. This readily leads to a version of Shcherbina’s theorem for C ¹ functions f that are defined in a neighborhood of certain compact sets K ì \mathbbC{K\subset\mathbb{C}}. If the graph Γ _f (K) is pluripolar, then \frac?f?[`(z)]=0{\frac{\partial f}{\partial\bar z}=0} in the closure of the fine interior of K.     

Berkson’s theorem

We give a new proof of the theorem that Amitsur’s complex for purely inseparable field extensions has vanishing homology in dimensions higher than 2. This is accomplished by computing the kernel and cokernel of the logarithmic derivativet →Dt/t mapping the multiplicative Amitsur complex to the acyclic additive one (D is a derivation of the extension field). This research was supported by National Science Foundation grant NSF GP 1649.     

Sch’nol’s theorem for strongly local forms

We prove a variant of Sch’nol’s theorem in a general setting: for generators of strongly local Dirichlet forms perturbed by measures. As an application, we discuss quantum graphs with δ- or Kirchhoff boundary conditions.     

Trivial module for ortho-symplectic Lie superalgebras and Littlewood’s formula

We show that the denominator identity for ortho-symplectic Lie superalgebras osp(k|2n) is equivalent to the Littlewood’s formula. Such an equivalence also implies the relation between the trivial module and generalized Verma modules for osp(k|2n). Furthermore, we discuss the harmonic representative elements of the Kostant’s u-cohomology with trivial coefficients.