Let $A \to B$ be a proper morphism of $C^\*$-algebras. A nondegenerate representation of $B$ induces a nondegenerate representation of $A$. Does the converse hold?


I.e.: let $A \to B$ be a morphism of $C^\*$-algebras such that every nondegenerate representation of $B$ induces a nondegenerate representation of $A$. Does the morphism result proper? I guess not.



Proper morphisms of C*-algebras / Nondegenerate representations
This is true. Factoring by the kernel of the homomorphism, we may assume that $A$ is a C\*-sub-algebra of $B$ and the homomorphism is just the inclusion.
So assume that $A\subseteq B$ and 


(a) Every non-degenerate representation of $B$ restricted to $A$ is non-degenerate.


Then $A$ cannot be contained in the kernel of a state $\lambda$ of $B$. Otherwise, the GNS construction
would give us a representation $\pi\_\lambda\colon B\to B(H\_\lambda)$ that is non-degenerate but restricted
to $A$ is degenerate (since there exists $h\in H$ such that $\lambda(a)=\langle\pi\_\lambda(a)h,h\rangle$ for all $a\in B$).
So, (a) implies


(b) $A$ is not contained in the kernel of a state of $B$.


This implies that $A$ must generate $B$ as a closed left ideal, by Theorem 3.10.7 of Pedersen's "C\*-algebras and their automorphims".
Now let $(a\_i)$ be an approximate unit for $A$. Then for every element of the form $ab$, with $a\in A$ and $b\in B$,
we have $a\_iab\to ab$. But the linear span of these elements elements is dense in $B$. So, (b) implies


(c) Any approximate unit of $A$ is also an approximate unit of $B$.


