We construct a completely regular ordered space (X, T ,≤) such that X is an I-space, the topology T of X is metrizable and the bitopological space (X, T ♯,T ♭) is pairwise regular, but not pairwise completely regular. (Here T ♯ denotes the upper topology and T ♭ the lower topology of X.)

The free product CR S i of an arbitrary family of disjoint completely simple semigroups fS i g i2I , within the variety CR of completely regular semigroups, is described by means of a theorem generalizing that of Ka dourek and Poll ak for free completely regular semigroups. A notable consequence of the description is that all maximal subgroups of CR S i are free, except for those in the factors...

In this paper from q-ary perfect codes new completely regular q-ary codes are constructed. In particular, two new ternary completely regular codes are obtained from ternary Golay [11, 6, 5] code. The first [11, 5, 6] code with covering radius ρ = 4 coincides with the dual Golay code and its intersection array is (22, 20, 18, 2, 1; 1, 2, 9, 20, 22) . The second [10, 5, 5] code, with covering rad...

Completely regular semigroups CR are regarded here as algebras with multiplication and the unary operation of inversion. Their lattice of varieties is denoted by L.CR/. Let B denote the variety of bands and L.B/ the lattice of its subvarieties. The mapping V → V ∩ B is a complete homomorphism of L.CR/ onto L.B/. The congruence induced by it has classes that are intervals, say VB = [VB ;V B] for...

We classify binary completely regular codes of length m with minimum distance δ for (m, δ) = (12, 6) and (11, 5). We prove that such codes are unique up to equivalence, and in particular, are equivalent to certain Hadamard codes. We prove that the automorphism groups of these Hadamard codes, modulo the kernel of a particular action, are isomorphic to certain Mathieu groups, from which we prove ...

Let X,Y be realcompact spaces or completely regular spaces consisting of Gδ-points. Let φ be a linear bijective map from C(X) (resp. C(X)) onto C(Y ) (resp. C(Y )). We show that if φ preserves nonvanishing functions, that is, f(x) 6= 0,∀x ∈ X, ⇐⇒ φ(f)(y) 6= 0,∀ y ∈ Y, then φ is a weighted composition operator φ(f) = φ(1) · f ◦ τ, arising from a homeomorphism τ : Y → X. This result is applied al...