| |
| | Affine Algebras which are Fields (Site not responding. Last check: 2007-10-21) |
 | | If the ideal J of relations defining an affine algebra A = K[x_1,..., x_n]/J, where K is a field, is maximal, then A is a field and may be used with any algorithms in Magma which work over fields. |
 | | Note that an affine algebra defined over a field which itself is a field also has finite dimension when considered as a vector space over its coefficient field, so all of the operations in the previous section are also available. |
 | | Starting with the same affine algebra A = Q(a, b, x)F[y]/ as in the last example, we factor some univariate polynomials over A. A is of course isomorphic to an absolute field, but the presentation given may be much more convenient to the user. |
| www.math.lsu.edu /magma/text1139.htm (441 words) |
|