483 research outputs found
String rewriting for Double Coset Systems
In this paper we show how string rewriting methods can be applied to give a
new method of computing double cosets. Previous methods for double cosets were
enumerative and thus restricted to finite examples. Our rewriting methods do
not suffer this restriction and we present some examples of infinite double
coset systems which can now easily be solved using our approach. Even when both
enumerative and rewriting techniques are present, our rewriting methods will be
competitive because they i) do not require the preliminary calculation of
cosets; and ii) as with single coset problems, there are many examples for
which rewriting is more effective than enumeration.
Automata provide the means for identifying expressions for normal forms in
infinite situations and we show how they may be constructed in this setting.
Further, related results on logged string rewriting for monoid presentations
are exploited to show how witnesses for the computations can be provided and
how information about the subgroups and the relations between them can be
extracted. Finally, we discuss how the double coset problem is a special case
of the problem of computing induced actions of categories which demonstrates
that our rewriting methods are applicable to a much wider class of problems
than just the double coset problem.Comment: accepted for publication by the Journal of Symbolic Computatio
Homotopy bases and finite derivation type for Schutzenberger groups of monoids
Given a finitely presented monoid and a homotopy base for the monoid, and
given an arbitrary Schutzenberger group of the monoid, the main result of this
paper gives a homotopy base, and presentation, for the Schutzenberger group. In
the case that the R-class R' of the Schutzenberger group G(H) has only finitely
many H-classes, and there is an element s of the multiplicative right pointwise
stabilizer of H, such that under the left action of the monoid on its R-classes
the intersection of the orbit of the R-class of s with the inverse orbit of R'
is finite, then finiteness of the presentation and of the homotopy base is
preserved.Comment: 24 page
Geodesic rewriting systems and pregroups
In this paper we study rewriting systems for groups and monoids, focusing on
situations where finite convergent systems may be difficult to find or do not
exist. We consider systems which have no length increasing rules and are
confluent and then systems in which the length reducing rules lead to
geodesics. Combining these properties we arrive at our main object of study
which we call geodesically perfect rewriting systems. We show that these are
well-behaved and convenient to use, and give several examples of classes of
groups for which they can be constructed from natural presentations. We
describe a Knuth-Bendix completion process to construct such systems, show how
they may be found with the help of Stallings' pregroups and conversely may be
used to construct such pregroups.Comment: 44 pages, to appear in "Combinatorial and Geometric Group Theory,
Dortmund and Carleton Conferences". Series: Trends in Mathematics.
Bogopolski, O.; Bumagin, I.; Kharlampovich, O.; Ventura, E. (Eds.) 2009,
Approx. 350 p., Hardcover. ISBN: 978-3-7643-9910-8 Birkhause
Braids via term rewriting
We present a brief introduction to braids, in particular simple positive braids, with a double emphasis: first, we focus on term rewriting techniques, in particular, reduction diagrams and decreasing diagrams. The second focus is our employment of the colored braid notation next to the more familiar Artin notation. Whereas the latter is a relative, position dependent, notation, the former is an absolute notation that seems more suitable for term rewriting techniques such as symbol tracing. Artin's equations translate in this notation to simple word inversions. With these points of departure we treat several basic properties of positive braids, in particular related to the word problem, confluence property, projection equivalence, and the congruence property. In our introduction the beautiful diamond known as the permutohedron plays a decisive role
- …