Abstract:If $\mathcal{C}$ is a category of algebras closed under finite direct products, and $M_\mathcal{C}$ the commutative monoid of isomorphism classes of members of $\mathcal{C},$ with operation induced by direct product, A.Tarski defines a nonidentity element $p$ of $M_\mathcal{C}$ to be prime if, whenever it divides a product of two elements in that monoid, it divides one of them, and calls an object of $\mathcal{C}$ prime if its isomorphism class has this property. McKenzie, McNulty and Taylor ask whether the category of nonempty semigroups has any prime objects. We show in section 2 that it does not. However, for the category of monoids, and some other subcategories of semigroups, we obtain examples of prime objects in sections 3-5 In section 6, two related questions open so far as I know, are recalled. In section 7, which can be read independently of the rest of this note, we recall two related conditions that are called primeness by semigroup theorists, and obtain results and examples on the relationships among those two conditions and Tarski's, in categories of groups. Section 8 notes an interesting characterization of one of those conditions when applied to finite algebras in an arbitrary variety. Various questions are raised.

Decomposition of groups and Top couples

Ideal Topology on Effect Algebras

On structure of topological metagroups

Topology and monoid representations I: Foundations

Relative Topological Principality and the Ideal Intersection Property for Groupoid C*-Algebras

On semigroups that are prime in the sense of Tarski, and groups prime in the senses of Tarski and of Rhodes

Categorically Proper Homomorphisms of Topological Groups.

Products of abstract polytopes

Topologies for the free monoid

Generic properties of topological groups

Quotient of Topological Ternary Semigroup

Some Progresses on the Category of Topological Groups

Topological Quantum Groups, Star Products and their relations

Topologies on split Kac-Moody groups over valued fields

Coarse structures on locally compact abelian groups

On the Geometry and Topology of Discrete Groups: An Overview

On Subgroup Topologies on Fundamental Groups

Continuity of operations in right semitopological groups

Topological properties of some classes of submodules

Topology and monoid representations II: left regular bands of groups and Hsiao's monoid of ordered $G$-partitions