A complete rewrite system and normal forms for (S)_reg

Details A complete rewrite system and normal forms for (S)_reg A complete rewrite system and normal forms for (S)_reg

2001-12-20

arxiv.org/abs/math/0112229v1

Mathematics

Group Theory

Scientific paper

The (.)_reg construction was introduced in order to make an arbitrary semigroup S divide a regular semigroup (S)_reg which shares some important properties with S (e.g., finiteness, subgroups, torsion bounds, J-order structure). We show that (S)_reg can be described by a rather simple complete string rewrite system, as a consequence of which we obtain a new proof of the normal form theorem for (S)_reg. The new proof of the normal form theorem is conceptually simpler than the previous proofs.

Affiliated with

Also associated with

No associations

Rating

A complete rewrite system and normal forms for (S)_reg does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A complete rewrite system and normal forms for (S)_reg, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A complete rewrite system and normal forms for (S)_reg will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-314913