Building a homomorphism from group algebra to matrix space

cate15
23 ●4

I would like to define an algebra homomorphism between a group algebra over the integers and a complex matrix space. More precisely I have a free group F on 4 generators and the associated group algebra G and I would like to construct a homomorphism which sends each of the generators to a certain complex matrix. Inspired by a similar question, I have tried multiple things, but nothing seems to work

I have

F.<A,B,C,D>=FreeGroup(4)
F.inject_variables()
R=MatrixSpace(CC,2)
A1 = matrix(CC,[[0,I],[I,0]])
B1 = matrix(CC,[[I,0],[0,-I]])
C1 = matrix(CC,[[0,1],[-1,0]])
G=GroupAlgebra(F, ZZ)

I would like to define the homomorphism G->R which sends A to A1, B to B1 and both C and D to C1.

Comments

answered 3 years ago

rburing

10964 ●4 ●80 ●219 https://www.rburing.nl/

I'm not sure why this hasn't been implemented in SageMath. It's probably an oversight rather than being due to any difficulties. It's pretty easy to implement. Here is a workaround:

F = FreeGroup(4, names='A,B,C,D')
G = GroupAlgebra(F, ZZ)
A,B,C,D = G.gens()

A1 = matrix(CC,[[0,I],[I,0]])
B1 = matrix(CC,[[I,0],[0,-I]])
C1 = matrix(CC,[[0,1],[-1,0]])

def my_im_gens_(self, codomain, im_gens, base_map=None):
    result = codomain.zero()
    for (g,c) in self._monomial_coefficients.items():
        if base_map:
            c = base_map(c)
        result += c*g(im_gens)
    return result
G.element_class._im_gens_ = my_im_gens_

Then it works:

sage: f = G.hom([A1,B1,C1,C1], check=False)
sage: f(A^2 + B^3 + C) == A1^2 + B1^3 + C1
True

link

Comments

For implementing this in SageMath I opened https://trac.sagemath.org/ticket/31989

rburing ( 3 years ago )

add a comment

Your Answer

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

Building a homomorphism from group algebra to matrix space

Comments

1 Answer

Comments

Your Answer

Question Tools

Stats

Related questions

Building a homomorphism from group algebra to matrix space savecancel

Comments

1 Answer

Comments

Your Answer

Question Tools

Stats

Related questions

Building a homomorphism from group algebra to matrix space