{ localUrl: '../page/cyclic_group_intro_math_0.html', arbitalUrl: 'https://arbital.com/p/cyclic_group_intro_math_0', rawJsonUrl: '../raw/4zh.json', likeableId: '2909', likeableType: 'page', myLikeValue: '0', likeCount: '4', dislikeCount: '0', likeScore: '4', individualLikes: [ 'EricBruylant', 'PatrickStevens', 'JaimeSevillaMolina', 'JoeZeng' ], pageId: 'cyclic_group_intro_math_0', edit: '5', editSummary: '', prevEdit: '3', currentEdit: '5', wasPublished: 'true', type: 'wiki', title: 'Cyclic Group Intro (Math 0)', clickbait: 'A finite cyclic group is a little bit like a clock.', textLength: '7172', alias: 'cyclic_group_intro_math_0', externalUrl: '', sortChildrenBy: 'likes', hasVote: 'false', voteType: '', votesAnonymous: 'false', editCreatorId: 'MarkChimes', editCreatedAt: '2016-08-01 10:20:02', pageCreatorId: 'MarkChimes', pageCreatedAt: '2016-07-01 04:40:40', 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: '59', text: '[summary: Every [-finite] **cyclic [-3gd group]** can be thought of like a clock (except maybe with more or less numbers than twelve). Every [-infinite] cyclic group can be thought of as the [48l integers].]\n\n##Clocks##\nSay we had a clock. We decide that we can "add" two numbers on the clock starting at the first number, then moving by the number of steps given by the second number. For example the sum of $5$ and $6$ is given by starting at $5$, and then moving by $6$ spaces, and ending up at $11$. But the sum of $7$ and $9$ is given by starting at $7$ and moving $9$ spaces to end up at $4$. This number can be calculated by just adding the numbers normally, then if you end up at more than $12$, subtract $12$. For example, $7+9 = 16$, and $16- 12 = 4$.\n\nNotice that if you add $12$ to anything, you just go once around the clock, and so ending up not doing anything. You can calculate it with $4$ as $4 + 12 = 16$, and $16 - 12 = 4$. Hence $12$ is the [-54p] for our clock. Hmm, usually the identity should be something like $0$. More on this in a moment.\n\nAlso, notice that no matter where you are on the clock, there's always an amount by which you can turn to end up at $12$. For example, if you are at $5$, you can add $7$ to get to $12$. This is called the [-inverse_mathematics inverse]. This number can easily be calculated by subtracting your number from $12$. For example, $12 - 5 = 7$ so the inverse of $5$ is $7$. Now what if we calculate the inverse of $12$? Then we get $0$. In fact, $12$ and $0$ are the same thing on our clock. Actually, we may as well scratch the $12$ off of our clock-face and just write $0$. It makes things a lot easier. Now, instead of considering $12$ the identity, we can consider $0$ the identity instead. If we are at any number, and we step $0$ times (in other words, we don't step at all), then we stay at the number we were.\n\nNotice now that instead of saying when we add $5$ and $7$ on our clock we get $12$, we actually want to say we get $0$. So now we change our rule at the top a little bit. To calculate the sum of two numbers, we add them, and if we get $12$ *or more* we subtract $12$. So now $4$ plus $2$ is still $6$, and $7$ plus $9$ is still obtained by calculating $7+9 = 16$ and $16-12 = 4$. But now, instead of calculating that $7 +5 = 12$ we now further calculate that $12 - 12 = 0$ and so say that $7$ plus $5$ is $0$ on our clock.\n\nOur clock is [-3gy closed] under its addition, it has an [-54p] and [-inverse_mathematics inverses]. Hence, our clock is a [-3gd group]. From here on out we can write our group [-operation_mathematics operation] as $\\bullet$. So $7 \\bullet 9 = 4$.\n\nNow, there is no reason our clock needs to have $12$ numbers. We could do exactly the same with, say, $15$ numbers. Then our operation is defined by adding the numbers, and if they add up to at least $15$, we subtract $15$. Now $5 \\bullet 7 = 12$ but $7 \\bullet 9 = 1$ since $7 + 9 = 16$ and $16 - 15 = 1$. Notice that now the inverse of $5$ is not $7$, but is instead found by calculating $15 - 5 = 10$. So the inverse of $5$ is $10$ (since $5 + 10 = 15$, so $5 \\bullet 10 = 0$). \n\nWe can write our inverses by adding a negative sign to the front of the number. So on our $15$ number clock, the inverse of $5$ is written $-5$ and so $-5 = 10$, but on our normal clock, the inverse of $5$ is $7$ so $-5 = 7$.\n\n##Cyclic Groups##\n\nThis motivates the term **cyclic**; if we go far enough, we get back to where we started. In fact, a group is called cyclic if it has a singe [-generator_mathematics generator]. This is an element that can be used to generate all the other elements by being added to itself enough times. On any clock, the generator is $1$. We can get any number by going $1 \\bullet 1 \\bullet 1 \\bullet \\cdots \\bullet 1$ the right number of times. \n\nTechnically, for mathematical reasons, we actually want to require that we can get every element even if we combine the generator with itself a *negative* number of times. What does this mean? Well, the generator $1$ has an inverse $-1$. In our normal clock $-1 = 11$. In our $15$ number clock $-1 = 14$. The point is that we could just as well get all the numbers by adding $-1$ to itself a bunch of times.\n\nWe can also get $0$ by "not adding $1$ to itself at all" or, put another way "adding $1$ to itself $0$ times". This may seem strange, but if you think of taking $1$, and then adding $-1$ once, it's like not taking $1$ at all and you get $0$. Don't worry too much about this. The point is that you can technically get $0$ from $1$.\n\nIn fact, the [-finite_group finite groups] that you can get from adding one number to itself a bunch of times are all [-4f4 isomorphic] to some clock. That is to say, no matter what group you took that has this property, if you just renamed the elements, you would end up with something that looked like a clock in the way described above.\n\nTake for example a coin. It has two sides: heads and tails. Call them $h$ and $t$ for short. We can define an operation on the sides as follows, which we're going to refer to as "adding" sides: if you add heads to anything, you flip the coin. If you add tails to anything, you leave the coin alone. So, if you are on the heads side, and you "add heads", you flip the coin to tails. If you are on the heads side and you "add tails" you leave the coin on the heads side. If you are on the tails side and you "add heads", you flip the coin to heads, and if you are on the tails side and you "add tails" you just stay where you are. We can write the operation of 'adding" the sides as "$\\bullet$" and then say $h \\bullet h = t$, and $h \\bullet t = h$, and $t \\bullet h = h$, and $t \\bullet t = t$. But hey! This is exactly the same we'd get if we called the head side $1$ and the tails side $0$, and considered a clock with just two numbers. Then $1 \\bullet 1 = 0$, and $1 \\bullet 0 = 1$, and $0 \\bullet 1 = 1$ and $0 \\bullet 0 = 0$. If you just had heads, you could get tails by just adding heads to itself, so the coin group is cyclic.\n\nFor any finite group where you can get every element starting from a single one, you can write it as a clock by relabeling the elements. Try it!\n\n##Infinite Cyclic Groups##\nHowever, things change if we allow our group to be [-infinity infinite]. Then we still require that every element can be obtained by adding $1$ to itself some amount of times, either positive or negative or zero. But maybe there is no way to wrap around. Consider all the [-48l integers], that is to say, every number, positive, negative and zero. These actually do form a group. Then every number you can think of, you can get to by adding $1$ a bunch of times. But no matter how many $1$s you add on the positive side, you can never wrap around and get a negative number. However, the integers are still called a cyclic group, even though it's not really cyclic (I know, not a great name) because the official definition is that every element can be obtained by adding a specific something a bunch of times. \n\nAgain, the only infinite cyclic group that you get, up to [-4f4 relabeling], is the integers. \n\nSo the only cyclic groups are the clocks and the integers!', 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: [ 'MarkChimes', 'DylanHendrickson' ], childIds: [], parentIds: [ 'group_mathematics', 'cyclic_group' ], commentIds: [], questionIds: [], tagIds: [ 'math0', 'b_class_meta_tag' ], relatedIds: [], markIds: [], explanations: [], learnMore: [], requirements: [ { id: '4655', parentId: 'math0', childId: 'cyclic_group_intro_math_0', type: 'requirement', creatorId: 'MarkChimes', createdAt: '2016-07-01 04:43:09', level: '1', isStrong: 'false', everPublished: 'true' } ], subjects: [], lenses: [], lensParentId: 'cyclic_group', 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: '18740', pageId: 'cyclic_group_intro_math_0', userId: 'EricBruylant', edit: '0', type: 'newTag', createdAt: '2016-08-15 23:30:45', auxPageId: 'math0', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '18374', pageId: 'cyclic_group_intro_math_0', userId: 'EricBruylant', edit: '0', type: 'newTag', createdAt: '2016-08-04 20:13:08', auxPageId: 'b_class_meta_tag', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '17915', pageId: 'cyclic_group_intro_math_0', userId: 'MarkChimes', edit: '5', type: 'newEdit', createdAt: '2016-08-01 10:20:02', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '16036', pageId: 'cyclic_group_intro_math_0', userId: 'DylanHendrickson', edit: '3', type: 'newEdit', createdAt: '2016-07-07 18:35:48', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '16013', pageId: 'cyclic_group_intro_math_0', userId: 'DylanHendrickson', edit: '2', type: 'newEdit', createdAt: '2016-07-07 17:31:09', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '15030', pageId: 'cyclic_group_intro_math_0', userId: 'MarkChimes', edit: '0', type: 'deleteRequirement', createdAt: '2016-07-01 04:43:11', auxPageId: 'group_mathematics', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '15028', pageId: 'cyclic_group_intro_math_0', userId: 'MarkChimes', edit: '0', type: 'newRequirement', createdAt: '2016-07-01 04:43:10', auxPageId: 'math0', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '15027', pageId: 'cyclic_group_intro_math_0', userId: 'MarkChimes', edit: '0', type: 'newParent', createdAt: '2016-07-01 04:40:43', auxPageId: 'group_mathematics', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '15023', pageId: 'cyclic_group_intro_math_0', userId: 'MarkChimes', edit: '0', type: 'newRequirement', createdAt: '2016-07-01 04:40:42', auxPageId: 'group_mathematics', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '15025', pageId: 'cyclic_group_intro_math_0', userId: 'MarkChimes', edit: '0', type: 'newParent', createdAt: '2016-07-01 04:40:42', auxPageId: 'cyclic_group', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '15022', pageId: 'cyclic_group_intro_math_0', userId: 'MarkChimes', edit: '1', type: 'newEdit', createdAt: '2016-07-01 04:40:40', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' } ], feedSubmissions: [], searchStrings: {}, hasChildren: 'false', hasParents: 'true', redAliases: {}, improvementTagIds: [], nonMetaTagIds: [], todos: [], slowDownMap: 'null', speedUpMap: 'null', arcPageIds: 'null', contentRequests: {} }