Prefer a chat interface with context about you and your work?
An embedding theorem for fields
It is shown that every finitely generated field K of characteristic 0 may be embedded in infinitely many p -adic fields in such a way that the images of any given finite set C of non-zero elements of K are p -adic units. The result is suggested by Lech's proof …