  It is a classic result that certain interacting integrable spin chains host
robust edge modes known as strong zero modes (SZMs). In this work, we extend
this result to the Floquet setting of local quantum circuits, focusing on a
prototypical model providing an integrable Trotterization for the evolution of
the XXZ Heisenberg spin chain. By exploiting the algebraic structures of
integrability, we show that an exact SZM operator can be constructed for these
integrable quantum circuits in certain regions of parameter space. Our
construction, which recovers a well-known result by Paul Fendley in the
continuous-time limit, relies on a set of commuting transfer matrices known
from integrability, and allows us to easily prove important properties of the
SZM, including normalizabilty. Our approach is different from previous methods
and could be of independent interest even in the Hamiltonian setting. Our
predictions, which are corroborated by numerical simulations of
infinite-temperature autocorrelation functions, are potentially interesting for
implementations of the XXZ quantum circuit on available quantum platforms.
