Factorization of non-commutative Laurent polynomials

asked 2011-10-26 02:37:53 +0200

bm
3 ●2 ●3

Hi, can Sage factorize non-commutative Laurent polynomials in several variables?

By those polynomials I mean elements in the group algebra Z[F(n)], where Z is the integers and F(n) is the free group on n letters.

(The case with Z/2- instead of Z-coefficients would also be interesting.)

Thank you!

edit retag flag offensive close merge delete

add a comment

1 Answer

Sort by » oldest newest most voted

answered 2011-10-26 15:03:17 +0200

Mike Hansen

4068 ●24 ●48 ●89

Sage does not have algorithms to do such a factorization. The notion of unique factorization for noncommutative rings needs a bit more thought than in the commutative case. Work by P.M. Cohn showed that free associative algebra is a (noncommutative) UFD, but I don't know of any algorithm implementing this.

edit flag offensive delete link

add a comment

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

Stats

Asked: 2011-10-26 02:37:53 +0200

Seen: 515 times

Last updated: Oct 26 '11

Factorization of non-commutative Laurent polynomials edit

1 Answer