We prove that no separable Banach algebra is universal for homomorphic embeddings of all separable Banach algebras, whether embeddings are merely bounded or required to be contractive. The same holds in the commutative category.
The proof uses the following scheme. To each bounded bilinear form $β$ we attach a separable test algebra $A(β)$ whose multiplication records $β$. Any homomorphic embedding of $A(β)$ into a candidate $B$ forces the linearisation of $β$ to factor through the fixed separable space $B\widehat{\otimes}_πB$. Choosing $β$ so that the associated operator fails to factor through $B\widehat{\otimes}_πB$, by the theorem of Johnson--Szankowski, yields a contradiction. In the commutative case, we take $β$ symmetric so $A(β)$ is commutative.
