2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/65470We examine the question of when the *-homomorphism of full amalgamated free product C*-algebras λ: A *_D B --> A' *_{D'} B', arising from compatible inclusions of C*-algebras A in A', B in B' and D in D', is an embedding. Results giving sufficient conditions for λto be injective, as well of classes of examples where λfails to be injective, are obtained. As an application, we give necessary and sufficient condition for the full amalgamated free product of finite dimensional C*-algebras to be residually finite dimensional.This is a second revision, including a significant expansion of both the sufficient conditions for embeddings of full free product C*-algebras and of the classes of examples that fail to yield embeddingsOperator Algebras46L09text