---
title: Semifree Bicrossed Products
url: https://www.emergentmind.com/topics/semifree-bicrossed-products
type: topic
---

# Semifree Bicrossed Products

A semifree bicrossed product is a mathematical construction arising when one of the two twisting structures in a bicrossed (Zappa–Szép–Takeuchi) product is trivial, leading to a "half-twisted" composite object. These constructions are prominent in the study of multiplier Hopf algebras, algebraic quantum groups, monoids, and categorical frameworks such as double categories encoding automata or circuit theory. The semifree variant captures a universal or minimal extension property, reflecting how one factor acts freely while the other encodes a nontrivial twisting or matching.

## 1. General Framework: Bicrossed Products

Given two algebraic objects (e.g., monoids, Hopf algebras) with compatible action and coaction structures, the bicrossed product forms a new object whose elements consist of ordered pairs, and whose algebraic operations are "twisted" by the given interactions. For two monoids $(G, \cdot, e_G)$ and $(H, *, e_H)$ with actions $\triangleright: G \times H \to H$ (left) and $\triangleleft: G \times H \to G$ (right), the bicrossed product $H \bowtie G$ is the set $H \times G$ with multiplication
$$(h_1, g_1) \;\bullet\; (h_2, g_2) = \bigl( h_1 * (g_1 \triangleright h_2),\; (g_1 \triangleleft h_2) \cdot g_2 \bigr),$$
where the cocycle conditions
\[
\begin{aligned}
(B1):\quad & g \triangleright (h_1 * h_2) = (g \triangleright h_1) * ((g \triangleleft h_1) \triangleright h_2), \\
(B2):\quad & (g_1 \cdot g_2) \triangleleft h = (g_1 \triangleleft (g_2 \triangleright h)) \cdot (g_2 \triangleleft h),
\end{aligned}
\]
ensure associativity and unitality. This framework encompasses both quantum group and monoid-theoretic contexts [1202.0746], [2501.01882].

## 2. Semifree Bicrossed Products: Definition and Universal Properties

A semifree bicrossed product is characterized by triviality in one of the two twisting maps:
- If the action of $A$ on $B$ is trivial, i.e., $b \lhd a = \varepsilon_A(a)\,b$, then $A \# B$ reduces to an ordinary tensor product $A \otimes B$, but the coproduct remains twisted by the coaction $\Gamma$.
- If the coaction is trivial, i.e., $\Gamma(a) = 1_B \otimes a$, then the coproduct is simply the tensor coproduct while the product is a standard smash product.

Semifree bicrossed products retain only "half" of the possible mutual twisting, so the monoidal structure is deformed solely by the nontrivial action or coaction. They possess an initial (universal) property: given canonical inclusions $i_H : H \to H \bowtie G$, $i_G : G \to H \bowtie G$ and any cospan $(u_H, u_G)$ into a monoid $N$ with the requisite compatibility, there exists a unique monoid morphism $H \bowtie G \to N$ [2501.01882].

## 3. Construction in Algebraic Quantum Groups and Hopf Algebras

In the setting of algebraic quantum groups (regular multiplier Hopf algebras with integrals), semifree bicrossed products are realized as follows:
- The bicrossed product $A\#B$ consists of the algebraic tensor product $A \otimes B$ with product
\[
(a\# b)(a'\# b') = a\,a'_{(1)} \# (b \lhd a'_{(2)})\,b',
\]
and a coproduct intertwining the action and coaction, ensuring a regular multiplier Hopf algebra structure. When one of the twists is trivial, $A \# B$ becomes semifree, with the structure determined by the remaining nontrivial action (as in the coaction-induced coproduct when $B$ is a $A$-comodule bialgebra) [1202.0746].
- Integrals and modular data in such semifree bicrossed products reflect the interplay between the trivial and nontrivial structure; distinguished multipliers $y \in M(B)$ or $M(A)$ encode how the "untwisted" leg still interacts with the remaining twisted structure, affecting the modular element and automorphisms of the composite.

## 4. Semifree Bicrossed Products in Monoid Theory and Automata

When one factor is a free monoid $A^*$ (words on alphabet $A$), and the other a general monoid $E$, semifree bicrossed products precisely encode the algebra of "Mealy automata" on $E$ with input set $A$:
- The right action $d^+: A^* \times E \to E$ and left action $s^+: A^* \times E \to A^*$ are extended inductively from the automaton transitions.
- The semifree bicrossed product $A^* \bowtie E$ consists of pairs $(\alpha, e)$ with multiplication
$$(\alpha, e) \bullet (\beta, e') = \bigl(\, \alpha * (e \beta),\; (e \beta) \cdot e' \bigr),$$
where $e \beta$ denotes the action and $*$ is concatenation.
- These products are precisely the carriers of free monads in the double category of Mealy automata, establishing a double left adjoint to the forgetful functor from monads to endomorphisms [2501.01882].

## 5. Concrete Examples

A canonical example is the two-state bit-flipper automaton:
- Alphabet $A=\{0,1\}$, states $E=\{q_0,q_1\}$, monoid operation $q_i \cdot q_j = q_j$, and transition functions given by $d(a, q_i) = q_{a \oplus i}$, $s(a, q_i) = a \oplus i$ (where $\oplus$ is XOR).
- The resulting semifree bicrossed product $A^* \bowtie E$ encodes pairs $(w, q_i)$ (words and state), with composition reflecting automaton state and output evolution.

## 6. Connections and Duality

The dual bicrossed product construction exchanges the roles of action and coaction, for example, replacing module structures by comodule ones, and swapping the categorical direction. In multiplier Hopf algebra settings, duality theory demonstrates that the bicrossed product of duals $(\hat A, \hat B)$ is again a bicross product, often of the "second type" (coactions becoming actions, etc.). For semifree cases, this means the dual also features a single nontrivial twist, preserving structural asymmetry [1202.0746].

## 7. Applications and Significance

Semifree bicrossed products provide explicit models in:
- Quantum group theory: producing fusion or hybrid structures between two quantum groups with controlled deformation.
- Automata theory: describing the algebraic structure of free monads in bicategories of circuits or similar categorical settings [2501.01882].
- Operator algebras: constructing new examples of regular multiplier Hopf algebras.
The semifree nature admits computational tractability and universality properties, while maintaining enough structure to encapsulate nontrivial dynamics or symmetries.

---

For comprehensive formalism and worked-out proofs, see [1202.0746] for the algebraic quantum group perspective, and [2501.01882] for applications to double category theory, monads, and automata.

Source: https://www.emergentmind.com/topics/semifree-bicrossed-products