The simple group SO(q) can always be defined as the maximal smooth connected subgroup of O(q) over k.)
Простую группу SO(q) можно всегда определить как максимальную гладкую связную подгруппу группы O(q) над полем k.)