Chow ring
Given a vector bundle formula_137 of rank formula_138 over a smooth proper scheme formula_3 over a field, the Chow ring of the associated projective bundle formula_140 can be computed using the Chow ring of formula_3 and the Chern classes of formula_142. If we let formula_143 and formula_144 the Chern classes of formula_142, then there is an isomorphism of rings