1. Let S be a nonempty set, G is a group (written additively), and...