I tried to write a longer answer which froze, so I'll write a shorter version. You might look at the history of the "Solomon fusion system" which arose in a characterization problem undertaken by Ron Solomon in his work on the classification of finite simple groups.