Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

What are these things called? Can someone explain what the undirected edges represent?

Example Diagram 1

Definitions: $F_{4096}$, $F_{64}$, $F_{16}$, $F_8$, $F_4$, and $\mathbb{Z}/2\mathbb{Z}$ are all finite fields.

First example

Example Diagram 2


  • $k$ is a field and $k[x]$ is the set of polynomials whose coefficients are in $k$.
  • $K$ is a field and $K^{\prime} = k[x]/(f(x))$, where $f(x)\in k[x]$ is irreducible.
  • $\phi : k[x] \to K^{\prime}$ is a homomorphism.

I assume the directed edges with the $\phi$ label just represent a homomorphism.

Second example

share|cite|improve this question
The first looks like a Hasse Diagram. The second looks like a Commutative Diagram. – user2468 Apr 6 '12 at 3:40
Ops. I did not scroll down the page; An answer was already posted! – user2468 Apr 6 '12 at 3:43
up vote 3 down vote accepted

The first picture is the lattice of subfields of $\mathbb{F}_{2^{12}}$ (or technically, the diagram of it, as Mariano points out). The unlabelled edges represent inclusion as sets (one $\subset$ the other). See also.

The second is a commutative diagram, and $\phi$ a quotient map. The unlabelled edges might represent an evaluation map (replacing instances of the formal variable $x$ with a concrete element $\in k$.)

share|cite|improve this answer
(The Hasse diagram of the latttice of subfields, I'd say) – Mariano Suárez-Alvarez Apr 6 '12 at 3:29
(Actually, the long vertical line going from the bottom to the top is weird... and kills Hasseness) – Mariano Suárez-Alvarez Apr 6 '12 at 3:34

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.