Is it arbitrary how we have defined multiplication on the complex plane? For example, could not (AC-bd, N* (ad+bc)), where N is any number, work equally well as our generalized result (satisfies I^2=-1 and all other requirements of multiplication)?
valid question