Thread: proving existence

Hi, how would I show that for any group table that for each row there exists every element of the group at least once. That is, every row of the table lists every element of the group.

OK, So I have proven uniqueness:

Assume that occurs twice in the same row, call it row , then there must be columns and such that . But this implies that . Contradiction.

Now, for the existence...

Originally Posted by VonNemo19

Hi, how would I show that for any group table that for each row there exists every element of the group at least once. That is, every row of the table lists every element of the group.

OK, So I have proven uniqueness:

Assume that occurs twice in the same row, call it row , then there must be columns and such that . But this implies that . Contradiction.

Now, for the existence...

(or similar depending on how you write your rows and columns).