ground fields and rings
The following is a list of common uses of the ground or base field or ring in algebra. These are endowed with based on their context so the following list may be or may not apply uniformly.
One commonality is generally found for the use of ground ring or field: the result is a unitial subring of the original. Outside of this requirement, the constraints are specific to context.
-
•
Given a ring with a 1, let be the subgroup of generated by under addition. This is consequently a subring of of the same characteristic as . Thus is it isomorphic to where is the characteristic of . This is the smallest unital subring of and so rightfully may be called the ground or base ring of .
When the characteristic of is prime, and so it may be called the ground field of .
-
•
Given a vector space or algebra over a field , then is the ground/base field of .
-
•
Given a set of matrices , the ground ring is commonly the ring , and if required as a subring of then it is taken as the set of all scalar matrices.
-
•
Given a field extension over a field , then is the ground field of in this context. For a general field where no specific subfield has been specified, the ground/base field then typically defaults to the prime subfield of . (Recall the prime subfield is the unique smallest subfield of .)
-
•
Given a field and a set of field automorphisms , the ground/base field in this context is the fixed field (http://planetmath.org/Fixed) of the automorphisms. That is, the largest subfield of which is pointwise fixed by each . Since a field automorphism must fix the prime subfield, this definition always produces a field containing the prime subfield.
Title | ground fields and rings |
Canonical name | GroundFieldsAndRings |
Date of creation | 2013-03-22 15:54:22 |
Last modified on | 2013-03-22 15:54:22 |
Owner | Algeboy (12884) |
Last modified by | Algeboy (12884) |
Numerical id | 15 |
Author | Algeboy (12884) |
Entry type | Definition |
Classification | msc 08A30 |
Related topic | ExtensionField |
Related topic | FieldAdjunction |
Related topic | RingAdjunction |
Defines | ground field |
Defines | base field |
Defines | ground ring |
Defines | base ring |