Definitions of some finitely presented algebras and groups (Letterplace)
Authors:
Karim Abou Zeid, karim.abou.zeid at rwth-aachen.de
Viktor Levandovskyy, viktor.levandovskyy at math.rwth-aachen.de
Grischa Studzinski, grischa.studzinski at rwth-aachen.de
Support: Project II.6 in the transregional collaborative research centre
SFB-TRR 195 'Symbolic Tools in Mathematics and their Application' of the German DFG
Overview:
Generation of various algebras, including group algebras of finitely presented groups in the Letterplace ring.
FPA stands for finitely presented algebra.