We continue our investigation of the general notion of universal enveloping algebra introduced in [A. Ardizzoni, A Milnor–Moore type theorem for primitively generated braided Bialgebras, J. Algebra 327(1) (2011), 337–365]. Namely, we study a universal enveloping algebra when it is of Poincaré–Birkhoff–Witt (PBW) type, meaning that a suitable PBW-type theorem holds. We discuss the problem of finding a basis for a universal enveloping algebra of PBW type: as an application, we recover the PBW basis both of an ordinary universal enveloping algebra and of a restricted enveloping algebra. We prove that a universal enveloping algebra is of PBW type if and only if it is cosymmetric. We characterise braided bialgebra liftings of Nichols algebras as universal enveloping algebras of PBW type.

For a fixed integer e and prime p we construct the p-adic order bounded group valuations for a given abelian group G. These valuations give Hopf orders inside the group ring KG where K is an extension of with ramification index e. The orders are given explicitly when G is a p-group of order p or p 2. An example is given when G is not abelian.

Associated to a finite graph $X$ is its quantum automorphism group $G(X)$. We prove a formula of type $G(X*Y)=G(X)*_{\mathrm{w}}G(Y)$, where $*_{\mathrm{w}}$ is a free wreath product. Then we discuss representation theory of free wreath products, with the conjectural formula $\mu(G*_{\mathrm{w}}H)=\mu(G)\boxtimes\mu(H)$, where $\mu$ is the associated spectral measure. This is verified in two situations: one using free probability techniques, the other one using planar algebras.

Let $A$ be a commutative comodule algebra over a commutative bialgebra $H$. The group of invertible relative Hopf modules maps to the Picard group of $A$, and the kernel is described as a quotient group of the group of invertible group-like elements of the coring $A\otimes H$, or as a Harrison cohomology group. Our methods are based on elementary $K$-theory. The Hilbert 90 theorem follows as a corollary. The part of the Picard group of the coinvariants that becomes trivial after base extension embeds in the Harrison cohomology group, and the image is contained in a well-defined subgroup $E$. It equals $E$ if $H$ is a cosemisimple Hopf algebra over a field.