Iroquois the decentralized political and diplomatic entity that emerged in response to European colonization. According to that theory, "The League" still exists. The Confederacy dissolved after the defeat of the British and allied Iroquois nations in the American Revolutionary War. Today's Iroquois/Six Nations people do not make any distinction between "The League" and "the Confederacy" and use the terms interchangeably, preferring the name Haudenosaunee Confederacy. After the defeat of the British, they ceded most of the Iroquois territory to the United States, without bringing their allies to the negotiating table. Many of the Iroquois migrated to Canada, forced out of New
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"