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 1 hour ago President Museveni's Speech During International Development Association (IDA) Summit View the latest post Replies 1 Views 11
- by Eli 1 hour ago From Simple Linear Regression Analysis to Covariance & Correlation to Independent Determinant, and R-Squared View the latest post Replies 11 Views 24266
- by Eli 8 hours ago All in One: YouTube, TED, X, Facebook and Instagram Reels, Videos, Images and Text Posts View the latest post Replies 323 Views 23592
- by Eli 1 day ago Re: What is in Your Mind? View the latest post Replies 697 Views 288635
- by Eli 2 days ago Russia Invades Ukraine View the latest post Replies 655 Views 224475
- by Eli 3 days ago Collection of Greatest Christian Hymns of all Times View the latest post Replies 34 Views 57440
- by Eli 3 days ago Pondering Big Cosmology Questions Through Lectures and Dialogues View the latest post Replies 34 Views 57579
- by Eli 5 days ago Programmatically Manipulate Files: Renaming, Reading, Writing, Deleting, and Moving Files Between Folders View the latest post Replies 7 Views 6451
- by Eli 1 week ago Iran Launches Retaliatory Attack Against Israel, and Israel Retaliates by Attacking Iranian Isfahan Millitary Base View the latest post Replies 28 Views 6035
- by Eli 2 weeks ago Python Packages for Scientific Computing View the latest post Replies 8 Views 12701
-
A Group of Even Order
-
- Information
-
Who is online
Users browsing this forum: No registered users and 0 guests