There is an equivalent definition of non-archimedean local field: it is a field that is complete with respect to a discrete valuation and whose residue field is finite.
An equivalent definition of a non-archimedean local field is that it is a field that is complete with respect to a discrete valuation and whose residue field is finite. There is an equivalent definition of non-archimedean local field given below.
There is an equivalent definition of non-archimedean local field given below. An equivalent definition of a non-archimedean local field is that it is a field that is complete with respect to a discrete valuation and whose residue field is finite.
There is an equivalent definition of non-archimedean local field given below. An equivalent definition of a non-archimedean local field is that it is a field that is complete with respect to a discrete valuation and whose residue field is finite.