A free rank 4 Hopf algebra with antipode of order 4

Abstract

Let <italic>k</italic> be an arbitrary commutative ring. In this paper we construct a free rank 4 Hopf algebra <italic>H</italic> over <italic>k</italic> with antipode of order 4 and also discuss its symmetry. <italic>H</italic> is not semisimple.