Return to Revisions

Let T be an arbitrary compact torus. The second cohomology group of BT (with arbitrary coefficients, call that ring k) generates the full cohomology freely as an algebra. In other words, if you pick a k-basis x₁, x₂,... of H²(BT), then you get an isomorphism of H*(BT) with k[x₁, x₂,...].

Now let's specialise to the case k=ℤ. In that case, the second cohomology group of BT is canonically isomorphic to the group of characters of T, i.e., to the group of homomorphisms from T → S¹. Given a character χ :T → S¹, the corresponding element of H²(BT) is represented by (the first Chern class of) the complex line bundle ET ×_T ℂ_χ.

Now back to your question. The elements α₁ and α₂ form a basis of BT, where T now refers to the maximal torus of G₂. So you get an isomorphism H(BT;ℤ) $\xrightarrow{\sim}$ ℤ[α₁, α₂]. But λ₁ and λ₂ also form a basis of BT. So you get another isomoprhism H(BT;ℤ) $\xrightarrow{\sim}$ ℤ[λ₁, λ₂].