The author’s structure theorem
for orthodox semigroups produced an orthodox semigroup ℋ(E,T,ψ) from a band E,
an inverse semi-group T and a morphism ψ between two inverse semigroups, namely
T and WE∕γ, an inverse semigroup constructed from E. Here, we solve the
isomorphism problem: when are two such orthodox semigroups isomorphic? This
leads to a way of producing all orthodox semigroups, up to isomorphism,
with prescribed band E and maximum inverse semigroup morphic image
T.