Skip to main content
added 138 characters in body
Source Link
Z Wu
  • 452
  • 3
  • 11

It's known that local fields can be defined as a non-discrete, Hausdorff (equivalently non-indiscrete), locally compact, topological field, which is the same as non-trivial (i.e. neither discrete nor indiscrete) locally compact topological field.

In particular, local fields can be defined without mentioning absolute values. For me, absolute values involve the non-natural group $\mathbb{R}$ as the codomain, making those valued fields bounding to $\mathbb{R}$ in some way.

We know global fields can be defined using local fields and absolute valuations. Is it possible to define global fields as certain type of topological fields without mentioning any absolute value?

--

edit: "without mentioning any absolute value" means that the axiomatic definition of global field doesn't involve absolute values.

It's known that local fields can be defined as a non-discrete, Hausdorff (equivalently non-indiscrete), locally compact, topological field, which is the same as non-trivial (i.e. neither discrete nor indiscrete) locally compact topological field.

In particular, local fields can be defined without mentioning absolute values. For me, absolute values involve the non-natural group $\mathbb{R}$ as the codomain, making those valued fields bounding to $\mathbb{R}$ in some way.

We know global fields can be defined using local fields and absolute valuations. Is it possible to define global fields as certain type of topological fields without mentioning any absolute value?

It's known that local fields can be defined as a non-discrete, Hausdorff (equivalently non-indiscrete), locally compact, topological field, which is the same as non-trivial (i.e. neither discrete nor indiscrete) locally compact topological field.

In particular, local fields can be defined without mentioning absolute values. For me, absolute values involve the non-natural group $\mathbb{R}$ as the codomain, making those valued fields bounding to $\mathbb{R}$ in some way.

We know global fields can be defined using local fields and absolute valuations. Is it possible to define global fields as certain type of topological fields without mentioning any absolute value?

--

edit: "without mentioning any absolute value" means that the axiomatic definition of global field doesn't involve absolute values.

Source Link
Z Wu
  • 452
  • 3
  • 11

Can global fields be defined as certain topological fields like local fields?

It's known that local fields can be defined as a non-discrete, Hausdorff (equivalently non-indiscrete), locally compact, topological field, which is the same as non-trivial (i.e. neither discrete nor indiscrete) locally compact topological field.

In particular, local fields can be defined without mentioning absolute values. For me, absolute values involve the non-natural group $\mathbb{R}$ as the codomain, making those valued fields bounding to $\mathbb{R}$ in some way.

We know global fields can be defined using local fields and absolute valuations. Is it possible to define global fields as certain type of topological fields without mentioning any absolute value?