Skip to main content
5 of 6
deleted 8 characters in body

By standard results (in fin dim, over an alg closed field of zero char),

  • all cocommutative HAs are group algebras (for some finite group),
  • all commutative HAs are duals of group HAs (for some finite group)

(see for example: About the classification of commutative and of cocommutative, fin. dim. Hopf algebras)

More generally, if we consider fd hopf algebras, over a field of char zero then, by the Larson-Radford theorem, semicimplicity and cosemisimplicity are equivalent notions and they both result either from commutativity or cocommutativity.
Consequently, since you are looking to construct noncommutative, noncocommutative HAs, going beyond the semisimple/cosemisimple case would guarantee that the non-(co)semisimple HAs will also be non-(co)commutative. So i guess a natural class of examples would be pointed HAs.

The Taft algebras constitute a standard class of non-commutative, non-cocommutative examples. Sweddler's hopf algebra (mentioned in the OP) is a special case of them.

There are various results on the classification of f.d. hopf algebras which have been proved during the last couple of decades (with still lots of open problems) that can be of use for the purposes of the OP. Assuming that we are speaking about an algebraically closed field, of zero char, one should take into account both (co)semisimple and non-(co)semisimple cases:

See also the table included in p. 23 of Classifying Hopf algebras of a given dimension, arXiv:1206.6529v2 [math.QA] and the relevant literature included there. Following it, you can extend the above classification for higher dimensional HAs.