Consider the set of integers {1, 2, 3, 4, 6, 8, 12, 24} together with the two binary operations LCM (lowest common multiple) and GCD (greatest common divisor). Which of the following algebraic structures does this represent? A. group B. ring C. field D. lattice
GATE 1992 · Discrete Mathematics · Lattice · medium
Answer: The structure is a lattice (Option D).
Recognise GCD/LCM as meet and join: ordering the set {1,2,3,4,6,8,12,24} by divisibility makes GCD the greatest lower bound and LCM the least upper bound; both results are again divisors of 24, so the set is closed under meet and join with bottom 1 and top 24
Eliminate group, ring, field: a group/ring/field needs inverse elements, but you cannot invert a GCD or LCM (e.g. nothing 'un-GCDs' back to a chosen value); the two operations only provide a bounded meet-join structure. Hence the structure is a lattice, not a group (A), ring (B) or field (C)