{
localUrl: '../page/simplicity_of_alternating_group_five_simpler_proof.html',
arbitalUrl: 'https://arbital.com/p/simplicity_of_alternating_group_five_simpler_proof',
rawJsonUrl: '../raw/4jt.json',
likeableId: '0',
likeableType: 'page',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
pageId: 'simplicity_of_alternating_group_five_simpler_proof',
edit: '2',
editSummary: '',
prevEdit: '1',
currentEdit: '2',
wasPublished: 'true',
type: 'wiki',
title: 'The alternating group on five elements is simple: Simpler proof',
clickbait: 'A proof which avoids some of the heavy machinery of the main proof.',
textLength: '1999',
alias: 'simplicity_of_alternating_group_five_simpler_proof',
externalUrl: '',
sortChildrenBy: 'likes',
hasVote: 'false',
voteType: '',
votesAnonymous: 'false',
editCreatorId: 'PatrickStevens',
editCreatedAt: '2016-06-17 21:38:57',
pageCreatorId: 'PatrickStevens',
pageCreatedAt: '2016-06-17 21:18:46',
seeDomainId: '0',
editDomainId: 'AlexeiAndreev',
submitToDomainId: '0',
isAutosave: 'false',
isSnapshot: 'false',
isLiveEdit: 'true',
isMinorEdit: 'false',
indirectTeacher: 'false',
todoCount: '0',
isEditorComment: 'false',
isApprovedComment: 'true',
isResolved: 'false',
snapshotText: '',
anchorContext: '',
anchorText: '',
anchorOffset: '0',
mergedInto: '',
isDeleted: 'false',
viewCount: '29',
text: 'If there is a non-trivial [-4h6] $H$ of the [-4hf] $A_5$ on five elements, then [4jw it is a union of conjugacy classes].\nAdditionally, by [4jn Lagrange's theorem], the [3gg order] of a subgroup must divide the order of the group, so the total size of $H$ must divide $60$.\n\nWe can list the [alternating_group_five_conjugacy_classes conjugacy classes of $A_5$]; they are of size $1, 20, 15, 12, 12$ respectively.\n\nBy a brute-force check, no sum of these containing $1$ can possibly divide $60$ (which is the size of $A_5$) unless it is $1$ or $60$.\n\n# The brute-force check\n\nWe first list the [number_theory_divisor divisors] of $60$: they are $$1, 2, 3, 4, 5, 6, 10, 12, 15, 20, 30, 60$$\n\nSince the subgroup $H$ must contain the identity, it must contain the conjugacy class of size $1$.\nIf it contains any other conjugacy class (which, as it is a non-trivial subgroup by assumption, it must), then the total size must be at least $13$ (since the smallest other class is of size $12$); so it is allowed to be one of $15$, $20$, $30$, or $60$.\nSince $H$ is also assumed to be a *proper* subgroup, it cannot be $A_5$ itself, so in fact $60$ is also banned.\n\n## The class of size $20$\nIf $H$ then contains the conjugacy class of size $20$, then $H$ can only be of size $30$ because we have already included $21$ elements.\nBut there is no way to add just $9$ elements using conjugacy classes of size bigger than or equal to $12$.\n\nSo $H$ cannot contain the class of size $20$.\n\n## The class of size $15$\n\nIn this case, $H$ is allowed to be of size $20$ or $30$, and we have already found $16$ elements of it. So there are either $4$ or $14$ elements left to find; but we are only allowed to add classes of size exactly $12$, so this can't be done either.\n\n## The classes of size $12$\n\nWhat remains is two classes of size $12$, from which we can make $1+12 = 13$ or $1+12+12 = 25$.\nNeither of these divides $60$, so these are not legal options either.\n\nThis exhausts the search, and completes the proof.',
metaText: '',
isTextLoaded: 'true',
isSubscribedToDiscussion: 'false',
isSubscribedToUser: 'false',
isSubscribedAsMaintainer: 'false',
discussionSubscriberCount: '1',
maintainerCount: '1',
userSubscriberCount: '0',
lastVisit: '',
hasDraft: 'false',
votes: [],
voteSummary: 'null',
muVoteSummary: '0',
voteScaling: '0',
currentUserVote: '-2',
voteCount: '0',
lockedVoteType: '',
maxEditEver: '0',
redLinkCount: '0',
lockedBy: '',
lockedUntil: '',
nextPageId: '',
prevPageId: '',
usedAsMastery: 'false',
proposalEditNum: '0',
permissions: {
edit: {
has: 'false',
reason: 'You don't have domain permission to edit this page'
},
proposeEdit: {
has: 'true',
reason: ''
},
delete: {
has: 'false',
reason: 'You don't have domain permission to delete this page'
},
comment: {
has: 'false',
reason: 'You can't comment in this domain because you are not a member'
},
proposeComment: {
has: 'true',
reason: ''
}
},
summaries: {},
creatorIds: [
'PatrickStevens'
],
childIds: [],
parentIds: [
'alternating_group_five_is_simple'
],
commentIds: [],
questionIds: [],
tagIds: [],
relatedIds: [],
markIds: [],
explanations: [],
learnMore: [],
requirements: [
{
id: '4200',
parentId: 'lagrange_theorem_on_subgroup_size',
childId: 'simplicity_of_alternating_group_five_simpler_proof',
type: 'requirement',
creatorId: 'AlexeiAndreev',
createdAt: '2016-06-17 21:58:56',
level: '1',
isStrong: 'false',
everPublished: 'true'
},
{
id: '4201',
parentId: 'subgroup_normal_iff_union_of_conjugacy_classes',
childId: 'simplicity_of_alternating_group_five_simpler_proof',
type: 'requirement',
creatorId: 'AlexeiAndreev',
createdAt: '2016-06-17 21:58:56',
level: '1',
isStrong: 'false',
everPublished: 'true'
},
{
id: '4206',
parentId: 'simple_group',
childId: 'simplicity_of_alternating_group_five_simpler_proof',
type: 'requirement',
creatorId: 'AlexeiAndreev',
createdAt: '2016-06-17 21:58:56',
level: '1',
isStrong: 'false',
everPublished: 'false'
},
{
id: '4207',
parentId: 'alternating_group',
childId: 'simplicity_of_alternating_group_five_simpler_proof',
type: 'requirement',
creatorId: 'AlexeiAndreev',
createdAt: '2016-06-17 21:58:56',
level: '1',
isStrong: 'false',
everPublished: 'true'
}
],
subjects: [],
lenses: [],
lensParentId: 'alternating_group_five_is_simple',
pathPages: [],
learnMoreTaughtMap: {},
learnMoreCoveredMap: {},
learnMoreRequiredMap: {},
editHistory: {},
domainSubmissions: {},
answers: [],
answerCount: '0',
commentCount: '0',
newCommentCount: '0',
linkedMarkCount: '0',
changeLogs: [
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '13860',
pageId: 'simplicity_of_alternating_group_five_simpler_proof',
userId: 'TeamArbital',
edit: '0',
type: 'newRequirement',
createdAt: '2016-06-18 12:13:21',
auxPageId: 'alternating_group',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '13738',
pageId: 'simplicity_of_alternating_group_five_simpler_proof',
userId: 'PatrickStevens',
edit: '2',
type: 'newRequirement',
createdAt: '2016-06-17 21:41:54',
auxPageId: 'alternating_group',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '13736',
pageId: 'simplicity_of_alternating_group_five_simpler_proof',
userId: 'PatrickStevens',
edit: '2',
type: 'newRequirement',
createdAt: '2016-06-17 21:41:49',
auxPageId: 'simple_group',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '13724',
pageId: 'simplicity_of_alternating_group_five_simpler_proof',
userId: 'PatrickStevens',
edit: '2',
type: 'newEdit',
createdAt: '2016-06-17 21:38:57',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '13723',
pageId: 'simplicity_of_alternating_group_five_simpler_proof',
userId: 'PatrickStevens',
edit: '1',
type: 'newRequirement',
createdAt: '2016-06-17 21:38:43',
auxPageId: 'subgroup_normal_iff_union_of_conjugacy_classes',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '13721',
pageId: 'simplicity_of_alternating_group_five_simpler_proof',
userId: 'PatrickStevens',
edit: '1',
type: 'newRequirement',
createdAt: '2016-06-17 21:38:40',
auxPageId: 'lagrange_theorem_on_subgroup_size',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '13703',
pageId: 'simplicity_of_alternating_group_five_simpler_proof',
userId: 'PatrickStevens',
edit: '1',
type: 'newEdit',
createdAt: '2016-06-17 21:18:46',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '13700',
pageId: 'simplicity_of_alternating_group_five_simpler_proof',
userId: 'PatrickStevens',
edit: '1',
type: 'newParent',
createdAt: '2016-06-17 21:08:13',
auxPageId: 'alternating_group_five_is_simple',
oldSettingsValue: '',
newSettingsValue: ''
}
],
feedSubmissions: [],
searchStrings: {},
hasChildren: 'false',
hasParents: 'true',
redAliases: {},
improvementTagIds: [],
nonMetaTagIds: [],
todos: [],
slowDownMap: 'null',
speedUpMap: 'null',
arcPageIds: 'null',
contentRequests: {}
}