 Notice that the requirement that 1, introduces two algebraic constraints on the components of "Â", that is

If is a dual quaternion, and "p" is not zero, then the inverse dual quaternion is given by 
Thus the elements of the subspace do not have inverses.This subspace is called an ideal in ring theory.It happens to be the unique maximal ideal of the ring of dual numbers.