# Is the cross-product of two subgroups another subgroup (as claimed in the following paper)?

Hi..

In the second paragraph of the following paper, there is a statement: "Because the direct product of subgroups is automatically a subgroup.."

http://jmp.aip.org/jmapaq/v23/i10/p1747_s1?bypassSSO=1

I don't see how that can be true...you can always take direct product of a subgroup with itself many times and create a group of order larger than the parent group...

-
My understanding is that the definition excludes taking direct products of subgroups with themselves. Generally subgroups of a group are distinct. –  supercooldave Jun 24 '10 at 7:21
unless it's the trivial subgroup ;) –  Pietro Majer Jun 24 '10 at 7:55
@SCDave: but you could take a product of a subgroup with a subgroup of that subgroup. Or take a product of two subgroups that don't commute. The sentence in question (I've just looked) is a little odd as it reads as though it is a general statement that always applies, which can't be true. However, if it is to be read as only applying to the situation of the paragraph then it makes a little more sense because the subgroups in question have coprime order. (I'm not saying that that settles the matter, but that's my first impression.) –  Loop Space Jun 24 '10 at 8:03
I agree that the statement is incorrect or meaningless taken at face value. My best guess is that the "direct product" of two subgroups $H_1$ and $H_2$ of a group $G$ is the set $H_1 H_2$ under the conditions: $H_1 \cap H_2 = \{e\}$ and every element of $H_1$ commutes with every element of $H_2$. At least it is true that in this case $H_1 H_2$ is a subgroup which is canonically isomorphic to $H_1 \times H_2$. –  Pete L. Clark Jun 24 '10 at 9:11
@Pete: I disagree! This was the question that the person was stuck on in trying to figure out something (which may well have been the finite subgroups of U(3)) and so this was the right question to ask. Working through a paper and trying to really understand everything is a very good skill to learn. The question "What are the finite subgroups of U(3)?" would mean that they probably wouldn't follow-up by working through this paper carefully. –  Loop Space Jun 24 '10 at 11:15

The paper's stated goal is to check that certain proposed subgroups'' are not actually subgroups at all. The proposed subgroups are groups that are direct products A × B. To show that A × B is not a subgroup, it suffices to show that A × 1 is not a subgroup, and that is the strategy taken in the paper and described by that sentence. They show that A is not isomorphic to a subgroup of SU(3), and so A × B is not isomorphic to a subgroup of SU(3).