Generators, relations, and presentations of groups, isomorphism problem, Free nonabelian groups, orbits, Lie algebras and Lie superalgebras, one-relator group, Word problems, other decision problems, connections with logic and automata (group-theoretic aspects), Lie ring of free group, finitely generated groups, submodule lattice structure of free Lie ring, Nilpotent groups, Associated Lie structures for groups, finitely generated nilpotent groups, free Lie ring, equivalent binary forms, lower central series, one-relator nilpotent groups, GL(m,Z)- submodule