Hilbert’s irreducibility theorem for prime degree and general polynomials

Letf (X, t)εℚ[X, t] be an irreducible polynomial. Hilbert’s irreducibility theorem asserts that there are infinitely manyt ₀εℤ such thatf (X, t ₀) is still irreducible. We say thatf (X, t) isgeneral if the Galois group off (X, t) over ℚ(t) is the symmetric group in its natural action. We show that if the degree off with respect toX is a prime ≠ 5 or iff is general of degree ≠ 5, thenf (X, t ₀) is irreducible for all but finitely manyt ₀εℤ unless the curve given byf (X, t)=0 has infinitely many points (x ₀,t ₀) withx ₀εℚ,t ₀εℤ. The proof makes use of Siegel’s theorem about integral points on algebraic curves, and classical results about finite groups, going back to Burnside, Schur, Wielandt, and others. Supported by the DFG.     

A proof of dilworth’s decomposition theorem for partially ordered sets

A short proof of the following theorem is given: LetP be a finite partially ordered set. If the maximal number of elements in an independent subset ofP isk, thenP is the union ofk chains.     

Bergeʼs maximum theorem for noncompact image sets

This note generalizes Berge?s maximum theorem to noncompact image sets. It also clarifies the results from Feinberg, Kasyanov and Zadoianchuk (2013) [7] on the extension to noncompact image sets of another Berge?s theorem, that states semi-continuity of value functions. Here we explain that the notion of a K$\mathbb{K}$-inf-compact function introduced there is applicable to metrizable topological spaces and to more general compactly generated topological spaces. For Hausdorff topological spaces we introduce the notion of a KN$\mathbb{K}\mathbb{N}$-inf-compact function (N$\mathbb{N}$ stands for “nets” in K$\mathbb{K}$-inf-compactness), which coincides with K$\mathbb{K}$-inf-compactness for compactly generated and, in particular, for metrizable topological spaces.     

Engel’s theorem for malcev superalgebras

A version of Engel’s theorem for Malcev superalgebras is proved in the spirit of theJacobson-Engel theorem for Lie algebras. Some consequences for the structure of Malcev superalgebras with trivial Lie nucleus are derived.     

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.     

Moufang’s theorem for non-Moufang loops

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

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.     

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.     

Alperin’s fusion theorem for localities

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

On Stanley’s inequalities for character multiplicities

Let G be a group of automorphisms of a ranked poset \({{\mathcal Q}}\) and let N _k denote the number of orbits on the elements of rank k in \({{\mathcal Q}}\). What can be said about the N _k for standard posets, such as finite projective spaces or the Boolean lattice? We discuss the connection of this question to the representation theory of the group, and in particular to the inequalities of Livingstone-Wagner and Stanley. We show that these are special cases of more general inequalities which depend on the prime divisors of the group order. The new inequalities often yield stronger bounds depending on the order of the group.     

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.     

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.     

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.     

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.     

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].     

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     

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.