add check_commutative_group_algebra to check whether Group Algebra is Commutative, L(a) = R(a)

add check_commutative_group_algebra to check whether Group Algebra is Commutative, L(a) = R(a) #1516