10

Is this true?

If $G$ is a group of size $n$, and $X$ is a non-empty subset of $G$ then $X^n$ is a subgroup of $G$?

By $X^n$ I mean the set of all products of length $n$ from $X$.

Mikasa
  • 67,374
reza
  • 101

1 Answers1

1

EDIT: please ignore this answer, which was based on not understanding the problem.

There's a standard way to check whether something is a subgroup.

Is it non-empty? Sure.

Is it closed under the operation? $$(a_1a_2\cdots a_n)(b_1b_2\cdots b_n)=(a_1a_2)(a_3a_4)\cdots(b_{n-1}b_n)$$ so that works.

Does it have the inverse of each of its elements? Sure, the inverse of a product of $n$ things is the product of the $n$ inverses (in the opposite order).

All done.

Gerry Myerson
  • 179,216
  • 2
    I think you misunderstood the question: the question is about the product of length $n$ of elements of a given subset of a finite group, not the entire group. – tomasz Oct 13 '12 at 11:29
  • 1
    Besides, as you have interpreted it, the solution is quite trivial: for any $g\in G$ we have $g=g\cdot e^{n-1}$, so the set is just the entire $G$, hence a group. – tomasz Oct 13 '12 at 11:32
  • @tomasz, yes, I thought it was too easy. – Gerry Myerson Oct 13 '12 at 12:13
  • The argument is wrong. You implicitly used the fact that a product of two elements of $X$ and the inverse of an element of $X$ lies again in $X$. Thats it what you want to proove so you have a circle argument. – Sven Wirsing Sep 14 '14 at 11:39