Finitely generated varieties of distributive double <Emphasis Type="Italic">p</Emphasis>-algebras universal modulo a group

For any monoid M, any universal variety contains arbitrarily large algebras whose endomorphism monoid is isomorphic to M. A variety universal modulo a group G contains arbitrarily large algebras whose endomorphism monoid is isomorphic to the direct product M x G. One of the results of this paper structurally characterizes all finitely generated varieties of distributive double p-algebras universal modulo a group, and shows that any unavoidable direct factor G is a Boolean group with at most eight elements.     

Open maps,colimits, and a convenient category of fibre spaces

We show that pulling back along an open map preserves all colimits in the category of weak Hausdorff k-spaces. We also show that the category of open maps over a weak Hausdorff k-space is a convenient category of fibre spaces.     

On the arc component of a locally compact Abelian group

For a topological group G, we denote by G _a the arc component of the neutral element and by the character group of G, i.e. the group of all continuous homomorphisms from G into T. We prove the following theorem: Let G be a connected locally compact abelian group and let be the embedding. Then is a topological isomorphism. In particular, the character group of the arc component of a compact abelian group is discrete. Some conclusions will be drawn.     

CompactT 0-spaces andT 0-compactifications

This paper deals with compactifications, particularly withk-completions, ofT ₀-spaces.The concept ofk-complete spaces, wherek is a cardinal with 1k , provides a useful gradation of compactness. The compact spaces are precisely the -complete spaces. For smallerk one obtains more restrictive concepts. However, for Hausdorff spaces, these concepts coincide for allk2. For eachk, a space< /i > < sub > < i > k < /i > < /sub > is constructed such that the < i > k < /i > -complete < i > T < /i > < sub > 0 < /sub > -spaces are precisely the extension closed subspaces of powers of < i > _k is constructed such that thek-completeT ₀-spaces are precisely the extension closed subspaces of powers of _k . Fork2 the associated$ _k -compactificationsX X areC*-embeddings. More generally, for a finite spaceE, allE-compactificationsX _E X areC*-embeddings if and only if the Sikorski spaces$ ₂ is a quotient of some connected closed subspace ofE.     

On Vaught’s Conjecture and finitely valued MV algebras

We show that the complete first order theory of an MV algebra has $2^{\aleph _0}$ countable models unless the MV algebra is finitely valued. So, Vaught's Conjecture holds for all MV algebras except, possibly, for finitely valued ones. Additionally, we show that the complete theories of finitely valued MV algebras are $2^{\aleph _0}$ and that all ω‐categorical complete theories of MV algebras are finitely axiomatizable and decidable. As a final result we prove that the free algebra on countably many generators of any locally finite variety of MV algebras is ω‐categorical.     

Linear algorithms for testing the sign stability of a matrix and for findingZ-maximum matchings in acyclic graphs

Summary Ann×n real matrixA=(a _ij ) isstable if each eigenvalue has negative real part, andsign stable (orqualitatively stable) if each matrix B with the same sign-pattern asA is stable, regardless of the magnitudes ofB's entries. Sign stability is of special interest whenA is associated with certain models from ecology or economics in which the actual magnitudes of thea _ij may be very difficult to determine. Using a characterization due to Quirk and Ruppert, and to Jeffries, an efficient algorithm is developed for testing the sign stability ofA. Its time-and-space-complexity are both 0(n ²), and whenA is properly presented that is reduced to 0(max{n, number of nonzero entries ofA}). Part of the algorithm involves maximum matchings, and that subject is treated for its own sake in two final sections.     

Compact and Loeb Hausdorff spaces in \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\mathsf {ZF}$\end{document} and the axiom of choice for families of finite sets

Given a set X, $\mathsf {AC}^{\mathrm{fin}(X)}$ denotes the statement: “$[X]^{<\omega }\backslash \lbrace \varnothing \rbrace$ has a choice set” and $\mathcal {C}_\mathrm{R}\big (\mathbf {2}^{X}\big )$ denotes the family of all closed subsets of the topological space $\mathbf {2}^{X}$ whose definition depends on a finite subset of X. We study the interrelations between the statements $\mathsf {AC}^{\mathrm{fin}(X)},$ $\mathsf {AC}^{\mathrm{fin}([X]^{<\omega })},$ $\mathsf {AC}^{\mathrm{fin} (F_{n}(X,2))},$ $\mathsf {AC}^{\mathrm{fin}(\mathcal {\wp }(X))}$ and “$\mathcal {C}_\mathrm{R}\big (\mathbf {2}^{X}\big )\backslash \lbrace \varnothing \rbrace$has a choice set”. We show:

• (i) $\mathsf {AC}^{\mathrm{fin}(X)}$ iff $\mathsf {AC}^{\mathrm{fin}([X]^{<\omega } )}$ iff $\mathcal {C}_\mathrm{R}\big (\mathbf {2}^{X}\big )\backslash \lbrace \varnothing \rbrace$ has a choice set iff $\mathsf {AC}^{\mathrm{fin}(F_{n}(X,2))}$.
• (ii) $\mathsf {AC}_{\mathrm{fin}}$ ($\mathsf {AC}$ restricted to families of finite sets) iff for every set X, $\mathcal {C}_\mathrm{R}\big (\mathbf {2}^{X}\big )\backslash \lbrace \varnothing \rbrace$ has a choice set.
• (iii) $\mathsf {AC}_{\mathrm{fin}}$ does not imply “$\mathcal {K}\big (\mathbf {2}^{X}\big )\backslash \lbrace \varnothing \rbrace$ has a choice set($\mathcal {K}(\mathbf {X})$ is the family of all closed subsets of the space $\mathbf {X}$)
• (iv) $\mathcal {K}(\mathbf {2}^{X})\backslash \lbrace \varnothing \rbrace$ implies $\mathsf {AC}^{\mathrm{fin}(\mathcal {\wp }(X))}$ but $\mathsf {AC}^{\mathrm{fin}(X)}$ does not imply $\mathsf {AC}^{\mathrm{fin}(\mathcal {\wp }(X))}$.

