Composite field (mathematics) explained

A composite field or compositum of fields is an object of study in field theory. Let K be a field, and let

E _{1} , E _{2} be subfields of K. Then the (internal) composite^[1] of E _{1} and E _{2} is the field defined as the intersection of all subfields of K containing both E _{1} and E _{2} . The composite is commonly denoted E _{1E} _{2} .

Properties

Equivalently to intersections we can define the composite

E _{1E} _{2} to be the smallest subfield^[2] of K that contains both E _{1} and E _{2} . While for the definition via intersection well-definedness hinges only on the property that intersections of fields are themselves fields, here two auxiliary assertion are included. That 1. there exist minimal subfields of K that include E _{1} and E _{2} and 2. that such a minimal subfield is unique and therefor justly called the smallest.

It also can be defined using field of fractions

E _{1E} _{2=E} _{1(E} _{2)=E} _{2(E} _{1),} where F(S) is the set of all F -rational expressions in finitely many elements of S .^[3]

Let

L\subseteq E _{1\cap} E _{2} be a common subfield and E _{1/L} a Galois extension then E _{1E} _{2/E} _{2} and E _{1/(E} _{1\cap} E _{2)} are both also Galois and there is an isomorphism given by restrictionGal (E _{1E} _{2/E} _{2) → Gal(E} _{1/(E} _{1\cap} E _{2)),} \sigma\mapsto\sigma| _{E _{1}} . For finite field extension this can be explicitly found in Milne^[4] and for infinite extensions this follows since infinite Galois extensions are precisely those extensions that are unions of an (infinite) set of finite Galois extensions.^[5]

If additionally

E _{2/L} is a Galois extension then E _{1E} _{2/L} and (E _{1\cap} E _{2)/L} are both also Galois and the map\psi: Gal (E _{1E} _{2/L) → Gal(E} _{1/L) x Gal(E} _{2/L),} \sigma\mapsto(\sigma| _{E _{1}} ,\sigma| _{E _{2}} ) is a group homomorphism which is an isomorphism onto the subgroupH = \{(\sigma _{1,\sigma} _{2):\sigma} _{1|} ^{E _{1\cap} E _{2}} = \sigma _{2|} ^{E _{1\cap} E _{2}} \} = Gal (E _{1/L) x} ^{Gal ((E _{1\cap} E _{2)/L)}} Gal (E _{2/L)\subseteqGal(E} _{1/L) x Gal(E} _{2/L).} See Milne.^[6]

Both properties are particularly useful for

L = E _{1\cap} E _{2} and their statements simplify accordingly in this special case. In particular \psi is always an isomorphism in this case.

External composite

When

E _{1} and E _{2} are not regarded as subfields of a common field then the (external) composite is defined using the tensor product of fields. Note that some care has to be taken for the choice of the common subfield over which this tensor product is performed, otherwise the tensor product might come out to be only an algebra which is not a field.

Generalizations

If

l{E}=\left\{E _{i:i\in} I\right\} is a set of subfields of a fixed field K indexed by the set I, the generalized composite field^[7] can be defined via the intersectionv ee _{i\in} E _{i} = c ap _{F\subseteq K s.t. \forall i \in I: E _{i\subseteq} F} F.

References

• Book: Roman, Steven . Steven Roman

. Steven Roman . Field Theory . Springer-Verlag . 2006 . New York . GTM . 158 . 978-0-387-27677-9 ., especially chapter 2

• • Book: Milne, James S. . 2022 . Fields and Galois Theory (v5.10) .

Notes and References

1. Roman, p. 42.
2. Roman, p. 42.
3. Web site: The elements in the composite field FK . Lubin . Jonathan.
4. Milne, p. 40; take into account the preliminary definition of Galois as finite on p. 37
5. Milne, p. 93 and 99
6. Milne, p. 41 and 93
7. Roman, p. 42.