“…Then the metric
on
is left‐invariant, it is invariant under the diagonal action of
by right multiplication, and
. For more information about this construction, including a generalization to products of compact semisimple Lie groups, see Theorem E in [
12]. It follows that
, which is maximal for closed
‐dimensional manifolds with
by Theorem 1.1.…”