In this paper we propose a method to construct logarithmic signatures which
are not amalgamated transversal and further do not even have a periodic block.
The latter property was crucial for the successful attack on the system MST3 by
Blackburn et al. [1]. The idea for our construction is based on the theory in
Szab\'o's book about group factorizations [12].
We study the commuting graph on elements of odd prime order in finite simple
groups. The results are used in a forthcoming paper describing the structure of
Bruck loops and Bol loops of exponent 2.
We classify "nice" loop envelopes to Bruck loops of 2-power exponent under
the assumption that every nonabelian simple section of $G$ is either passive or
isomorphic to $\PSL_2(q)$, $q-1 \ge 4$ a 2-power. The hypothesis is verified in
a separate paper. This paper is a continuation of the work by Aschbacher,
Kinyon and Phillips on finite Bruck loops [AKP]. In [BS3] we applied these
results and get a neat description of the structure of the finite Bruck loops.
We continue the work by Aschbacher, Kinyon and Phillips [AKP] as well as of
Glauberman [Glaub1,2] by describing the structure of the finite Bruck loops. We
show essentially that a finite Bruck loop $X$ is the direct product of a Bruck
loop of odd order with either a soluble Bruck loop of 2-power order or a
product of loops related to the groups $PSL_2(q)$, $q= 9$ or $q \geq 5$ a
Fermat prime. The latter possibillity does occur as is shown in [Nag1, BS]. As
corollaries we obtain versions of Sylow's, Lagrange's and Hall's Theorems for
loops.