# Tour:Factsheet one (beginners)

From Groupprops

This page is part of the Groupprops Guided tour for beginners (Jump to beginning of tour)PREVIOUS: Understanding the definition of a group |UP: Introduction one (beginners) |NEXT: Entertainment menu one (beginners)

Below is a list of some important facts that can be proved directly from the definitions we have seen so far of group, subgroup, trivial group, identity element, Abelian group. We'll see these facts (and more) with full proof, in part two of the guided tour. Links to the full proof statements are provided. To make best use of the tour as a learning experience, it is suggested that you *try* to prove these statements yourself.

- The identity element in a group is unique. We'll see the proof of this in part two.
- The trivial group is the group with just one element. In every group, we can find a copy of the trivial group -- as the subset with just the identity element.
- In particular, any group is
*nonempty*, and the smallest group is the trivial group. - Given any element, it has a
*unique*inverse. The proof of this uses associativity. We'll see this proof in part two. - The binary operation of a group determines the other two operations.
- Subgroups are subsets that are closed under all the group operations. Just having a subset that is closed under the multiplication operation, is
*not*enough: for instance, the nonzero integers are closed under multiplication inside the group of nonzero rationals under multiplication, but they don't form a subgroup. - A very special class of groups is the Abelian groups. A group is Abelian iff any two elements
*commute*i.e. the binary operation on it is commutative. Any subgroup of an Abelian group is Abelian. - The multiplication operation in an Abelian group is often denoted additively.

## Notational conventions

- Groups are often denoted by letters like
- The multiplication operation is denoted by or , or by omission. Because of associativity of multiplication, we can omit parentheses when multiplying more than two elements, and, when the context is clear, omit the multiplication symbol as well.
- The inverse operation is denoted by a superscript of . The superscript applies only to the immediately preceding expression. Thus is and not
- A product of the same element with itself many times is denoted by a power of that element. So times
- The multiplicative identity is denoted by or
- For Abelian groups, denotes the addition, and iterated sum is denoted by integer multiplication. So done times.
- denotes the additive inverse in an Abelian group, and denotes the additive identity.
- Subgroups in general are denoted by the sign. So means is a subgroup of . We can also say , but the latter is also used for mere subsets, that aren't subgroups.

This page is part of the Groupprops Guided tour for beginners (Jump to beginning of tour). If you found anything difficult or unclear, make a note of it; it is likely to be resolved by the end of the tour.PREVIOUS: Understanding the definition of a group |UP: Introduction one (beginners) |NEXT: Entertainment menu one (beginners)