The ultimate type of \({\omega }\in {\bf U}\)  for a symplectic matrix \(M\)  mentioned in the above lemma
is given in Definition 1.8.12 on pp.41-42 of [1]} algebraically with its more properties studied
there.
