-
Notifications
You must be signed in to change notification settings - Fork 299
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
[Merged by Bors] - feat(group_theory/{subgroup, order_of_element}): refactors simple groups, classifies finite simple abelian/solvable groups #6926
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looks really nice!
bors merge |
…ups, classifies finite simple abelian/solvable groups (#6926) Refactors the deprecated `simple_group` to a new `is_simple_group` Shows that all cyclic groups of prime order are simple Shows that all simple `comm_group`s are cyclic Shows that all simple finite `comm_group`s have prime order Shows that a simple group is solvable iff it is commutative
Build failed: |
Feel free to merge after fixing the lint |
✌️ awainverse can now approve this pull request. To approve and merge a pull request, simply reply with |
bors r+ |
…ups, classifies finite simple abelian/solvable groups (#6926) Refactors the deprecated `simple_group` to a new `is_simple_group` Shows that all cyclic groups of prime order are simple Shows that all simple `comm_group`s are cyclic Shows that all simple finite `comm_group`s have prime order Shows that a simple group is solvable iff it is commutative
Build failed (retrying...): |
Canceled. |
I'm not sure why that build failed, the part of the file that failed wasn't a change, and didn't seem to match either my version or the master version... I've merged master, gonna try CI again. |
bors r+, this is the fault of 6768 which goes stale very quickly |
…ups, classifies finite simple abelian/solvable groups (#6926) Refactors the deprecated `simple_group` to a new `is_simple_group` Shows that all cyclic groups of prime order are simple Shows that all simple `comm_group`s are cyclic Shows that all simple finite `comm_group`s have prime order Shows that a simple group is solvable iff it is commutative
Pull request successfully merged into master. Build succeeded: |
…ups, classifies finite simple abelian/solvable groups (#6926) Refactors the deprecated `simple_group` to a new `is_simple_group` Shows that all cyclic groups of prime order are simple Shows that all simple `comm_group`s are cyclic Shows that all simple finite `comm_group`s have prime order Shows that a simple group is solvable iff it is commutative
Refactors the deprecated
simple_group
to a newis_simple_group
Shows that all cyclic groups of prime order are simple
Shows that all simple
comm_group
s are cyclicShows that all simple finite
comm_group
s have prime orderShows that a simple group is solvable iff it is commutative