| |
| | GAP Manual: 6 Fields |
 | | Fields are domains, so all functions that are applicable to all domains are also applicable to fields (see chapter Domains). |
 | | A field homomorphism phi is a mapping that maps each element of a field F, called the source of phi, to an element of another field G, called the range of phi, such that for each pair x,y in F we have (x+y)^phi = x^phi + y^phi and (xy)^phi = x^phi y^phi. |
 | | Since field homomorphisms are just a special case of homomorphisms, all functions described in chapter Homomorphisms are applicable to all field homomorphisms, e.g., the function to test if a homomorphism is a an automorphism (see IsAutomorphism). |
| www.mcs.kent.edu /system/documentation/gap/CHAP006.htm (2478 words) |
|