# Tour:Inquiry problems two (beginners)

This page is a Inquiry problems page, part of the Groupprops guided tour for beginners (Jump to beginning of tour)PREVIOUS: Interdisciplinary problems two (beginners)|UP: Introduction two |NEXT: Objective evaluator two (beginners)PREVIOUS SECTION Inquiry problems: Inquiry problems one|NEXT SECTION Inquiry problems: Inquiry problems three

General instructions for the tour | Pedagogical notes for the tour | Pedagogical notes for this part

## Contents

## Fixing things that aren't quite groups

### Adding a point at infinity: review

In the previous part, we looked at the following problem:

Consider the set . Define the following commutative multiplication on : the product of two finite real numbers is their usual product, the product of a nonzero real number with is (whichever order we multiply them in), the product of and is , and the product of and is (whichever order we multiply them in).

Explicitly:

- For , the product is defined via the usual multiplication of real numbers.
- ( could be a nonzero real number or )

Is a group under multiplication?

In part two, we saw a result that shows this is not possible. We proved that in a group, every element is cancellative. However, is *not* cancellative, because , but .

Thus, with its usual multiplication cannot be embedded as a subset in *any* group. In particular, is not a group.

Let's try to see this directly. Why is not a group? There is an identity element, and every element has a two-sided inverse, and multiplication of reals is associative, so where is the problem?

Let's review the proof that in a group, any element is invertible. The proof began like this:

We start with an equation:

.

We then multiply both sides by :

.

Now, we use associativity:

.

And we simplify. The crucial thing we're using is the associativity involving and . This suggests that the problem is with associativity involving and . Indeed:

.

### What can be put in a group?

The binary operation of a group is associative and cancellative. Both these properties are inherited to subsets; in particular, any subset of the group closed under the multiplication is a cancellative semigroup.

There are then two *reverse* questions:

- Given a cancellative semigroup, can it be embedded as a subset of a group, with the same multiplication?
- Given a cancellative monoid, can it be embedded as a subset of a group, with the same multiplication and the same identity element?

Let's try to see some examples where we can do this. Here are two examples:

- Consider the monoid of nonnegative integers under addition. This monoid can be embedded in the group of all integers under addition. Moreover, the group of integers is the
*smallest*group containing this monoid - Consider the monoid of nonzero integers under multiplication. This monoid can be embedded in the group of all nonzero rational numbers under multiplication. Moreover, the group of rational numbers is the
*smallest*group containing this monoid.

Try to give a general construction that starts with a cancellative monoid, and constructs a group containing it. If you cannot do this, find a construction that works for a particular class of cancellative monoids.

### Forcing associativity and inverses through suitable equivalence relations

**PLACEHOLDER FOR INFORMATION TO BE FILLED IN**: [SHOW MORE]

## More about the shape of groups

### Subgroups: small and large

Here's another reason why cannot be a group. If it were, it would have a subgroup, (the nonzero reals) which misses only two points. This is a very huge subgroup.

Can there exist an infinite group with a subgroup whose set-theoretic complement has size one? Can there exist an infinite group with a subgroup whose set-theoretic complement has size two? Can there exist an infinite group with a proper subgroup whose set-theoretic complement has finite size?

What can we say about the size of a proper subgroup in terms of the size of the whole group? Can we argue that its complement isat leastas large as the subgroup itself? Can we say more?

This page is a Inquiry problems page, part of the Groupprops guided tour for beginners (Jump to beginning of tour)PREVIOUS: Interdisciplinary problems two (beginners)|UP: Introduction two |NEXT: Objective evaluator two (beginners)PREVIOUS SECTION Inquiry problems: Inquiry problems one|NEXT SECTION Inquiry problems: Inquiry problems three

General instructions for the tour | Pedagogical notes for the tour | Pedagogical notes for this part