Chinese remainder theorem
formula_70 means we have a direct sum of "F"["G"]-modules (by the Chinese remainder theorem):formula_71