fixed Semigroup syntax for blog post.
added Semigroup object