{ localUrl: '../page/quotient_group.html', arbitalUrl: 'https://arbital.com/p/quotient_group', rawJsonUrl: '../raw/4tq.json', likeableId: '2854', likeableType: 'page', myLikeValue: '0', likeCount: '5', dislikeCount: '0', likeScore: '5', individualLikes: [ 'EricBruylant', 'PatrickStevens', 'VladArber', 'EricRogstad', '8xl' ], pageId: 'quotient_group', edit: '8', editSummary: '', prevEdit: '7', currentEdit: '8', wasPublished: 'true', type: 'wiki', title: 'Quotient group', clickbait: '', textLength: '8189', alias: 'quotient_group', externalUrl: '', sortChildrenBy: 'likes', hasVote: 'false', voteType: '', votesAnonymous: 'false', editCreatorId: 'MarkChimes', editCreatedAt: '2016-07-01 03:13:15', pageCreatorId: 'AdeleLopez', pageCreatedAt: '2016-06-26 21:56:37', 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: '53', text: '[summary:\nGiven a [-3gd group] $G$ with operation $\\bullet$ and a special kind of [-subgroup subgroup] $N \\leq G$ called the "[-4h6 normal subgroup]", there is a way of "dividing" $G$ by $N$, written $G/N$. Usually this is defined so that each [-element_mathematics element] of $G/N$ is a [-subset subset] of $G$. In fact, each of them is an [-equivalence_class equivalence class] of elements in $G$, so called because we think of everything in one equivalence class as being equivalent. One of the equivalence classes is $N$, and each of the other equivalence classes can be seen as $N$ "shifted around" inside $G$. Because they are equivalence classes, each element of $G$ only occurs in exactly one of them.\n\nThis collection $G/N$ of equivalence classes has a [-group_structure group structure] based on the structure on $G$. Write the [-group_operation operation] as $\\circ$. Say $A$ and $B$ are two equivalence classes in $G/N$. Then $A \\circ B$ is defined by taking an element $a \\in A$ and $b \\in B$, multiplying them as $a \\bullet b$ and checking in which equivalence class this product ends up. \n\nThere are some things to check, namely that the equivalence class in which we end up is the same regardless of which elements in $A$ and $B$ we happen to pick. This is guaranteed by the fact that $N$ is normal in $G$.\n\nThere is also a [-47t group homomorphism] $\\phi$ from $G$ to $G/N$ that "collapses" the elements by sending each element in $G$ to the equivalence class in which it lies. This is called collapsing because lots of elements in $G$ are sent to the same element in $G/N$, so we can see $G/N$ as a collapsed version of $G$.\n]\n\n\n\n[summary(brief): \nA **quotient group** $G/N$ of a [-3gd group] $G$ by a [-4h6 normal subgroup] $N$ is obtained by dividing up the group into pieces ([-equivalence_class equivalence classes]), and then treating everything in one class the same way (by treating each class as a single element). The quotient group has a group structure defined on it based on the original structure of $G$, that works 'basically the same as $G$ up to equivalence'.\n ]\n\n[summary(technical): \nGiven a [-3gd group] $(G, \\bullet)$ and a [-4h6 normal subgroup] $N \\unlhd G$. The **quotient** of $G$ by $N$, written $G/N$, has as [-3gz underlying set] the set of (left)-[-4j4 cosets] of $N$ in $G$ and as operation $\\circ$ which is defined as $aN \\circ bN = (a \\bullet b) N$, where $xN = \\{xn : n \\in N\\}$ for each $x \\in G$. \n\nThe operation $\\circ$ is [well_defined well defined] in the sense that if other representatives $a'$ and $b'$ are chosen such that \n$a'N = aN$ and $b'N = bN$ then also $(a' \\bullet b')N = (a \\bullet b)N$. \n\nThere is a [-canonical canonical] [-47t homomorphism] (sometimes called the [-quotient_projection projection]) $\\phi: G \\rightarrow G/N: a \\mapsto aN$.\n\nThis is a special case of a [-quotient_universal_algebra quotient] from universal algebra.\n]\n\n[summary(examples):\nGiven the [-3gd group] of [-48l integers] $\\mathbb{Z}$, and the [-nomral_subgroup normal subgroup] $2 \\mathbb{Z}$ of all even numbers, we can form the group $\\mathbb{Z}/2\\mathbb{Z}$. This group has only two [-element elements] and [-personification_in_mathematics only cares] if a number is odd or even. It tells us that the sum of an odd and an even number is odd, that the sum of two even numbers is even, and the sum of two odd numbers is also even!\n]\n\n\n[summary(motivation):\nLet's say we have a group. Maybe the group is kinda large and unwieldy, and we want to find an easier way to think about it. Or maybe we just want to focus on a certain aspect of the group. Some of the actions will change things in ways we just don't really care about, or don't mind ignoring for now. So let's create a group homomorphism that will map all these actions to the identity action in a new group. The image of this homomorphism will be a group much like the first, except that it will ignore all the effects that come from those actions that we're ignoring - just what we wanted! This new group is called the quotient group.\n]\n\n#The basic idea\nLet's say we have a [3gd group]. Maybe the group is kinda large and unwieldy, and we want to find an easier way to think about it. Or maybe we just want to focus on a certain aspect of the group. Some of the actions will change things in ways we just don't really care about, or don't mind ignoring for now. So let's create a [47t group homomorphism] that will map all these actions to the identity action in a new group. The image of this homomorphism will be a group much like the first, except that it will ignore all the effects that come from those actions that we're ignoring - just what we wanted! This new group is called the quotient group. \n\n#Definition\n\nWe start with our group $G$. The actions we want to ignore form a group $N$, which must be a [4h6 normal subgroup] of $G$. The quotient group is then called $G/N$, and has a canonical homomorphism $\\phi: G \\rightarrow G/N$ which maps $g \\in G$ to the [4j4 coset] $gN$. \n\n## The divisor group\nIn the definition, we require the divisor $N$, to be a normal subgroup of $G$. Why? Well first, let's see why requiring $N$ to be a group makes sense. Remember that $N$ has the actions whose effects we want to ignore. So it makes sense that it should contain the identity action, which has no effect. It also is reasonable that it would be closed under the group operation - doing two things we don't care about shouldn't change anything we care about. Together, these two properties imply it is a [subgroup subgroup]: $N \\le G$. \n\nA subgroup is great, but it isn't quite good enough by itself to work here. That's because we want the quotient group to preserve the overall structure of the group, i.e. it should preserve the group multiplication. In other words, there needs to be a [47t group homomorphism] $\\phi$ from $G$ to $G/N$. Since $N$ is the subgroup of things we want to ignore, all its actions should get mapped to the identity action under this homomorphism. That means it's the [49y kernel] of the homomorphism $\\phi$, which means it's a [4h6 normal subgroup]: $N \\trianglelefteq G$. \n\n## Cosets\nWhat exactly are the elements of the new group? They are [equivalence_class equivalence classes] of actions, the sets $gN = \\{gn : n \\in N\\}$ where $g \\in G$, also known as a [4j4 coset]. The identity element is the set $N$ itself. Multiplication is defined by $g_1N \\cdot g_2N = (g_1g_2)N$. \n\n# Generalizes the idea of a quotient\nWhat gives a quotient group the right to call itself a quotient? If $G$ and $N$ both have finite order, then $|G/N| = |G|/|N|$, which can be proved by the fact that $G/N$ consists of the cosets of $N$ in $G$, and that these [4j8 cosets are the same size], and [4j5 partition] $G$. \n\n\n\n#Example\nSuppose you have a collection of objects, and you need to split them into two equal groups. So you are trying to determine under what circumstances changing the number of objects will affect this property. You notice that changing the size of the collection by certain numbers such as 0, 2, 4, 24, and -6 doesn't affect this property. \n\nThe set of different size changes can be modeled as the additive group of integers $\\mathbb Z$. The changes that don't affect this property also form a group: $2\\mathbb Z = \\{2n : n\\in \\mathbb Z\\}$. Exercise: verify that this is a normal subgroup of $\\mathbb Z$. \n\nThis subgroup gives us two cosets: $0 + 2\\mathbb Z$ and $1 + 2\\mathbb Z$ (remember that $+$ is the group operation in this example), which are the elements of our quotient group. We will give them their conventional names: $\\text{even}$ and $\\text{odd}$, and we can apply the coset multiplication rule to see that $\\text{even}+ \\text{even} = \\text{even}$, $\\text{even} + \\text{odd} = \\text{odd}$, and $\\text{odd} + \\text{odd} = \\text{even}$. \n\nInstead of thinking about specific numbers, and how they will change our ability to split our collection of objects into two equal groups, we now have reduced the problem to its essence. Only the parity matters, and it follows the simple rules of the quotient group we discovered. \n\n#See also \n\n - [4jn Lagrange's theorem].\n - [first_isomorphism_theorem The first isomorphism theorem]. ', metaText: '', isTextLoaded: 'true', isSubscribedToDiscussion: 'false', isSubscribedToUser: 'false', isSubscribedAsMaintainer: 'false', discussionSubscriberCount: '2', maintainerCount: '2', 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: [ 'MarkChimes', 'AdeleLopez', 'EricRogstad' ], childIds: [], parentIds: [ 'math' ], commentIds: [ '4tw' ], questionIds: [], tagIds: [], relatedIds: [], markIds: [], explanations: [], learnMore: [], requirements: [], 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: '15014', pageId: 'quotient_group', userId: 'MarkChimes', edit: '8', type: 'newEdit', createdAt: '2016-07-01 03:13:15', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '15013', pageId: 'quotient_group', userId: 'MarkChimes', edit: '0', type: 'deleteTag', createdAt: '2016-07-01 03:13:10', auxPageId: 'needs_summary_meta_tag', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '15011', pageId: 'quotient_group', userId: 'MarkChimes', edit: '7', type: 'newEdit', createdAt: '2016-07-01 02:58:06', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '15009', pageId: 'quotient_group', userId: 'MarkChimes', edit: '5', type: 'newEdit', createdAt: '2016-07-01 02:37:02', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '14753', pageId: 'quotient_group', userId: 'MarkChimes', edit: '0', type: 'newTag', createdAt: '2016-06-28 23:46:45', auxPageId: 'needs_summary_meta_tag', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '14752', pageId: 'quotient_group', userId: 'MarkChimes', edit: '4', type: 'newEdit', createdAt: '2016-06-28 23:45:46', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '14751', pageId: 'quotient_group', userId: 'MarkChimes', edit: '0', type: 'deleteTag', createdAt: '2016-06-28 23:45:42', auxPageId: 'needs_summary_meta_tag', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '14749', pageId: 'quotient_group', userId: 'MarkChimes', edit: '0', type: 'newTag', createdAt: '2016-06-28 23:45:20', auxPageId: 'needs_summary_meta_tag', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '14748', pageId: 'quotient_group', userId: 'MarkChimes', edit: '0', type: 'deleteTag', createdAt: '2016-06-28 23:45:14', auxPageId: 'needs_brief_summary_meta_tag', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '14746', pageId: 'quotient_group', userId: 'MarkChimes', edit: '0', type: 'deleteTag', createdAt: '2016-06-28 23:45:13', auxPageId: 'needs_technical_summary_meta_tag', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '14744', pageId: 'quotient_group', userId: 'MarkChimes', edit: '0', type: 'deleteTag', createdAt: '2016-06-28 23:45:10', auxPageId: 'needs_summary_meta_tag', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '14733', pageId: 'quotient_group', userId: 'MarkChimes', edit: '0', type: 'newTag', createdAt: '2016-06-28 23:02:41', auxPageId: 'needs_summary_meta_tag', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '14732', pageId: 'quotient_group', userId: 'MarkChimes', edit: '0', type: 'newTag', createdAt: '2016-06-28 23:02:28', auxPageId: 'needs_brief_summary_meta_tag', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '14731', pageId: 'quotient_group', userId: 'MarkChimes', edit: '0', type: 'newTag', createdAt: '2016-06-28 23:02:24', auxPageId: 'needs_technical_summary_meta_tag', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '2856', likeableType: 'changeLog', myLikeValue: '0', likeCount: '1', dislikeCount: '0', likeScore: '1', individualLikes: [], id: '14607', pageId: 'quotient_group', userId: 'AdeleLopez', edit: '3', type: 'newEdit', createdAt: '2016-06-26 22:56:31', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '14606', pageId: 'quotient_group', userId: 'EricRogstad', edit: '0', type: 'newParent', createdAt: '2016-06-26 22:34:28', auxPageId: 'math', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '14603', pageId: 'quotient_group', userId: 'EricRogstad', edit: '2', type: 'newEdit', createdAt: '2016-06-26 22:33:30', auxPageId: '', oldSettingsValue: '', newSettingsValue: 'made some minor rewordings to the example' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '14601', pageId: 'quotient_group', userId: 'AdeleLopez', edit: '1', type: 'newEdit', createdAt: '2016-06-26 21:56:37', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' } ], feedSubmissions: [], searchStrings: {}, hasChildren: 'false', hasParents: 'true', redAliases: {}, improvementTagIds: [], nonMetaTagIds: [], todos: [], slowDownMap: 'null', speedUpMap: 'null', arcPageIds: 'null', contentRequests: {} }