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
Noncommutative Associative Algebras 37
Proposition 2.4.2.2. If Algorithm 2.4.2.1 terminates then its output is the
reduced Gröbner basis of I.
Proof. Immediate corollary to Theorem 2.4.1.5.
In many computations, instead of explicitly finding the standard form at
each step, we will merely underline the leading monomial (which is being
reduced).
Example 2.4.2.3. For the quantum plane from Example 2.1.1.3, the noncom-
mutative Buchberger algorithm terminates instantly, since the only leading
monomial (for glex order with x
1
x
2
) is x
2
x
1
which has no self-overlaps.
Example 2.4.2.4. We consider the ideal (y
2
+ x
2
) of the tensor algebra
T (x, y), and impose 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