Dados A uma C*-álgebra com unidade e \alpha um *-endomorfismo de A, um operador transferência para o par (A, \alpha) é uma aplicação linear contínua positiva L: A --> A tal que L(\alpha(a)b) = a L(b), para todo a, b \in A. Nestas condições, denotamos por T(A, \alpha, L) a C*-álgebra universal com unidade gerada por A e um elemento S sujeito às relações Sa = \alpha(a)S e S*aS = L(a). Uma redundância é definida como o par (a, k) \in A x \overline{ASS* A} tal que abS = akS, para todo b \in A. Neste trabalho definimos a C*-álgebra chamada de produto cruzado como o quociente de T(A, \alpha, L) pelo ideal bilateral fechado I gerado pelo conjunto das diferenças a-k, para todas as redundâncias (a, k) tais que a \in \overline, onde R denota a Im \alpha. Mostramos que quando \alpha é injetor com imagem hereditária, então o produto cruzado é isomorfo à C*-álgebra universal com unidade, denotada por U(A, \alpha), gerada por A e uma isometria T sujeita à relação \alpha(a) = TaT*, para todo a \in A. Também mostramos que a álgebra de Cuntz-Krieger O_A pode ser caracterizada como o produto cruzado definido neste trabalho.

Given A a C*-algebra with unit and \alpha an *-endomorphism of A, a transfer operator for the pair (A, \alpha) is a continuous positive linear map L: A --> A such that L(\alpha(a)b) = a L(b), for all a, b \in A. Under these conditions , we denote by T(A, \alpha, L) the universal C*-algebra with unit generated by A and an element S subject to the relations Sa = \alpha(a)S and S*aS = L(a). A redundancy is defined as a pair (a, k) \in A x \overline{ASS* A} such that abS = akS, for all b \in A. In tjis work we define the C*-algebra called crossed-product as the quotient of T(A, \alpha, L) by the closed two-sided ideal I generated by the set of all differences a-k, for all redundancies (a, k) such that a \in \overline, where by R we mean Im \alpha. We prove that when \alpha is injective with an hereditary range, then the crossed-product is isomorphic to the universal C*-algebra with unit, which we denote by U(A, \alpha), generated by A and an isometry T subject to the relation \alpha(a) = TaT*, for all a \in A. We also prove that the Cuntz-Krieger algebra O_A can be characterized as the crossed-product we define in this work.