Let be a finite group with . Prove that cannot have a subgroup such that .
Under these conditions, there exists a nonidentity element and an element . Consider the product . If , then since and is a subgroup, , a contradiction. If , then we have . Thus , a contradiction. Thus no such subgroup exists.