Iroquois prosperous settlements in the 19th century, supporting themselves via farming and the sale of sleds, snowshoes, boats, and baskets. In 1884, about 100 Canadian Iroquois were hired by the British government to serve as river pilots and boatmen for the relief expedition for the besieged General Charles Gordon in Khartoum in the Sudan, taking the force commanded by Field Marshal Wolsely up the Nile from Cairo to Khartoum. On their way back to Canada, the Canadian Iroquois river pilots and boatmen stopped in London, where they were personally thanked by Queen Victoria for their services to Queen and Country. In
Word problem for groups would expect it to be difficult to prove as the mapping from presentations to simple groups would have to be non-recursive. The following has been proved by Bernhard Neumann and Angus Macintyre: What is remarkable about this is that the algebraically closed groups are so wild that none of them has a recursive presentation. The oldest result relating algebraic structure to solvability of the word problem is Kuznetsov's theorem: To prove this let ⟨"X"|"R"⟩ be a recursive presentation for "S". Choose "a" ∈ S such that "a" ≠ 1 in "S". If "w" is a word on the generators "X"