1: \begin{abstract}

2: Let $\ast $ be a star operation of finite character. Call a $\ast $-ideal $I$

3: of finite type a $\ast $-homogeneous ideal if $I$ is contained in a unique

4: maximal $\ast $-ideal $M=M(I).$ A maximal $\ast $-ideal that contains a $%

5: \ast $-homogeneous ideal is called potent and the same name bears a domain

6: all of whose maximal $\ast $-ideals are potent. One among the various aims

7: of this article is to indicate what makes a $\ast $-ideal of finite type a $%

8: \ast $-homogeneous ideal, where and how we can find one, what they can do

9: and how this notion came to be. We also prove some results of current

10: interest in ring theory using some ideas from this author's joint work in 

11: \cite{LYZ 2014} on partially ordered monoids. We characterize when a

12: commutative Riesz monoid generates a Riesz group.

13: \end{abstract}