Is there such a thing? I wonder because I'm looking at semigroup structures and was wondering if there is such a notion as a Lie Semigroup, or rather .
I guess a more pointed question is whyWhy is a Lie group wanted instead of a semigroup, what does the group structure give? References on this would be much appreciated.
I'm currently pondering manifolds and lie groups and their associations with certain computer vision problems. Semigroups or other algebraic objects may be an interesting idea to study in this venture and I wanted to know whether or not a Lie Semigroup is a structure that makes sense to study.