You can use an array. I also suggest a different way to cope with cycles in permutations.
\documentclass{article}
\usepackage{amsmath}
\usepackage{upgreek}
\usepackage{lipsum}% for some context
\newcommand{\tu}{\uptau}
\newcommand{\sgm}{\upsigma}
%not \textnormal
\newcommand{\perm}[1]{%
\begingroup
\begingroup\lccode~= \lowercase{\endgroup\let~},%
\catcode` =12 \scantokens{#1}
\endgroup
}
\begin{document}
\lipsum[1][1-4]
\begin{equation}
\begin{array}{@{}l@{}}
\tu \sgm_{r_1} \tu^{-1}
= \perm{(2 3 5)(4 7 6)(1 2 3 4)(5 8 7 6)(5 3 2)(6 7 4)}
= \perm{(1 3 5 7)(2 8 6 4)}
= \sgm_{r_2} \[1ex]
\multicolumn{1}{c}{\text{and}} \[1ex]
\tu \sgm_{s_1} \tu^{-1}
= \perm{(2 3 5)(4 7 6)(1 5)(2 6)(3 7)(4 8)}
= \perm{(1 2)(3 4)(5 6)(7 8)}
= \sgm_{s_2}.
\end{array}
\end{equation}
\lipsum[2][1-4]
\end{document}
What does the magic \perm macro do? It changes the space to an ordinary printable character (like punctuation) and redefines it to do \,. Here I exploit the fact that the \mathcode of space is set to "8000 in the LaTeX kernel.
In any case you should never write something like
\txtn{(1 2 3 4) = (2 3 4 1)}
because the semantics of your document would be ruined. You mean
\txtn{(1 2 3 4)} = \txtn{(2 3 4 1)}
but even if you choose to stick with \textnormal you should properly denote permutations as such, so do \newcommand{\perm}{\textnormal} if you prefer and write the above as
\perm{(1 2 3 4)} = \perm{(2 3 4 1)}
The fact that the output of the equals sign is the same is not relevant; the spaces around it would be different.
Here's a picture of the output

arrayis not too advanced. – egreg Jun 21 '20 at 19:54