PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: Very high
ground fields and rings (Definition)

The following is a list of common uses of the term ground or base field or ring in algebra. These terms are endowed with semantics based on their context so the following list may be incomplete 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 $ R$ with a 1, let $ \mathbb{Z}1$ be the subgroup of $ R$ generated by $ 1$ under addition. This is consequently a subring of $ R$ of the same characteristic as $ R$. Thus is it isomorphic to $ \mathbb{Z}/c\mathbb{Z}$ where $ c$ is the characteristic of $ R$. This is the smallest unital subring of $ R$ and so rightfully may be called the ground or base ring of $ R$.

    When the characteristic of $ R$ is prime, $ \mathbb{Z}1\cong \mathbb{Z}/p\mathbb{Z}$ and so it may be called the ground field of $ R$.

  • Given a vector space or algebra $ A$ over a field $ k$, then $ k$ is the ground/base field of $ A$.
  • Given a set of matrices $ M_n(R)$, the ground ring is commonly the ring $ R$, and if required as a subring of $ M_n(R)$ then it is taken as the set of all scalar matrices.
  • Given a field extension $ K/k$ over a field $ k$, then $ k$ is the ground field of $ K$ 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 $ K$. (Recall the prime subfield is the unique smallest subfield of $ K$.)
  • Given a field $ K$ and a set of field automorphisms $ f:K\rightarrow K$, the ground/base field in this context is the fixed field of the automorphisms. That is, the largest subfield of $ K$ which is pointwise fixed by each $ f$. Since a field automorphism must fix the prime subfield, this definition always produces a field containing the prime subfield.



Anyone with an account can edit this entry. Please help improve it!

"ground fields and rings" is owned by Algeboy. [ full author list (5) ]
(view preamble)

View style:

See Also: extension field, field adjunction, ring adjunction

Also defines:  ground field, base field, ground ring, base ring
Keywords:  ground ring
Log in to rate this entry.
(view current ratings)

Cross-references: fixed, pointwise, automorphisms, prime subfield, subfield, field extension, scalar, matrices, vector space, prime, unital, isomorphic, characteristic, addition, generated by, subgroup, subring, algebra, ring, field, base
There are 20 references to this entry.

This is version 12 of ground fields and rings, born on 2006-05-08, modified 2006-12-31.
Object id is 7909, canonical name is GroundFieldsAndRings.
Accessed 4311 times total.

Classification:
AMS MSC08A30 (General algebraic systems :: Algebraic structures :: Subalgebras, congruence relations)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)