FREE! Click here to Join FunTrivia. Thousands of games, quizzes, and lots more!
Quiz about Group Theory for Beginners
Quiz about Group Theory for Beginners

Group Theory for Beginners Trivia Quiz


While it sounds advanced, the mathematical concept of a group is fundamental to many things we take for granted - things as elementary as being able to add and subtract. Come on in and learn about groups!

A multiple-choice quiz by WesleyCrusher. Estimated time: 6 mins.
  1. Home
  2. »
  3. Quizzes
  4. »
  5. Science Trivia
  6. »
  7. Math
  8. »
  9. Specific Math Topics

Time
6 mins
Type
Multiple Choice
Quiz #
363,095
Updated
Dec 03 21
# Qns
10
Difficulty
Tough
Avg Score
6 / 10
Plays
307
Last 3 plays: Guest 131 (7/10), Guest 75 (7/10), Guest 69 (8/10).
- -
Question 1 of 10
1. A mathematical group needs two basic components - a set of objects and a binary operator. Which of the following could we NOT use because it's not a well-defined set or a binary operator? Hint


Question 2 of 10
2. The first criterion that we will need to satisfy to get a group is closure. This means that every time we perform the defined operation on any operands in the set, the result must be what? (Pick the most precise answer!) Hint


Question 3 of 10
3. Once we have a magma (a set and an operator that together satisfy the closure criterion), the next step towards a group is a semigroup. This is a magma on which the associativity criterion is satisfied. Which is the mathematical equation that must be satisfied for associativity? (Using "&" as a generic operator.) Hint


Question 4 of 10
4. From a semigroup, the next step towards being a full group is the monoid. A monoid, again, needs to satisfy one additional criterion: We need an identity element. Which equation needs to be satisfied so that i can be called the identity element for the operation "&"? Hint


Question 5 of 10
5. The last criterion for a monoid with identity element i to become a group is invertibility - there needs to be an element x for each a so that a & x = i, but each a can have (and usually has) a different x. Do we also need to explicitly require that x & a = i?


Question 6 of 10
6. Now that we know what a group is, let's analyze a real example. We take all real numbers and use multiplication as our operator. Is this a group? Hint


Question 7 of 10
7. How about this one: We take all irrational numbers and, for good measure, put zero (0) in the set as well so that we will have an identity element for addition. All other rational numbers, however, need to stay on the sidelines. How far do we get when checking this structure for being a group? Hint


Question 8 of 10
8. Here's the next candidate to check for you: We use the set 0;1;2;3;4;5;6;7;8;9;10;11;12 and addition mod 13 as our operation (you add the two numbers and if the result is 13 or more, subtract 13). Could this maybe be a group? Hint


Question 9 of 10
9. It can be proven that, in a group, each element has exactly one inverse element - there can't be two or more different inverse elements for the same a.


Question 10 of 10
10. You may note that in all these steps, I have never required that the operation used in the group is commutative, meaning that a & b = b & a for all a and b. It certainly sounds plausible since we already know that a & i = i & a. So can there be a group in which there is no commutativity?



(Optional) Create a Free FunTrivia ID to save the points you are about to earn:

arrow Select a User ID:
arrow Choose a Password:
arrow Your Email:




Most Recent Scores
Today : Guest 131: 7/10
Mar 03 2024 : Guest 75: 7/10
Feb 28 2024 : Guest 69: 8/10
Feb 09 2024 : Buddy1: 8/10
Feb 09 2024 : pollucci19: 5/10
Feb 09 2024 : Smudge111: 3/10

Score Distribution

quiz
Quiz Answer Key and Fun Facts
1. A mathematical group needs two basic components - a set of objects and a binary operator. Which of the following could we NOT use because it's not a well-defined set or a binary operator?

Answer: Operator: Squaring

To make a group, you will need a set of objects (often numbers) and a binary operator - one that takes exactly two operands (input objects) and creates a result (output object). Squaring a number is not a binary operator - it takes only one operand.
2. The first criterion that we will need to satisfy to get a group is closure. This means that every time we perform the defined operation on any operands in the set, the result must be what? (Pick the most precise answer!)

Answer: A member of the set

While the result of any operation must always be unambiguously defined, this is an inherent property of a mathematical operator, so it would not serve as a criterion for a group. The first criterion for a group is that the result of applying the operator on any two operands in the set is part of the set again. As a counterexample, take the set of digits, 0 to 9, and use the operator "average" - while the average of 3 and 5 is 4 (and thus a member of the set), the average of 3 and 6 is 4.5, which is not a digit.

Any such combination of a set and operator that satisfies the closure criterion is called a magma or groupoid.
3. Once we have a magma (a set and an operator that together satisfy the closure criterion), the next step towards a group is a semigroup. This is a magma on which the associativity criterion is satisfied. Which is the mathematical equation that must be satisfied for associativity? (Using "&" as a generic operator.)

Answer: (a & b) & c = a & (b & c)

An operation is associative if it doesn't matter whether you evaluate an expression consisting of three operands and two operators by combining the left or the right two operands first. A counterexample would be the set of integers, using subtraction as the operator:

