A group is an algebraic structure that is closed under binary operation, associative, each of its element has an inverse and there is a common identity element.
Problem
Let be a finite group of even order. Show that has an element such tha
Proof
Let be the group of even order.
Suppose that each element of is paired with its inverse ( Note that the identity element is paired to itself)
Then consists of the union of all of the pairs
Now,
Suppose that no element other than identity, is paired to itself
Let the number of pairs excluding the identity be , then (since there are pairs + the identity)
But, this makes the order of odd, a contradiction, and thus there must be at least one element that is paired with its inverse (this makes the order of even)
Let be paired with its inverse, then , and hence
-
- Active Topics
-
-
- by Eli 5 hours ago Inaugural Lecture by Prof. Mukandala: Dola, Soko na Kushindwa kwa Taasisi View the latest post Replies 2 Views 54
- by Eli 1 day ago All in One: YouTube, TED, X, Facebook and Instagram Reels, Videos, Images and Text Posts View the latest post Replies 332 Views 41266
- by Eli 1 day ago Iran's President Ebrahim Raisi Aged 63 Dies in a Helicopter Crash View the latest post Replies 3 Views 66
- by Eli 1 day ago Re: What is in Your Mind? View the latest post Replies 717 Views 308046
- by Eli 3 days ago PySpark for Large Data Processing View the latest post Replies 2 Views 8182
- by Eli 3 days ago Online Bible View the latest post Replies 3 Views 23334
- by Eli 4 days ago Generating SSH Key and Adding it to the ssh-agent for Authentication on GitHub View the latest post Replies 1 Views 513
- by Eli 1 week ago Russia Invades Ukraine View the latest post Replies 663 Views 241955
- by Eli 2 weeks ago President Museveni's Speech During International Development Association (IDA) Summit View the latest post Replies 1 Views 509
- by Eli 2 weeks ago From Simple Linear Regression Analysis to Covariance & Correlation to Independent Determinant, and R-Squared View the latest post Replies 11 Views 25150
-
A Group of Even Order
-
- Information
-
Who is online
Users browsing this forum: No registered users and 0 guests