{
localUrl: '../page/group_exercises.html',
arbitalUrl: 'https://arbital.com/p/group_exercises',
rawJsonUrl: '../raw/3tj.json',
likeableId: '2547',
likeableType: 'page',
myLikeValue: '0',
likeCount: '2',
dislikeCount: '0',
likeScore: '2',
individualLikes: [
'AlexeiAndreev',
'VladArber'
],
pageId: 'group_exercises',
edit: '11',
editSummary: '',
prevEdit: '10',
currentEdit: '11',
wasPublished: 'true',
type: 'wiki',
title: 'Group: Exercises',
clickbait: 'Test your understanding of the definition of a group with these exercises. ',
textLength: '3196',
alias: 'group_exercises',
externalUrl: '',
sortChildrenBy: 'likes',
hasVote: 'false',
voteType: '',
votesAnonymous: 'false',
editCreatorId: 'MarkChimes',
editCreatedAt: '2016-07-01 03:15:34',
pageCreatorId: 'QiaochuYuan',
pageCreatedAt: '2016-05-25 21:59:54',
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: '137',
text: '[summary: \nTest your understanding of the definition of a [-3gd group] with these exercises. \n]\n\n# Preliminaries\n\n1. Show that the identity element in a group is unique. That is, if $G$ is a group and two elements $e_1, e_2 \\in G$ both satisfy the axioms describing the identity element, then $e_1 = e_2$. \n\n%%hidden(Show solution):\nBy definition, an identity element $e$ satisfies $eg = ge = g$ for all $g \\in G$. Hence if $e_1$ is an identity, then $e_1 e_2 = e_2 e_1 = e_1$. And if $e_2$ is an identity, then $e_2 e_1 = e_1 e_2 = e_2$. Hence $e_1 = e_2$. Note that this argument makes no use of inverses, and so is valid for [3h3 monoids]. \n%%\n\n2. Show that inverses are also unique. That is, if $g \\in G$ is an element of a group and $h_1, h_2 \\in G$ both satisfy the axioms describing the inverse of $g$, then $h_1 = h_2$. \n\n%%hidden(Show solution):\nBy definition, an inverse $h$ of $g$ satisfies $hg = gh = e$. So $h_1 g = g h_1 = e$ and $h_2 g = g h_2 = e$. Hence, on the one hand,\n\n$$h_1 g h_2 = (h_1 g) h_2 = (e) h_2 = h_2$$\n\nand, on the other hand,\n\n$$h_1 g h_2 = h_1 (g h_2) = h_1 (e) = h_1.$$\n\nHence $h_1 = h_2$.\n%%\n\n# Examples involving numbers\n\nDetermine whether the following sets equipped with the specified binary operations are groups. If so, describe their identity elements (which by the previous exercise must be unique) and how to take inverses. \n\n1. The real numbers $\\mathbb{R}$ together with the addition operation $(x, y) \\mapsto x + y$. \n\n%%hidden(Show answer):\nYes, this is a group. The identity element is $0$, and inverse is given by $x \\mapsto -x$. \n%%\n\n2. The real numbers $\\mathbb{R}$ together with the multiplication operation $(x, y) \\mapsto xy$. \n\n%%hidden(Show answer): \nNo, this is not a group. $0 \\in \\mathbb{R}$ has the property that $0 \\times x = 0$ for all real numbers $x$, so it can't be invertible no matter what the identity is. \n%%\n\n3. The positive real numbers $\\mathbb{R}_{>0}$ together with the multiplication operation $(x, y) \\mapsto xy$. \n\n%%hidden(Show answer): \nYes, this is a group. The identity is $1$, and inverse is given by $x \\mapsto \\frac{1}{x}$. In fact this group is [49x isomorphic] to $(\\mathbb{R}, +)$; can you name the isomorphism? \n%%\n\n4. The real numbers $\\mathbb{R}$ together with the operation $(x, y) \\mapsto x + y - 1$.\n\n%%hidden(Show answer):\nYes, this is a group (in fact [49x isomorphic] to $(\\mathbb{R}, +)$; can you name the isomorphism?). The identity element is $1$, and inverse is given by $x \\mapsto 2 - x$ (can you explain why, conceptually?). \n%%\n\n5. The real numbers $\\mathbb{R}$ together with the operation $(x, y) \\mapsto \\frac{x + y}{1 + xy}$. \n\n%%hidden(Show answer):\nNo, this is not a group. It's easy to be tricked into thinking it is, because if you just work through the algebra, it seems that all of the group axioms hold. However, this operation is not an operation! It's not defined if the denominator is $0$, because then we'd be [division_by_zero dividing by zero]. \n\nThis operation is interesting and useful, though, when it is defined. It shows up in [special_relativity special relativity], where it describes how velocities add relativistically (in units where the speed of light is $1$). \n%%\n',
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: [
'QiaochuYuan',
'PatrickStevens',
'ColinBenner',
'MarkChimes'
],
childIds: [],
parentIds: [
'group_mathematics'
],
commentIds: [],
questionIds: [],
tagIds: [
'exercise_meta_tag'
],
relatedIds: [],
markIds: [],
explanations: [],
learnMore: [],
requirements: [],
subjects: [],
lenses: [],
lensParentId: 'group_mathematics',
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: '15017',
pageId: 'group_exercises',
userId: 'MarkChimes',
edit: '11',
type: 'newEdit',
createdAt: '2016-07-01 03:15:34',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '15016',
pageId: 'group_exercises',
userId: 'MarkChimes',
edit: '0',
type: 'deleteTag',
createdAt: '2016-07-01 03:15:29',
auxPageId: 'needs_summary_meta_tag',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '14689',
pageId: 'group_exercises',
userId: 'PatrickStevens',
edit: '10',
type: 'newEdit',
createdAt: '2016-06-28 14:11:56',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '14400',
pageId: 'group_exercises',
userId: 'EricBruylant',
edit: '0',
type: 'newTag',
createdAt: '2016-06-22 17:58:09',
auxPageId: 'needs_summary_meta_tag',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '14256',
pageId: 'group_exercises',
userId: 'ColinBenner',
edit: '9',
type: 'newEdit',
createdAt: '2016-06-21 15:40:40',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: '$0 × x$ is $0$, not $x$'
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '14169',
pageId: 'group_exercises',
userId: 'EricBruylant',
edit: '0',
type: 'newTag',
createdAt: '2016-06-20 22:30:27',
auxPageId: 'exercise_meta_tag',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '12947',
pageId: 'group_exercises',
userId: 'PatrickStevens',
edit: '8',
type: 'newEdit',
createdAt: '2016-06-15 08:11:22',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '12946',
pageId: 'group_exercises',
userId: 'PatrickStevens',
edit: '7',
type: 'newEdit',
createdAt: '2016-06-15 08:10:56',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '11060',
pageId: 'group_exercises',
userId: 'QiaochuYuan',
edit: '6',
type: 'newEdit',
createdAt: '2016-05-26 00:21:48',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '11059',
pageId: 'group_exercises',
userId: 'QiaochuYuan',
edit: '5',
type: 'newEdit',
createdAt: '2016-05-25 22:41:07',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '11031',
pageId: 'group_exercises',
userId: 'QiaochuYuan',
edit: '4',
type: 'newEdit',
createdAt: '2016-05-25 22:17:34',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '11009',
pageId: 'group_exercises',
userId: 'QiaochuYuan',
edit: '3',
type: 'newEdit',
createdAt: '2016-05-25 22:01:29',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '11008',
pageId: 'group_exercises',
userId: 'QiaochuYuan',
edit: '2',
type: 'newEdit',
createdAt: '2016-05-25 22:00:58',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '11006',
pageId: 'group_exercises',
userId: 'QiaochuYuan',
edit: '1',
type: 'newEdit',
createdAt: '2016-05-25 21:59:54',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '11003',
pageId: 'group_exercises',
userId: 'QiaochuYuan',
edit: '1',
type: 'newParent',
createdAt: '2016-05-25 21:55:20',
auxPageId: 'group_mathematics',
oldSettingsValue: '',
newSettingsValue: ''
}
],
feedSubmissions: [],
searchStrings: {},
hasChildren: 'false',
hasParents: 'true',
redAliases: {},
improvementTagIds: [],
nonMetaTagIds: [],
todos: [],
slowDownMap: 'null',
speedUpMap: 'null',
arcPageIds: 'null',
contentRequests: {}
}