Write down a definition of a subfield. Prove that the intersection of a set of subfields of a field F is again a field

Write down a definition of a subfield. Prove that the intersection of a set of subfields of a field F is again a field

Question
Abstract algebra
asked 2020-10-23
Write down a definition of a subfield. Prove that the intersection of a set of subfields of a field F is again a field

Answers (1)

2020-10-24
To define the concept of a subfield of a field and prove the stated property regarding subfields of a field.
A subfield of a field L is a subset K of L , which is also a field, with field structure inherited from L.
Let L be a field.
Definition:
A subset \(\displaystyle{K}\subset{L}\) is a subfield of L if K is a field, with the same addition and multiplcation operations as in L.
Examples:
1)\(\displaystyle\mathbb{Q},\mathbb{R}\) are subfields of \(\displaystyle\mathbb{R},\mathbb{C}\) respectively.
2)\(\displaystyle\mathbb{Q}{\left(\sqrt{{p}}\right)},{p}{p}{r}{i}{m}{e},\) is a subfield of RRZSK.
Let L be a field.
Let \(\displaystyle{\left\lbrace{K}_{{i}},{i}\in{I}\right\rbrace}\) be any collection of subfields \(\displaystyle{K}_{{i}}\) of L.
Claim: \(\displaystyle{K}=\bigcap_{{{i}\in{I}}}{K}_{{i}}\) is a field.
Proof: \(\displaystyle{K}\subset{L},{a}{s}{K}_{{i}}\subset{L}\forall{i}\in{I}.\)
\(\displaystyle{x},{y}\in{K}\Rightarrow{x}+{y},{x}-{y},{0},{1},{x}{y}\in{K}_{{i}},\forall{i}\in{I}\)
\(\displaystyle\Rightarrow{x}+{y},{x}-{y},{0},{1},{x}{y}\in\bigcap_{{{i}\in{I}}}{K}_{{i}}\)
\(\displaystyle\Rightarrow{x}+{y},{x}-{y},{0},{1},{x}{y}\in{K}\)
So, K is a commutive ring with 1
ANSWER: proved that the intersection of any collection of subfields of a field L is indeed a field, (in fact , a subfield of L)
Also, \(\displaystyle{x}\in{K},{x}\ne{0},\Rightarrow{x}\in{K}_{{i}},\forall{i}\in{I},{x}\ne{0}\)
rArr \(\displaystyle{x}^{{-{{1}}}}\in{K}_{{i}},\forall{i}\in{I}\) (as \(\displaystyle{K}_{{i}}\) are all fields)
rArr \(\displaystyle{x}^{{-{{1}}}}\in\bigcap_{{{i}\in{I}}}{K}_{{i}}={K}\)
Thus, K is a field, in fact, K is a subfield of L
0

Relevant Questions

asked 2020-12-15
Let F be i field with subfields K,L. Prove that there is a largest subfield of F contained in both K and L, and a smallest subfield of containung both K and L.
asked 2021-02-09
Show that the prime subfield of a field of characteristic p is ringisomorphic to Zp and that the prime subfield of a field of characteristic 0 is ring-isomorphic to Q.
asked 2021-01-25
Suppose G is a group and H is a normal subgroup of G. Prove or disprove ass appropirate. If G is cyclic, then \(\displaystyle\frac{{G}}{{H}}\) is cyclic.
Definition: A subgroup H of a group is said to be a normal subgroup of G it for all \(\displaystyle{a}\in{G}\), aH = Ha
Definition: Suppose G is group, and H a normal subgruop og G. THe froup consisting of the set \(\displaystyle\frac{{G}}{{H}}\) with operation defined by (aH)(bH)-(ab)H is called the quotient of G by H.
asked 2021-01-04
Let F be a field and consider the ring of polynominals in two variables over F,F[x,y]. Prove that the functions sending a polyomial f(x,y) to its degree in x, its degree in y, and its total degree (i.e, the highest i+j where \(\displaystyle{x}^{{i}}{y}^{{i}}\) appears with a nonzero coefficient) all fail o be norm making F[x,y] a Euclidean domain.
asked 2021-02-15
Let F be a field, and \(\displaystyle{p}{\left({x}\right)}\in{F}{\left[{x}\right]}\) an irreducible polynomial of degreed. Prove that every coset of \(\displaystyle{F}\frac{{{x}}}{{{p}}}\) can be represented by unique polynomial of degree stroctly less than d. and moreover tha these are all distinct. Prove that if F has q elements, \(\displaystyle{F}\frac{{{x}}}{{{p}}}\) has \(\displaystyle{q}^{{d}}\) elements.
asked 2020-10-23
Let F be a field. Prove that there are infinitely many irreducible monic polynomials
asked 2021-02-05
Let RR sube K be a field extension of degree 2, and prove that K ~= CC. Prove that there is no field extension RR sube K of degree 3.
asked 2021-04-06
Prove directly from the definition of congruence modulo n that if a,c, and n are integers,n >1, and \(\displaystyle{a}\equiv{c}{\left({b}\text{mod}{n}\right)}\), then \(\displaystyle{a}^{{{3}}}\equiv{c}^{{{3}}}{\left({b}\text{mod}{n}\right)}\).
asked 2021-01-04

Prove directly from the definition of congruence modulo n that if a,c, and n are integers,\(n >1\), and \(\displaystyle{a}\equiv{c}{\left(\text{mod}\ {n}\right)},{t}{h}{e}{n}\ {a}^{{3}}\equiv{c}^{{3}}{\left(\text{mod}\ {n}\right)}\).

asked 2021-02-08
Prove that if "a" is the only elemnt of order 2 in a group, then "a" lies in the center of the group.
...