Hopf theory MOC Chevalley property A K-bimonoid is said to have the Chevalley property iff the tensor product of any two simple modules is a semisimple module. hopf The name comes from Chevalley’s theorem, which states that for [[Characteristic|]] any group algebra has this property.1 Equivalent characterizations The Jacobson radical is a Hopf ideal Proof proof develop | en | sembr Footnotes 2012. Notes on the Drinfeld double of finite-dimensional group algebras. ↩