PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
[parent] place as extension of homomorphism (Theorem)
Theorem 1   If $f$ is a ring homomorphism from a subring $\mathfrak{o}$ of a field $k$ to an algebraically closed field $F$ such that $f(1) = 1$ then there exists a place $$\varphi: \,k\to F\cup\{\infty\}$$ of the field $k$ such that $$\varphi|_\mathfrak{o} = f.$$

Note. That $F$ should be algebraically closed, does not mean any restriction, since every field is extendable to such one.

Bibliography

1
Emil Artin: Theory of Algebraic Numbers. Lecture notes. Mathematisches Institut, Göttingen (1959).




"place as extension of homomorphism" is owned by pahio.
(view preamble | get metadata)

View style:

See Also: ramification of archimedean places

Other names:  extension theorem

This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: algebraically closed, field, subring, ring homomorphism
There are 3 references to this entry.

This is version 6 of place as extension of homomorphism, born on 2005-01-19, modified 2005-03-17.
Object id is 6651, canonical name is PlaceAsExtensionOfHomomorphism.
Accessed 2394 times total.

Classification:
AMS MSC12E99 (Field theory and polynomials :: General field theory :: Miscellaneous)
 13A18 (Commutative rings and algebras :: General commutative ring theory :: Valuations and their generalizations)
 13F30 (Commutative rings and algebras :: Arithmetic rings and other special rings :: Valuation rings)

Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)