^ From:

> ^ Subject:

Hello Gap Forum, I would like to know how to create the Free

Associative Algebra with a one with some small number

of generators over a field like the rationals and

then factor out the ideal generated by some few words in the

generators. I would then like to know something about the

quotient like its dimension over the rationals and how

to compute the dimension of some subideal generated by

some words in the generators. I suppose sometime I would

like to know a basis. I know it is finite

dimensional. I have seen how to do this

for groups and Lie algebras but not associative algebras

in general. I would appreciate any help.

Thanks very much, David Wales

Example, the free associative algebra with 1 and with two generators

a and b mod the relations a^2=b^2=1 and abab=1. I know

this is a group algebra but you get the idea. David

Miles-Receive-Header: reply

> < [top]