group algebra

asked 2019-04-16 11:04:47 +0200

bandana gravatar image

updated 2019-08-26 21:15:09 +0200

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-18 06:58:45 +0200 )edit
slelievre gravatar imageslelievre ( 2019-04-25 00:46:40 +0200 )edit