Network Rewriting II: Bi- and Hopf Algebras

7 years 10 months ago
Network Rewriting II: Bi- and Hopf Algebras
Bialgebras and their specialisation Hopf algebras are algebraic structures that challenge traditional mathematical notation, in that they sport two core operations that defy the basic functional paradigm of taking zero or more operands as input and producing one result as output. On the other hand, these peculiarities do not prevent studying them using rewriting techniques, if one works within an appropriate network formalism rather than the traditional term formalism. This paper restates the traditional axioms as rewriting systems, demonstrating confluence in the case of bialgebras and finding the (infinite) completion in the case of Hopf algebras. A noteworthy minor problem solved along the way is that of constructing a quasi-order with respect to which the rules are compatible. 1998 ACM Subject Classification F.4.2 Grammars and Other Rewriting Systems Keywords and phrases confluence, network, PROP, Hopf algebra Digital Object Identifier 10.4230/LIPIcs.RTA.2015.194
Lars Hellström
Added 17 Apr 2016
Updated 17 Apr 2016
Type Journal
Year 2015
Where RTA
Authors Lars Hellström
Comments (0)