Boolean subsets of semigroups

Summary IfS→2 ^X is a surjective semigroup homomorphism, then the ultrafilters onX correspond biunivocally to the minimal prime ideals to the kernel. Some examples are given.

---

Riassunto SeS→2 ^X è un omormorfismo surgettivo di semigruppi, allora gli ultrafiltri suX corrispondono biunivocamente agli ideali primi minimali del nucleo. Vengono dati degli esempi.

     

On the immersion of topological semigroups in topological groups

The Ore sufficient condition for imbedding of a semigroup in a group is extended to the case of topological semigroups. Imbedding conditions for a locally compact topological semigroup in a locally bicompact topological group are studied.Translated from Matematicheskie Zametki, Vol. 6, No. 4, October, 1969, pp. 401–409.     

Chaotic actions of topological semigroups

In this paper we propose and explore a general notion of chaos in the abstract context of continuous actions of topological semigroups and show that any chaotic action on a Hausdorff uniform space is sensitive to initial conditions.     

Metrizability of Clifford topological semigroups

We prove that a countably compact Clifford topological semigroup S is metrizable if and only if the set E={e∈S:ee=e} of idempotents of S is a metrizable G _δ -set in S.     

Zero-divisor graphs of nilpotent-free semigroups

We find strong relationships between the zero-divisor graphs of apparently disparate kinds of nilpotent-free semigroups by introducing the notion of an Armendariz map between such semigroups, which preserves many graph-theoretic invariants. We use it to give relationships between the zero-divisor graph of a ring, a polynomial ring, and the annihilating-ideal graph. Then we give relationships between the zero-divisor graphs of certain topological spaces (so-called pearled spaces), prime spectra, maximal spectra, tensor-product semigroups, and the semigroup of ideals under addition, obtaining surprisingly strong structure theorems relating ring-theoretic and topological properties to graph-theoretic invariants of the corresponding graphs.     

Undirected power graphs of semigroups

The undirected power graph G(S) of a semigroup S is an undirected graph whose vertex set is S and two vertices a,b∈S are adjacent if and only if a≠b and a ^m =b or b ^m =a for some positive integer m. In this paper we characterize the class of semigroups S for which G(S) is connected or complete. As a consequence we prove that G(G) is connected for any finite group G and G(G) is complete if and only if G is a cyclic group of order 1 or p ^m . Particular attention is given to the multiplicative semigroup ℤ _n and its subgroup U _n , where G(U _n ) is a major component of G(ℤ _n ). It is proved that G(U _n ) is complete if and only if n=1,2,4,p or 2p, where p is a Fermat prime. In general, we compute the number of edges of G(G) for a finite group G and apply this result to determine the values of n for which G(U _n ) is planar. Finally we show that for any cyclic group of order greater than or equal to 3, G(G) is Hamiltonian and list some values of n for which G(U _n ) has no Hamiltonian cycle.     

Zero divisor graphs of semigroups

The zero divisor graph of a commutative semigroup with zero is a graph whose vertices are the nonzero zero divisors of the semigroup, with two distinct vertices joined by an edge in case their product in the semigroup is zero. We continue the study of this construction and its extension to a simplicial complex.     

Characterization of non-nilpotent topological interval semigroups

A remarkable subclass of linearly ordered semigroups, called interval semigroups, defined on connected and compact sets is studied. Particularly, a generalized notion of o-isomorphism, called weak o-embedding, of such semigroups into the real numbers with standard operations is given. A representation theorem for the weak o-embedding of topological Archimedean interval semigroups with no zero divisors is provided. Such characterization is shown to be the best one possible.     

Boolean planarity characterization of graphs

Although many criteria for testing the planarity of a graph have been found since the beginning of the thirties, this paper presents a new criterion described by Boolean technique which is proved in an independent way without any use of the criteria obtained before. This research was supported by the U.S. National Science Foundation under Grant Number ECS 85 03212 and by the National Natural Science Foundation of China as well. And, the author is greatly indebted to Professor Peter L. Hammer for many helpful discussions, suggestions, and comments.     

Commuting graphs of boundedly generated semigroups

Araújo, Kinyon and Konieczny (2011) pose several problems concerning the construction of arbitrary commuting graphs of semigroups.We observe that every star-free graph is the commuting graph of some semigroup. Consequently, we suggest modifications for some of the original problems, generalized to the context of families of semigroups with a bounded number of generators, and pose related problems.We construct monomial semigroups with a bounded number of generators, whose commuting graphs have an arbitrary clique number. In contrast to that, we show that the diameter of the commuting graphs of semigroups in a wider class (containing the class of nilpotent semigroups), is bounded by the minimal number of generators plus two.We also address a problem concerning knit degree.     

Generalized Cayley graphs of semigroups II

Following Zhu (Semigroup Forum, 2011, doi:), we study generalized Cayley graphs of semigroups. The Cayley D-saturated property, a particular combinatorial property, of generalized Cayley graphs of semigroups is considered and most of the results in Kelarev and Quinn (Semigroup Forum 66:89–96, 2003), Yang and Gao (Semigroup Forum 80:174–180, 2010) are extended. In addition, for some basic graphs and their complete fission graphs, we describe all semigroups whose universal Cayley graphs are isomorphic to these graphs.     

Generalized Cayley graphs of semigroups I

We introduce the concept of generalized Cayley graphs of semigroups and discuss their fundamental properties, and then study a special case, the universal Cayley graphs of semigroups so that some general results are given and the universal Cayley graph of a -partial order of complete graphs with loops is described.