Iroquois passport Iroquois passport The Iroquois passport or Haudenosaunee passport is a form of identification and an "expression of sovereignty" used by the nationals of the Iroquois League (Iroquois: "Haudenosaunee"). The Iroquois government has issued passports since at least 1923, when Haudenosaunee authorities issued a passport to Cayuga statesman Deskaheh to travel to the League of Nations headquarters in Geneva. The Iroquois passport evolved from negotiations with the U.S. State Department, Canada, Britain and other countries and has been used since 1977. In 2005 Japan allowed a delegation travelling on the Iroquois passport to visit that country for the World Congress of
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"