Equivalences of (co)module algebra structures over Hopf algebras

We introduce the notion of support equivalence for (co)module algebras (over Hopf algebras), which generalizes in a natural way (weak) equivalence of gradings. We show that for each equivalence class of (co)module algebra structures on a given algebra A, there exists a unique universal Hopf algebra H together with an H-(co)module structure on A such that any other equivalent (co)module algebra structure on A factors through the action of H. We study support equivalence and the universal Hopf algebras mentioned above for group gradings, Hopf-Galois extensions, actions of algebraic groups and cocommutative Hopf algebras. We show how the notion of support equivalence can be used to reduce the classification problem of Hopf algebra (co)actions. We apply support equivalence in the study of the asymptotic behaviour of codimensions of H-identities and, in particular, to the analogue (formulated by Yu. A. Bahturin) of Amitsur's conjecture, which was originally concerned with ordinary polynomial identities. As an example we prove this analogue for all unital H-module structures on the algebra $F[x]/(x^2)$ of dual numbers.Comment: 35 pages; to appear in Journal of Noncommutative Geometr

The Classification of All Crossed Products H4#k[Cn]H_4 \# k[C_{n}]

Using the computational approach introduced in [Agore A.L., Bontea C.G., Militaru G., J. Algebra Appl. 12 (2013), 1250227, 24 pages, arXiv:1207.0411] we classify all coalgebra split extensions of $H_4$ by $k[C_n]$, where $C_n$ is the cyclic group of order $n$ and $H_4$ is Sweedler's $4$-dimensional Hopf algebra. Equivalently, we classify all crossed products of Hopf algebras $H_4 \# k[C_{n}]$ by explicitly computing two classifying objects: the cohomological 'group' ${\mathcal H}^{2} ( k[C_{n}], H_4)$ and $\text{CRP}( k[C_{n}], H_4):=$ the set of types of isomorphisms of all crossed products $H_4 \# k[C_{n}]$. More precisely, all crossed products $H_4 \# k[C_n]$ are described by generators and relations and classified: they are $4n$-dimensional quantum groups $H_{4n, \lambda, t}$, parameterized by the set of all pairs $(\lambda, t)$ consisting of an arbitrary unitary map $t : C_n \to C_2$ and an $n$-th root $\lambda$ of $\pm 1$. As an application, the group of Hopf algebra automorphisms of $H_{4n, \lambda, t}$ is explicitly described

Crossed Product of Cyclic Groups

All crossed products of two cyclic groups are explicitly described using generators and relations. A necessary and sufficient condition for an extension of a group by a group to be a cyclic group is given.Comment: To appear in Czechoslovak Mathematical Journa

Schreier type theorems for bicrossed products

We prove that the bicrossed product of two groups is a quotient of the pushout of two semidirect products. A matched pair of groups $(H, G, \alpha, \beta)$ is deformed using a combinatorial datum $(\sigma, v, r)$ consisting of an automorphism $\sigma$ of $H$, a permutation $v$ of the set $G$ and a transition map $r: G\to H$ in order to obtain a new matched pair $\bigl(H, (G,*), \alpha', \beta' \bigl)$ such that there exist an $\sigma$-invariant isomorphism of groups $H {}_{\alpha} \bowtie_{\beta} G \cong H {}_{\alpha'} \bowtie_{\beta'} (G,*)$. Moreover, if we fix the group $H$ and the automorphism \sigma \in \Aut(H) then any $\sigma$-invariant isomorphism $H {}_{\alpha} \bowtie_{\beta} G \cong H {}_{\alpha'} \bowtie_{\beta'} G'$ between two arbitrary bicrossed product of groups is obtained in a unique way by the above deformation method. As applications two Schreier type classification theorems for bicrossed product of groups are given.Comment: 21 pages, final version to appear in Central European J. Mat

VV-universal Hopf algebras (co)acting on Ω\Omega-algebras

We develop a theory which unifies the universal (co)acting bi/Hopf algebras as studied by Sweedler, Manin and Tambara with the recently introduced \cite{AGV1} bi/Hopf-algebras that are universal among all support equivalent (co)acting bi/Hopf algebras. Our approach uses vector spaces endowed with a family of linear maps between tensor powers of $A$, called $\Omega$-algebras. This allows us to treat algebras, coalgebras, braided vector spaces and many other structures in a unified way. We study $V$-universal measuring coalgebras and $V$-universal comeasuring algebras between $\Omega$-algebras $A$ and $B$, relative to a fixed subspace $V$ of \Vect(A,B). By considering the case $A=B$, we derive the notion of a $V$-universal (co)acting bialgebra (and Hopf algebra) for a given algebra $A$. In particular, this leads to a refinement of the existence conditions for the Manin--Tambara universal coacting bi/Hopf algebras. We establish an isomorphism between the $V$-universal acting bi/Hopf algebra and the finite dual of the $V$-universal coacting bi/Hopf algebra under certain conditions on $V$ in terms of the finite topology on \End_F(A).Comment: To appear in Commun. Contemp. Mat