We also show that “For every setX, “$\mathcal {K}\big (\mathbf {2}^{X}\big )\backslash \lbrace \varnothing \rbrace$has a choice set” iff “for every setX, $\mathcal {K}\big (\mathbf {[0,1]}^{X}\big )\backslash \lbrace \varnothing \rbrace$has a choice set” iff “for every product$\mathbf {X}$of finite discrete spaces,$\mathcal {K}(\mathbf {X})\backslash \lbrace \varnothing \rbrace$ has a choice set”.     

Leading term at infinity of steady Navier‐Stokes flow around a rotating obstacle

Consider a viscous incompressible flow around a body in $\mathbb R^3$ rotating with constant angular velocity ω. Using a coordinate system attached to the body, the problem is reduced to a modified Navier‐Stokes system in a fixed exterior domain. This paper addresses the question of the asymptotic behavior of stationary solutions to the new system as |x| → ∞. Under a suitable smallness assumption on the velocity field, u, and the net force on the boundary, N, we prove that the leading term of u is the so‐called Landau solution U, a singular solution of the stationary Navier‐Stokes system in $\mathbb R^3$ with external force kωδ₀ and decaying as 1/|x|; here $k\in \mathbb R$ is a suitable constant determined by N and δ₀ is the Dirac measure supported in the origin.     

Universally catenarian and going-down pairs of rings

For a ring extension is called a universally catenarian pair if every domain , is universally catenarian. When R is a field it is shown that the only universally catenarian pairs are those satisfying . For several satisfactory results are given. The second purpose of this paper is to study going-down pairs (Definition 5.1). We characterize these pairs of rings and we establish a relationship between universally catenarian, going-down and residually algebraic pairs. Received: 1 July 1999; in final form: 5 June 2000 / Published online: 17 May 2001     

The toric ideal of a graphic matroid is generated by quadrics

Describing minimal generating sets of toric ideals is a well-studied and difficult problem. Neil White conjectured in 1980 that the toric ideal associated to a matroid is generated by quadrics corresponding to single element symmetric exchanges. We give a combinatorial proof of White’s conjecture for graphic matroids.     

On collisionless transport semigroups with boundary operators of norm one

We deal with streaming operators T _H defined in L ¹ spaces by the directional derivative with positive boundary operator H of norm 1 relating the incoming and outgoing fluxes. It is known that T _H need not be a generator but there exists a contraction semigroup generated by an extension A of T _H . This paper deals with the total mass carried by individual trajectories {e ^tA f; t ≥ 0} for nonnegative initial data f and related topics. In particular, our analysis covers the problem of (the lack of) stochasticity of {e ^tA ; t ≥ 0} for conservative boundary operator H.      

The geometry of the bundle of connections

A generalized symplectic structure on the bundle of connections of an arbitrary principal G-bundle is defined by means of a -valued differential 2-form on C(P), which is related to the generalized contact structure on . The Hamiltonian properties of are also analyzed. Received August 31, 1999; in final form January 4, 2000 / Published online February 5, 2001     

The Existence and Construction of (K5∖e)‐Designs of Orders 27, 135, 162, and 216

The problem of the existence of a decomposition of the complete graph into disjoint copies of has been solved for all admissible orders n, except for 27, 36, 54, 64, 72, 81, 90, 135, 144, 162, 216, and 234. In this paper, I eliminate 4 of these 12 unresolved orders. Let Γ be a ‐design. I show that divides 2^k3 for some and that . I construct ‐designs by prescribing as an automorphism group, and show that up to isomorphism there are exactly 24 ‐designs with as an automorphism group. Moreover, I show that the full automorphism group of each of these designs is indeed . Finally, the existence of ‐designs of orders 135, 162, and 216 follows immediately by the recursive constructions given by G. Ge and A. C. H. Ling, SIAM J Discrete Math 21(4) (2007), 851–864.     

The Circular Flow Number of a 6-Edge Connected Graph is Less Than Four

We show that every 6-edge connected graph admits a circulation whose range lies in the interval [1,3). Received March 29, 2000 RID="*" ID="*" Supported by NATO-CNR Fellowship; this work was done while the author was visiting the Dept. of Mathematics and Statistics at Simon Fraser University, Canada. RID="†" ID="†" Supported by a National Sciences and Engineering Research Council Research Grant     

Approximate real inversion formulas of the gaussian convolution

We shall give very and surprisingly simple approximate real inversion formulas of the Gaussian convolution (the Weierstrass transform) for the first-order Sobolev Hilbert space on the whole real line by using best approximations and the theory of reproducing kernels and by using a good connection with the Tikhonov regularization.     

On the bidual of quasinormable Fréchet algebras

It is known that the bidual of a quasinormable Fréchet space E with local Banach spaces $(E_n)_{n\in {\mathbb N}}$ is topologically isomorphic to the inverse limit of $\big (E_n^{\prime \prime }\big )_{n\in {\mathbb N}}$. With the aid of the Arens product and by homological means, we prove that the previous result is equally valid for quasinormable Fréchet m‐convex algebras. This allows showing that the bidual of a σ‐C*‐algebra equipped with the Arens product is a σ‐C*‐algebra and presenting a new direct proof of a result on acyclic spectra due to Palamodov.     

Nonsmooth analysis of eigenvalues

Received October 28, 1996 / Revised version received January 28, 1998 Published online October 9, 1998