The smallest ideal of βS is not closed

Let S be an infinite discrete semigroup which can be embedded algebraically into a compact topological group and let βS be the Stone–Čech compactification of S. We show that the smallest ideal of βS is not closed.     

Maximal groups in βS can be trivial

We show that it is consistent that if S is the free semigroup or free group on countably many generators, there exist idempotents in βS whose maximal group is a singleton. The same conclusion holds if S is the semigroup of finite subsets of ω under the operation of union.     

A selection of open problems

This is a collection of open problems which touch on Neil Hindman's mathematics and were collected in conjunction with the Conference on Ramsey Theory and Topological Algebra in his honor.     

Continuous mappings on subspaces of products with the κ-box topology

Much of General Topology addresses this issue: Given a function fC(Y,Z) with YY^′ and ZZ^′, find , or at least , such that ; sometimes Z=Z^′ is demanded. In this spirit the authors prove several quite general theorems in the context Y^′=(X_I)_κ=∏_iIX_i in the κ-box topology (that is, with basic open sets of the form ∏_iIU_i with U_i open in X_i and with U_i≠X_i for <κ-many iI). A representative sample result, extending to the κ-box topology some results of Comfort and Negrepontis, of Noble and Ulmer, and of Hušek, is this. Theorem Let ωκα (that means: κ<α, and [β<α and λ<κ]β^λ<α) with α regular, be a set of non-empty spaces with each d(X_i)<α, π[Y]=X_J for each non-empty JI such that |J|<α, and the diagonal in Z be the intersection of <α-many regular-closed subsets of Z×Z. Then (a) Y is pseudo-(α,α)-compact, (b) for every fC(Y,Z) there is J[I]^<α such that f(x)=f(y) whenever x_J=y_J, and (c) every such f extends to .     

Partitions of groups into absolutely dense subsets

It is proved that any infinite Abelian group with finitely many elements of order two can be partitioned into two subsets that are dense in any nondiscrete group topology, and hence contain no cosets of infinite subgroups. Translated fromMatematicheskie Zametki, Vol. 67, No. 5, pp. 706–711, May, 2000.     

Solvable infinite-dimensional linear groups with restrictions on the nonabelian subgroups of infinite rank

Under study are the solvable nonabelian linear groups of infinite central dimension and sectional p-rank, p ≥ 0, in which all proper nonabelian subgroups of infinite sectional p-rank have finite central dimension. We describe the structure of the groups of this class.     

Involutory decomposition of a group and twisted subsets with few involutions

A subset K of some group C is called twisted if 1 ∈ K and x, y ∈ K implies that xy ^?1 x belongs to K. We use the concept of twisted subset to investigate and generalize the concept of involutory decomposition of a group. A group is said to admit involutory decomposition if it contains some involution such that the group is the product of the centralizer of the involution and the set of elements inverted by the involution. We study the twisted subsets with at most one involution. We prove that if a twisted subset has no involutions at all then it generates a subgroup of odd order.     

Center of some solvable groups with one defining relation

Necessary and sufficient conditions for the center of a metabelian group with one defining relation to be nontrivial are found. The center of such a group is described. The center of a group of the formF/Ng ^F is studied under certain conditions. By means of a new technique, the recent result of A. F. Krasnikov and the author on the center of a group of the above form is sharpened.Translated fromMatematickeskie Zametki, Vol. 64, No. 6, pp. 925–931, December, 1998.This research was supported by the Russian Foundation for Basic Research under grant No. 96-01-01948.     

Some complete metrics on spaces of fuzzy subsets

The classes of the L_p,∞- and L_p-metrics play an important role to develop a probability theory in fuzzy sample spaces. All of these metrics are known to be separable, but not complete. The classes are closely related as for each L_p,∞-metric there exists some L_p-metric which induces the same topology. This paper deals with the completion of the L_p,∞- and L_p-metrics. We can also show that the relationship between the classes of L_p,∞- and L_p-metrics still holds for the obtained respective classes of their completions.     

Homotopic invariance of infinite-dimensional homotopic groups of Hilbert space subsets

The paper discusses some equivalent ways of construction of infinite-dimensional homotopic groups of subsets and pairs of subsets in real Hilbert spaces. In the admissible class of K ₀-continuous mappings, the homotopic invariance of the mentioned groups and their isomorphism are demonstrated in the case where the basic points belong to the same component of K ₀-linear connectivity.     

Invariants of modular groups

For a faithful linear representation of a finite group G over a field of characteristic p, we study the ring of invariants. We especially study the polynomial and Cohen–Macaulay properties of the invariant ring. We first show that certain quotient rings of the invariant ring are polynomial rings by which we prove that the Hilbert ideal conjecture is true for a class of groups. In particular, we prove that the conjecture is true for vector invariant rings of Abelian reflection p-groups. Then we study the relationships between the invariant ring of G and that of a subgroup of G. Finally, we study the invariant rings of affine groups and show that, over a finite field, if an affine group contains all translations then the invariant ring is isomorphic to the invariant ring of a linear group.     

Properties of convergence for -Bernstein polynomials

