Consider the set S = {1, omega, omega^2}, where omega and omega^2 are cube roots of unity. If * denotes the multiplication operation, the structure (S, *) forms
A. A Group
B. A Ring
C. An integral domain
D. A field
GATE 2010 · Discrete Mathematics · Group Theory · medium
Answer: All group axioms hold under the single operation, so (S, *) is a Group; answer A.
Rule out two-operation structures: Only one operation * is given. Rings, integral domains, and fields are defined with two operations (addition and multiplication), so B, C, D cannot apply.
Verify the group axioms for (S, *): Closure: products of cube roots of unity are cube roots of unity (omega*omega = omega^2, omega*omega^2 = 1). Associativity holds for complex multiplication. Identity = 1. Inverses: 1^-1=1, omega^-1=omega^2, (omega^2)^-1=omega.