Skip to Main Content
Algebraic Operads
book

Algebraic Operads

by Murray R. Bremner, Vladimir Dotsenko
April 2016
Intermediate to advanced content levelIntermediate to advanced
383 pages
11h 46m
English
Chapman and Hall/CRC
Content preview from Algebraic Operads
Commutative Gröbner Bases 231
Definition 7.3.4.2 (Church–Rosser property). An ARS (A, ) is said to
have the Church–Rosser property if
-equivalence implies joinability. That
is, the relation is Church–Rosser if for all f, g A we have
f
g = f g.
(The converse is trivial by definition of the relations.) In other words, if f and
g can be connected by a sequence of left-right arrows as in (7.3), then they
have a common successor h.
The importance of this property was first pointed out in the work of Church
and Rosser [59] on mathematical logic.
Definition 7.3.4.3 (Third definition of a Gröbner basis). Suppose that the
ideal I F[X] is generated by the ...
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.
Start your free trial

You might also like

Reinventing the Organization for GenAI and LLMs

Reinventing the Organization for GenAI and LLMs

Ethan Mollick
Algebraic and Stochastic Coding Theory

Algebraic and Stochastic Coding Theory

Dave K. Kythe, Prem K. Kythe

Publisher Resources

ISBN: 9781482248579