0

我需要一个函数来检查群代数的左理想是否具有直接和分解。因此,我需要一个函数,如果左理想有直接和分解,则返回true;如果左理想没有直接和分解,则返回false(因此左理想是不可约的)。只是一个验证左理想是否不可约的函数也可以提供帮助。

有这样做的功能吗?

4

0 回答 0