{ localUrl: '../page/conjugacy_class_is_cycle_type_in_symmetric_group.html', arbitalUrl: 'https://arbital.com/p/conjugacy_class_is_cycle_type_in_symmetric_group', rawJsonUrl: '../raw/4bh.json', likeableId: '0', likeableType: 'page', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], pageId: 'conjugacy_class_is_cycle_type_in_symmetric_group', edit: '5', editSummary: '', prevEdit: '4', currentEdit: '5', wasPublished: 'true', type: 'wiki', title: 'Conjugacy class is cycle type in symmetric group', clickbait: 'There is a neat characterisation of the conjugacy classes in the symmetric group on a finite set.', textLength: '1424', alias: 'conjugacy_class_is_cycle_type_in_symmetric_group', externalUrl: '', sortChildrenBy: 'likes', hasVote: 'false', voteType: '', votesAnonymous: 'false', editCreatorId: 'PatrickStevens', editCreatedAt: '2016-06-16 20:38:51', pageCreatorId: 'PatrickStevens', pageCreatedAt: '2016-06-14 22:27:04', 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: '19', text: 'In the [-497] on a finite set, the [-4bj] of an element is determined exactly by its [4cg cycle type].\n\nMore precisely, two elements of $S_n$ are [group_conjugate conjugate] in $S_n$ if and only if they have the same cycle type.\n\n# Proof\n\n## Same conjugacy class implies same cycle type\nSuppose $\\sigma$ has the cycle type $n_1, \\dots, n_k$; write $$\\sigma = (a_{11} a_{12} \\dots a_{1 n_1})(a_{21} \\dots a_{2 n_2}) \\dots (a_{k 1} a_{k 2} \\dots a_{k n_k})$$\nLet $\\tau \\in S_n$.\n\nThen $\\tau \\sigma \\tau^{-1}(\\tau(a_{ij})) = \\tau \\sigma(a_{ij}) = a_{i (j+1)}$, where $a_{i (n_i+1)}$ is taken to be $a_{i 1}$.\n\nTherefore $$\\tau \\sigma \\tau^{-1} = (\\tau(a_{11}) \\tau(a_{12}) \\dots \\tau(a_{1 n_1}))(\\tau(a_{21}) \\dots \\tau(a_{2 n_2})) \\dots (\\tau(a_{k 1}) \\tau(a_{k 2}) \\dots \\tau(a_{k n_k}))$$\nwhich has the same cycle type as $\\sigma$ did.\n\n## Same cycle type implies same conjugacy class\n\nSuppose $$\\pi = (b_{11} b_{12} \\dots b_{1 n_1})(b_{21} \\dots b_{2 n_2}) \\dots (b_{k 1} b_{k 2} \\dots b_{k n_k})$$\nso that $\\pi$ has the same cycle type as the $\\sigma$ from the previous direction of the proof.\n\nThen define $\\tau(a_{ij}) = b_{ij}$, and insist that $\\tau$ does not move any other elements.\n\nNow $\\tau \\sigma \\tau^{-1} = \\pi$ by the final displayed equation of the previous direction of the proof, so $\\sigma$ and $\\pi$ are conjugate.\n\n# Example\nThis result makes it rather easy to [4bk list the conjugacy classes] of $S_5$.', 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: 'true', 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: [ 'symmetric_group' ], commentIds: [], questionIds: [], tagIds: [], relatedIds: [], markIds: [], explanations: [], learnMore: [], requirements: [ { id: '3923', parentId: 'conjugacy_class', childId: 'conjugacy_class_is_cycle_type_in_symmetric_group', type: 'requirement', creatorId: 'AlexeiAndreev', createdAt: '2016-06-17 21:58:56', level: '1', isStrong: 'false', everPublished: 'true' }, { id: '3929', parentId: 'symmetric_group', childId: 'conjugacy_class_is_cycle_type_in_symmetric_group', type: 'requirement', creatorId: 'AlexeiAndreev', createdAt: '2016-06-17 21:58:56', level: '1', isStrong: 'false', everPublished: 'true' } ], subjects: [], lenses: [], lensParentId: '', 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: '13882', pageId: 'conjugacy_class_is_cycle_type_in_symmetric_group', userId: 'PatrickStevens', edit: '0', type: 'newRequiredBy', createdAt: '2016-06-18 12:58:05', auxPageId: 'splitting_conjugacy_classes_in_alternating_group', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '13381', pageId: 'conjugacy_class_is_cycle_type_in_symmetric_group', userId: 'PatrickStevens', edit: '5', type: 'newEdit', createdAt: '2016-06-16 20:38:51', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '12981', pageId: 'conjugacy_class_is_cycle_type_in_symmetric_group', userId: 'PatrickStevens', edit: '0', type: 'deleteTag', createdAt: '2016-06-15 09:42:54', auxPageId: 'stub_meta_tag', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '12979', pageId: 'conjugacy_class_is_cycle_type_in_symmetric_group', userId: 'PatrickStevens', edit: '4', type: 'newEdit', createdAt: '2016-06-15 09:42:24', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '12978', pageId: 'conjugacy_class_is_cycle_type_in_symmetric_group', userId: 'PatrickStevens', edit: '3', type: 'newEdit', createdAt: '2016-06-15 09:42:03', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '12853', pageId: 'conjugacy_class_is_cycle_type_in_symmetric_group', userId: 'PatrickStevens', edit: '2', type: 'newEdit', createdAt: '2016-06-14 22:37:57', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '12850', pageId: 'conjugacy_class_is_cycle_type_in_symmetric_group', userId: 'PatrickStevens', edit: '1', type: 'newRequirement', createdAt: '2016-06-14 22:37:25', auxPageId: 'symmetric_group', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '12842', pageId: 'conjugacy_class_is_cycle_type_in_symmetric_group', userId: 'PatrickStevens', edit: '1', type: 'newRequiredBy', createdAt: '2016-06-14 22:31:36', auxPageId: 'symmetric_group_five_conjugacy_classes', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '12836', pageId: 'conjugacy_class_is_cycle_type_in_symmetric_group', userId: 'PatrickStevens', edit: '1', type: 'newEdit', createdAt: '2016-06-14 22:27:04', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '12832', pageId: 'conjugacy_class_is_cycle_type_in_symmetric_group', userId: 'PatrickStevens', edit: '1', type: 'newTag', createdAt: '2016-06-14 22:27:00', auxPageId: 'stub_meta_tag', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '12831', pageId: 'conjugacy_class_is_cycle_type_in_symmetric_group', userId: 'PatrickStevens', edit: '1', type: 'newRequirement', createdAt: '2016-06-14 22:25:49', auxPageId: 'conjugacy_class', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '12822', pageId: 'conjugacy_class_is_cycle_type_in_symmetric_group', userId: 'PatrickStevens', edit: '1', type: 'newParent', createdAt: '2016-06-14 22:22:40', auxPageId: 'symmetric_group', oldSettingsValue: '', newSettingsValue: '' } ], feedSubmissions: [], searchStrings: {}, hasChildren: 'false', hasParents: 'true', redAliases: {}, improvementTagIds: [], nonMetaTagIds: [], todos: [], slowDownMap: 'null', speedUpMap: 'null', arcPageIds: 'null', contentRequests: {} }