Frobenius induction, Burnside and representation rings Grothendieck groups ($K_0$) mathematics