MathDB
Putnam 1976 B2

Source:

April 19, 2022
college contests

Problem Statement

Suppose that GG is a group generated by elements AA and BB, that is, every element of GG can be written as a finite "word" An1Bn2An3Bnk,A^{n_1}B^{n_2}A^{n_3}\dots B^{n_k}, where n1,nkn_1,\dots n_k are any integers, and A0=B0=1A^0=B^0=1 as usual. Also suppose that A4=B7=ABA1B=1,A21,A^4=B^7=ABA^{-1}B=1, A^2\neq 1, and B1.B\neq 1.
(a) How many elements of GG are of the form C2C^2 with CC in GG? (b) Write each such square as a word in AA and B.B.