“…In order to see that the compatibility condition (5) holds, we observe that , 1), (1, 3), (3, 1), (3,3) and ∇ e j ∇ ′ e k = 0 otherwise. From results in §2, we may construct the 8-dimensional nilpotent Lie group N ∇,∇ ′ (see Theorem 2.1), whose underlying manifold is R 4 × R 4 .…”