Forms both a:
- division algebra if thought of with complex multiplication as the bilinear map of the algebra
- field
New to topics? Read the docs here!