Semigroups and Controllability of Invariant Control Systems on Sl(n,H)
Let Sl(n,H) be the Lie group of n×n quaternionic matrices g with ∣detg∣=1. We prove that a subsemigroup S⊂Sl(n,H) with nonempty interior is equal to Sl(n,H) if S contains a subgroup isomorphic to Sl(2,H). As application we give sufficient conditions on A,B∈sl(n,H) to ensuring that the invariant control system g˙=Ag+uBg is controllable on Sl(n,H). We prove also that these conditions are generic in the sense that we obtain an open and dense set of controllable pairs (A,B)∈sl(n,H)2.