A condition of indecomposability for Butler \(\mathrm B(n)\)-groups. (Q484558)

A sufficient condition for indecomposability for Butler \(\mathrm B(n)\)-groups is given. The main result reads like this: Theorem 3.2: If for every \(j\in J\) the primes of \(u_j\) generate \(K_j^\bot\) then \(W\) is indecomposable. -- Here, \(K_j^\bot=(\mathbf Qe_j)\cup K^\bot\), a \(\mathrm B(n)\)-group \(W\) is the sum of a finite number \(r\) of pure rank one subgroups, the isomorphism types \(u_j=t_W(w_j)\) of the rank 1 subgroups \(\langle w_j\rangle_*\), called base types of \(W\), \(K\) is called the creel of \(W\), and its elements are called relations. Viewing these as equations, \(K^\bot\) is the subspace of \(\mathbf Q^r\) of the solutions. If \(L=\text{typeset}(W)\) then label with primes the \(\vee\)-irreducible elements of \(L\). A special case: If the tent of \(W\) contains all minimal primes then \(W\) is indecomposable. -- Here, the tent of \(W\) is a table which describes the base types as products of primes.