A group G is called completely reducible if it is a direct product of simple groups. It is known that a Krull-Schmidt Remak type unicity for the decomposition in the direct product of simple groups hold. The proof s of this facts can be found for example in Chapter 3 of D. Robinson's book [A Course in the Theory of Groups](http://books.google.ro/books?id=lqyCjUFY6WAC&pg=PA86&dq=%2527%2527A+Course+in+the+Theory+of+Groups%2527%2527+completely+reducible+group&hl=ro&ei=Hn52Ta6JDc7FswbysbyPBQ&sa=X&oi=book_result&ct=result&resnum=1&sqi=2&ved=0CCgQ6AEwAA#v=onepage&q&f=false)


My questions are the following:


1. Are any known characterizations for finite completely reducible groups given in the literature? Given a finite group how can one decide whether the group is completely reducible or not?, of course without searching for direct product decompositions if possible.
2. If one replaces the direct product decomposition with iterated crossed product decomposition is anything known about unicity in this case?



Finite completely reducible groups-reference request
Well, it depends what you are prepared to accept as a reasonable answer. A finite group is
completely reducible if and only if the intersection of all its maximal normal subgroups
is trivial. This is presumably a lot of work to check for any reasonably sized group.
On the other hand, you can regard the intersection of the maximal normal subgroups as
a kind of "radical" of a finite group, and the above characterization seems reasonable.
One (fairly obvious) fact to use in proving that a finite group is NOT completely reducible
is that if G is completely reducible, then so are all its non-trivial normal subgroups.
Checking minimal normal subgroups is no help here, of course. 


