group algebra

asked 2019-04-16 04:04:47 -0600

bandana gravatar image

updated 2019-08-26 14:15:09 -0600

FrédéricC gravatar image

Can anyone help in writing code to find the list of idempotent and primitive elements of a group algebra?

The examples goes like this. Let $p$ be an odd prime such that $\bar2$ generates $U(Z_{p^2})$ and let $G =(\text{ideal generated by }a) ∗ (\text{ideal generated by }b)$ an abelian group, with $o(a)=p^2$ and $o(b)=p$.

Then $F_2G$ has four inequivalent minimal codes, namely, the ones generated by the idempotents:

$$e_0 = \hat{G}$$ $$e_1=\hat{b}−\widehat{(\text{ideal generated by }a)∗ (\text{ideal generated by }b)}$$ $$e_2=\widehat{a−G}$$ $$e_3=\widehat{(\text{ideal generated by }a_p)∗ (\text{ideal generated by }b)}−\hat{G}$$

edit retag flag offensive close merge delete


Is your group finite or infinite? If it's finite, you could hope to write down a linear map, the kernel of which is the space of primitives. If it's infinite, then you need a computational method to implement.

John Palmieri gravatar imageJohn Palmieri ( 2019-04-17 23:58:45 -0600 )edit
slelievre gravatar imageslelievre ( 2019-04-24 17:46:40 -0600 )edit