Extensions of Semigroups and Morphisms of Semigroup \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$ C^{*} $\end{document}-Algebras

The paper is devoted to the normal extensions of discrete semigroups and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$ * $\end{document}-homomorphisms of semigroup \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$ C^{*} $\end{document}-algebras. We study the normal extensions of abelian semigroups by arbitrary groups. Considering numerical semigroups, we prove that they are normal extensions of the semigroup of nonnegative integers by finite cyclic groups. On the other hand, we prove that if a semigroup is a normal extension of the semigroup of nonnegative integers by a finite cyclic group generated by a single element then this semigroup is isomorphic to a numerical semigroup. As regard a normal extension with a generating set, we consider two reduced semigroup \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$ C^{*} $\end{document}-algebras defined by this extension. We show that there exists an embedding of the semigroup \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$ C^{*} $\end{document}-algebras which is generated by an injective homomorphism of the semigroups and the natural isometric representations of these semigroups.