Tower law

Concept history

A revision trail for this concept page.

2 revisions

Back

Revision 1075

8/8/2026, 9:00:40 AM · Ancient Tree

Updated text

Compare with revision 10742 changed lines

Let $K\subseteq L\subseteq M$ be [[Field extension|field extensions]]. If $L/K$ and $M/L$ are [[Finite field extension|finite extensions]], then $M/K$ is finite and the degrees verify:

Let $K\subseteq L\subseteq M$ be [[Field extension|field extensions]]. If $L/K$ and $M/L$ are [[Finite field extension|finite extensions]], then $M/K$ is finite and the [[Degree of a field extension|degrees]] verify:

2$$

3[M:K]=[M:L][L:K].

4$$

Revision 1074

8/8/2026, 8:59:45 AM · Ancient Tree

Concept created

Let $K\subseteq L\subseteq M$ be [[Field extension|field extensions]]. If $L/K$ and $M/L$ are [[Finite field extension|finite extensions]], then $M/K$ is finite and the degrees verify:
$$
[M:K]=[M:L][L:K].
$$