I need a function to check if a left ideal of a Group Algebra has a direct sum decomposition or not. So, I need a function that return true if the left ideal has a direct sum decomposition or false if the left ideal doesn't have a direct sum decomposition (so the left ideal is irreducible). Just a function that verify if a left ideal is irreducible can help too. Is there a function to do this?
I have already created a list N with all the left ideals of R. And I have created another list B, where the left ideals are not repeated. Now, I need to check if these ideals that are on list B are irreducible, so I thought about checking if they are a direct sum of other ideals.
LoadPackage("wedderga");
G:=SymmetricGroup(3);
F:=GF(5);
R:=GroupRing(F,G);
N:=[];
for x in R do
I:=LeftIdeal(R,[x]);
Add(N,I);
od;
B:=[];
for i in [1..Length(N)] do
if not (N[i] in B) then
Add(B, N[i]);
fi;
od;
PrimitiveCentralIdempotentsByCharacterTablereturns a list which then passesIsCompleteSetOfOrthogonalIdempotentscheck. – Olexandr Konovalov Mar 24 '21 at 22:11?or??- try e.g. to enter??idempotentsand see all manual entries containing this string. I have explained this in the GAP Carpentries-style lesson here, together withSetHelpViewercommand you can configure it to show HTML pages from your local GAP installation in the browser. – Olexandr Konovalov Mar 24 '21 at 22:14PrimitiveCentralIdempotentsByStrongSP. But now I have to find the left irreducible ideals. So, there are some ideals that are not generated by primitive idempotents. And I don't know a function that calculates orthogonal idempotents,IsCompleteSetOfOrthogonalIdempotents, just checks if a list has only orthogonal idempotents. – Amanda Mar 25 '21 at 13:04IsCompleteSetOfOrthogonalIdempotents) afterwards. GAP also has CentralIdempotentsOfAlgebra, but it may be unable to handle large examples which you are trying to tackle with Wedderga. – Olexandr Konovalov Mar 25 '21 at 16:26??isomorphin GAP to see all manual sections - may find something for special cases, like https://gap-packages.github.io/modisom/htm/CHAP004.htm or https://gap-packages.github.io/sophus/doc/chap3.htm for example. – Olexandr Konovalov Mar 26 '21 at 16:22