“…The first and, so far, the only example of nontrivial semi-decomposable invariants comes from a semisimple group SO 4 ≃ (SL 2 × SL 2 )/µ, where µ = {(λ 1 , λ 2 ) ∈ µ 2 × µ 2 | λ 1 λ 2 = 1}; see [9,Example 3.1]. Indeed, this invariant is given by φ := a b, c → (a) ∪ [b, c], where φ is a 4-dimensional quadratic form with trivial discriminant over a field extension K/F and [b, c] is the class of a quaternion algebra in the Brauer group Br(K); see [6,Example 20.3].…”