Iroquois Brant's crossing of the river gave the original name to the area: Brant's Ford. By 1847, European settlers began to settle nearby and named the village Brantford. The original Mohawk settlement was on the south edge of the present-day Canadian city at a location still favorable for launching and landing canoes. In the 1830s many additional Onondaga, Oneida, Seneca, Cayuga, and Tuscarora relocated into the Indian Territory, the Province of Upper Canada, and Wisconsin. Many Iroquois (mostly Mohawk) and Iroquois-descended Métis people living in Lower Canada (primarily at Kahnawake) took employment with the Montreal-based North West Company during its existence
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"