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.     

On Jordan’s theorem

In the present paper, we give some remarks on the well-known Jordan theorem and Hamiltonians.     

Funayama’s theorem revisited

Funayama’s theorem states that there is an embedding e of a lattice L into a complete Boolean algebra B such that e preserves all existing joins and meets in L iff L satisfies the join infinite distributive law (JID) and the meet infinite distributive law (MID). More generally, there is a lattice embedding e: L → B preserving all existing joins in L iff L satisfies (JID), and there is a lattice embedding e: L → B preserving all existing meets in L iff L satisfies (MID). Funayama’s original proof is quite involved. There are two more accessible proofs in case L is complete. One was given by Grätzer by means of free Boolean extensions and MacNeille completions, and the other by Johnstone by means of nuclei and Booleanization. We show that Grätzer’s proof has an obvious generalization to the non-complete case, and that in the complete case the complete Boolean algebras produced by Grätzer and Johnstone are isomorphic. We prove that in the non-complete case, the class of lattices satisfying (JID) properly contains the class of Heyting algebras, and we characterize lattices satisfying (JID) and (MID) by means of their Priestley duals. Utilizing duality theory, we give alternative proofs of Funayama’s theorem and of the isomorphism between the complete Boolean algebras produced by Grätzer and Johnstone. We also show that unlike Grätzer’s proof, there is no obvious way to generalize Johnstone’s proof to the non-complete case.     

Extending Kotzig’s theorem

The weight of a graphG is the minimum sum of the two degrees of the end points of edges ofG. Kotzig proved that every graph triangulating the sphere has weight at most 13, and Grünbaum and Shephard proved that every graph triangulating the torus has weight at most 15. We extend these results for graphs, multigraphs and pseudographs “triangulating” the sphere withg handlesS _g ,g≧1, showing that the corresponding weights are at most about and 24g−9, respectively; if a (multi, pseudo) graph triangulatesS _g and it is big enough, then its weight is at most 15.     

Connected Baranyai’s theorem

Let K _n ^h = (V, ( _h ^V )) be the complete h-uniform hypergraph on vertex set V with ¦V¦ = n. Baranyai showed that K _n ^h can be expressed as the union of edge-disjoint r-regular factors if and only if h divides rn and r divides \((_{h - 1}^{n - 1} )\) . Using a new proof technique, in this paper we prove that λK _n ^h can be expressed as the union \(\mathcal{G}_1 \cup ... \cup \mathcal{G}_k \) of k edge-disjoint factors, where for 1≤i≤k, \(\mathcal{G}_i \) is r _i -regular, if and only if (i) h divides r _i n for 1≤i≤k, and (ii) \(\sum\nolimits_{i = 1}^k {r_i = \lambda (_{h - 1}^{n - 1} )} \) . Moreover, for any i (1≤i≤k) for which r _i ≥2, this new technique allows us to guarantee that \(\mathcal{G}_i \) is connected, generalizing Baranyai’s theorem, and answering a question by Katona.     

Rosenberg’s reconstruction theorem

Alexander L. Rosenberg has constructed a spectrum for abelian categories which is able to reconstruct a quasi-separated scheme from its category of quasi-coherent sheaves. In this note we present a detailed proof of this result which is due to Ofer Gabber. Moreover, we determine the automorphism class group of the category of quasi-coherent sheaves.     

On Litoff’s theorem

We give a short proof of Litoff’s theorem from the viewpoint of completely reducible modules.     

Monotonic core solutions: beyond Young’s theorem

Young’s theorem implies that every core concept violates monotonicity. In this paper, we investigate when such a violation of monotonicity by a given core concept is justified. We introduce a new monotonicity property for core concepts. We pose several open questions for this new property. The open questions arise because the most important core concepts (the nucleolus and the per capita nucleolus) do not satisfy the property even in the class of convex games.     

On Bohl’s argument theorem

The classical Bohl argument theorem of a conditionally periodic function is generalized. Conditionally periodic motions on a torus are replaced by the solutions of a nonlinear system of differential equations with invariant measure. Cases in which this system is assumed ergodic or strictly ergodic are considered.