(7 - 4) - 2 = 3 - 2 = 1, but
7 - (4 - 2) = 7 - 2 = 5

This shows that the magma (integers; subtraction) is not a semigroup and thus can't be a group.
4. From a semigroup, the next step towards being a full group is the monoid. A monoid, again, needs to satisfy one additional criterion: We need an identity element. Which equation needs to be satisfied so that i can be called the identity element for the operation "&"?

Answer: a & i = i & a = a, for all a

An identity element is one that leaves any other element unchanged when used in the operation. This must be satisfied regardless of whether you apply this from the left or from the right.

As a counterexample, let's use the set of (positive) whole numbers. Our operator "&" shall be writing the numbers next to each other, with no space, so 10 & 24 = 1024. This is both closed and associative, so we have a semigroup. 0 is also called a left identity element, because you can put a 0 before any number and not change its value (so 0 & a = a for all a) - however 0 is not a right identity element and thus not a true identity element: 1 & 0 = 10!
5. The last criterion for a monoid with identity element i to become a group is invertibility - there needs to be an element x for each a so that a & x = i, but each a can have (and usually has) a different x. Do we also need to explicitly require that x & a = i?

Answer: No

Interestingly enough, we do not need to state this requirement because we can prove that this is always the case, by using associativity:

Assume we found an x so that a & x = i.

(a & x) & a = i & a = a. Now we know that this needs to be the same as a & (x & a), so a & (x & a) = a as well, but that means that, by the definition of the identity element, x & a = i.

Congratulations. If all these criteria have been met, we now have constructed ourselves a group!
6. Now that we know what a group is, let's analyze a real example. We take all real numbers and use multiplication as our operator. Is this a group?

Answer: No, it is not invertible

So close and yet so far! Multiplication on real numbers is closed (multiplying two real numbers gives a real number), it is associative, it has the identity element 1 and all numbers have an inverse, 1/a - except for that pesky zero. There is no real number x so that 0 * x = 1 and thus our candidate fails the test, remaining a monoid.
7. How about this one: We take all irrational numbers and, for good measure, put zero (0) in the set as well so that we will have an identity element for addition. All other rational numbers, however, need to stay on the sidelines. How far do we get when checking this structure for being a group?

Answer: Nowhere - it's not closed

If you check for associativity, identity and invertibility, this looks like a group, but it isn't, because not every sum of two irrational numbers is irrational. If, for example, you take a = pi and b = 4-pi, these two will add up to 4 which is rational and thus not part of the set I defined.
8. Here's the next candidate to check for you: We use the set {0;1;2;3;4;5;6;7;8;9;10;11;12} and addition mod 13 as our operation (you add the two numbers and if the result is 13 or more, subtract 13). Could this maybe be a group?

Answer: Yes, it's a group

This time we do have a group, no questions asked. All results are integers from 0 to 12, the operation is associative, the identity element is 0, the inverse of 0 is 0 and the inverse of any other element a is 13-a.

I wouldn't have to use 13 in this context - the equivalent structure for any other number of elements is a group as well.
9. It can be proven that, in a group, each element has exactly one inverse element - there can't be two or more different inverse elements for the same a.

Answer: True

Once again, we use associativity for the proof. We'll assume that there are two different inverses for a, which we shall call x and y. Again, the identity element is called i.

Now we look at (x & a) & y = i & y = y.
However, x & (a & y) = x & i = x.

Associativity requires that (x & a) & y = x & (a & y), thus x = y, contradicting our assumption that they are different.
10. You may note that in all these steps, I have never required that the operation used in the group is commutative, meaning that a & b = b & a for all a and b. It certainly sounds plausible since we already know that a & i = i & a. So can there be a group in which there is no commutativity?

Answer: Yes

Yes, there are such groups, but they are difficult to imagine. The simplest set giving one of these has six elements. You can visualize these elements as operations shuffling a three-letter string.

(Somewhat advanced content follows - this is just for the interested):

i is "do nothing". ABC remains ABC.
f is "swap the first two letters". ABC becomes BAC.
l is "swap the last two letters". ABC becomes ACB.
o is "swap the outer two letters". ABC becomes CBA.
x is "take the first letter and put it behind the last". ABC becomes BCA.
y is "take the last letter and put it before the first". ABC becomes CAB.

Now we take {i;f;l;o;x;y} as our set and the operation a & b is "perform a, then perform b". It can be proven by simple counting that this is a group. The identity element is i, the inverse of x is y and vice versa and all other elements are inverse to themselves.

However let's look at o & x versus x & o:

o & x first turns our ABC into CBA, then we shift the C right, resulting in BAC. That's the effect of l, so o & x = l.
x & o however first gives us BCA, then we swap the outer letters for ACB, the outcome of r. So x & o = r.

o & x = l, but x & o = r. Here's your non-commutative group, which, by the way, is called the dihedral group of order 6.
Source: Author WesleyCrusher

This quiz was reviewed by FunTrivia editor CellarDoor before going online.
Any errors found in FunTrivia content are routinely corrected through our feedback system.
3/18/2024, Copyright 2024 FunTrivia, Inc. - Report an Error / Contact Us