This is probably a simple one. Defining a normed vector space over a field K we ask the norm function to satisfy the equality: $||\alpha x||=| \alpha | \ ||x||$. However, if K is not a field of reals or complex numbers, it is unclear what $|\alpha|$ stands for.
Does this mean we ALWAYS have to first define a norm (an absolute value) $|\alpha|$ on K to define a norm on the vector space over K?
Thank you!