Is there a test for a (finite) group in order to know if it is indecomposable? if so is this test equivelent to the definition of the indecomposable group
- Anybody can ask a question
- Anybody can answer
- The best answers are voted up and rise to the top
I have no idea what your second question means. How can a test be equivalent to a definition?
I think the answer to the first question is that there is no straightforward way to do this and also no efficient algorithm to do it in general.
If you gave me a finite group and asked me whether it was indecomposable, and the answer was not immediately clear, then the first thing I would try would be to put it on a computer, find all of its normal subgroups, and check whether two of them complemented each other.
That would fail if there were too many normal subgroups. In that case I would try looking at the minimal normal subgroups. If the group is decomposable then there must be more than one of these, and the socle of the group (i.e. the group generated by its minimal normal subgroups) must itself be decomposable, so I would look at decompositions of that and see if they extended.
Do you have any specific examples, of types of examples in mind?