Abstract
We define the decomposable extensions of difference fields and study the irreducibility of q-Painlevé equation of type A7(1)′. Every strongly normal extension or Liouville-Franke extension, the latter of which is a difference analogue of the Liouvillian extension, satisfies that its appropriate algebraic closure is a decomposable extension.
