We extend Haran’s Diamond Theorem to closed subgroups of a finitely generated free profinite group. This gives an affirmative answer to Problem 25.4.9 in [FrJ].

In this paper we establish a characterization of abelian compact Hausdorff semigroups with unique idempotent and ideal retraction property. We also introduce a function algebra on a semitopological semigroup whose associated semigroup compactification is universal withrespect to these properties.

Using duality theory, we give necessary and sufficient conditions for the MacNeille, canonical, and profinite completions of distributive lattices, Heyting algebras, and Boolean algebras to be isomorphic.

The rank of a commutative cancellative semigroup S is the cardinality of a maximal independent subset of S. Commutative cancellative semigroups of finite rank are subarchimedean and thus admit a Tamura-like representation. We characterize these semigroups in several ways and provide structure theorems in terms of a construction akin to the one devised by T. Tamura for N-semigroups.

We derive the actions for type II Green-Schwarz strings up to second order in the fermions, for general bosonic backgrounds. We base our work on the so-called normal coordinate expansion. The resulting actions are κ-symmetric and, for the case of surviving background supersymmetries, supersymmetric. We first obtain the type IIa superstring action from the 11D supermembrane by double dimensional...

let s be a locally compact topological foundation semigroup with identity and ma(s) be its semigroup algebra. in this paper, we give necessary and sufficient conditions to have abounded approximate identity in closed codimension one ideals of the semigroup algebra $m_a(s)$ of a locally compact topological foundationsemigroup with identity.

We describe the structure of 0-simple countably compact topological inverse semigroups and the structure of congruence-free countably compact topological inverse semigroups. We follow the terminology of [3, 4, 8]. In this paper all topological spaces are Hausdorff. If S is a semigroup then we denote the subset of idempotents of S by E(S). A topological space S that is algebraically a semigroup ...