Manchester City have signed 23-year-old defender Ruben Dias from Benfica on a six-year deal for about £65m.
Argentine centre-back Nicolas Otamendi has moved the other way for £13.7m.
Dias becomes City boss Pep Guardiola’s third significant summer signing, following the arrivals of defender Nathan Ake and forward Ferran Torres.
“To have the opportunity to join a club like Manchester City is a fantastic opportunity for me and one I couldn’t turn down,” said Dias.
“Their success speaks for itself. They have been the dominant team in England over the last few years, playing an attacking brand of football which I feel suits my own game.
“It is really exciting to be part of such a talented squad and to play for a world class manager like Pep Guardiola, who has a proven track record of developing young players like myself.” (BBC)