Here, we are identifying one of the two complex fields as an extension of the reals with a solution to the equation x^2+1=0. We do so by adjoining the indeterminate x to the reals, and quotienting out by the ideal (x^2+1). Once we are at that stage, we use the primary purpose of tensors: to...