if the above group is correct, then next we have to consider the kind of actions that preserve a solved cube's state visually (as in, the resulting state also looks solved):
permutations of centers...
lil correction: two subgroups having trivial intersection is not enough for the order of the union to be the product of orders... you also need conjugation by an element of one to be closed in the other