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.
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$.
