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 functon 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?