avion

ну подставь  какое-нибудь значение j в квадратные скобки, например 5, получится A[5], A[4] = A[4], A[5]. По мне так кажется очевидным, что эта строка меняет значения местами в списке, под соответствующими индексами (в A[5] положится текущее значение A[4], а в A[4] текущее значение A[5])

Меняет местами значения в соседних позициях.

Python использует простое правило: если внутри функции есть присваивание, то переменная считается локальной. Именно поэтому при сравнении используется глобальная переменная, а в случае уменьшения на единицу интерпретатор рассматривает переменную как локальную и не находит ее инициализации.