Вони будуть утворювати відповідно адитивну і мультиплікативну групи. Ці групи є абелевими і називаються групами класів лишків. Кватерніонні одиниці породжують так звану групу кватерніонів порядку , де , , , , .