In this paper, we discuss properties of the ω,q-Bernstein polynomials introduced by S. Lewanowicz and P. Woźny in [S. Lewanowicz, P. Woźny, Generalized Bernstein polynomials, BIT 44 (1) (2004) 63–78], where fC[0,1], ω,q>0, ω≠1,q⁻¹,…,q⁻ⁿ⁺¹. When ω=0, we recover the q-Bernstein polynomials introduced by [G.M. Phillips, Bernstein polynomials based on the q-integers, Ann. Numer. Math. 4 (1997) 511–518]; when q=1, we recover the classical Bernstein polynomials. We compute the second moment of , and demonstrate that if f is convex and ω,q(0,1) or (1,∞), then are monotonically decreasing in n for all x[0,1]. We prove that for ω(0,1), q_n(0,1], the sequence converges to f uniformly on [0,1] for each fC[0,1] if and only if lim_n→∞q_n=1. For fixed ω,q(0,1), we prove that the sequence converges for each fC[0,1] and obtain the estimates for the rate of convergence of by the modulus of continuity of f, and the estimates are sharp in the sense of order for Lipschitz continuous functions.     

Homotopy of ends and boundaries of CAT(0) groups

For n ≥ 0, we exhibit CAT(0) groups that are n-connected at infinity, and have boundary which is (n − 1)-connected, but this boundary has non-trivial nth-homotopy group. In particular, we construct 1-ended CAT(0) groups that are simply connected at infinity, but have a boundary with non-trivial fundamental group. Our base examples are 1-ended CAT(0) groups that have non-path connected boundaries. In particular, we show all parabolic semidirect products of the free group of rank 2 and have a non-path connected boundary.     

Best possible global bounds for Jensen’s inequality

In this article we found the form of best possible global upper bound for Jensen’s inequality. Thereby, previous results on this topic are essentially improved. We also give some applications in Analysis and Information Theory.     

Destructibility of stationary subsets of Pκλ

For a regular cardinal κ with κ ^<κ = κ and κ ≤ λ , we construct generically (forcing by a < κ‐closed κ ⁺‐c. c. p. o.‐set ℙ₀) a subset S of {x ∈ P _κ λ : x ∩ κ is a singular ordinal} such that S is stationary in a strong sense (F ^IA_κ λ ‐stationary in our terminology) but the stationarity of S can be destroyed by a κ ⁺‐c. c. forcing ℙ* (in V ^ℙ) which does not add any new element of P _κ λ . Actually ℙ* can be chosen so that ℙ* is κ‐strategically closed. However we show that such ℙ* itself cannot be κ‐strategically closed or even <κ‐strategically closed if κ is inaccessible. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

A Complete Formulation of the Baum–Connes Conjecture for the Action of Discrete Quantum Groups

We formulate a version of the Baum–Connes conjecture for a discrete quantum group, building on our earlier work. Given such a quantum group , we construct a directed family -algebras (F varying over some suitable index set), borrowing the ideas of Cuntz such that there is a natural action of satisfying the assumptions of Goswami and Kuku which makes it possible to define the analytical assembly map, say , i= 0, 1, as in our previous work, from the -equivariant K-homolgy groups of to the K-theory groups of the reduced dual (c.f. [9] and the references therein for more details). As a result, we can define the Baum–Connes maps , and in the classical case, i.e. when for a discrete group, the isomorphism of the above maps for i= 0, 1 is equivalent to the Baum–Connes conjecture. Furthermore, we verify its truth for an arbitrary finite-dimensional quantum group and obtain partial results for the dual of (2).     

The traces of Bessel potentials on regular subsets of Carnot groups

We prove the direct theorem on the traces of the Bessel potentials L _p ^α defined on a Carnot group, on the regular closed subsets called Ahlfors d-sets. The result is convertible for integer α, i.e., for the Sobolev spaces W _p ^α (the converse trace theorem was proven in [24]). This theorem generalizes A. Johnsson and H. Wallin’s results [13] for Sobolev functions and Bessel potentials on the Euclidean space.     

Notes on subtlety and ineffability in P κ λ

A type of subtlety for P_κλ called “strongly subtle” is introduced to show almost ineffability is consistencywise stronger than Shelah property. The following are also shown: is strongly subtle” has rather strong consequences. (ii) The ideal is not strongly subtle} is not λ-saturated , and completely ineffable ideal is not precipitous. (iii) In case that λ^<κ=2^λ, almost λ-ineffability coincides with λ-ineffability. (iv) It is not provable that κ is λ^<κ-ineffable whenever κ is λ-ineffable.Research partially supported by “Grant-in-Aid for Scientific research (C), The Ministry of Education, Science, Sports and Culture of Japan 09640299”, and “Japan Society for the Promotion of Science 14540142”.The author is very grateful to the referee for his correcting many errors and helpful suggestions.     

Connectedness extended to <Emphasis Type="Italic">σ</Emphasis>-frames

We introduce and study the concepts of connectedness and local connectedness in σ-frames. We also consider the local connectedness of the Stone-Čech compactification of a regular σ-frame.      

Weak -property in Σ-products

It is shown that each Σ-product of paracompact p-spaces has the weak -property.