Barry Gardner defined the radical classes and semi-simple classes in the variety of idempotent algebras. And most traditional results in the variety of associative rings hold in the varieties with permutable congruences.

• Barry Gardner在幂等代数族中定义了根类和半单类,并且证明了许多在结合环族中成立的结果在同余可换族中也成立。