{
localUrl: '../page/associative_operation.html',
arbitalUrl: 'https://arbital.com/p/associative_operation',
rawJsonUrl: '../raw/3h4.json',
likeableId: '2481',
likeableType: 'page',
myLikeValue: '0',
likeCount: '3',
dislikeCount: '0',
likeScore: '3',
individualLikes: [
'EricBruylant',
'NateSoares',
'EricRogstad'
],
pageId: 'associative_operation',
edit: '17',
editSummary: 'removed spurious bracket',
prevEdit: '14',
currentEdit: '17',
wasPublished: 'true',
type: 'wiki',
title: 'Associative operation',
clickbait: '',
textLength: '2278',
alias: 'associative_operation',
externalUrl: '',
sortChildrenBy: 'likes',
hasVote: 'false',
voteType: '',
votesAnonymous: 'false',
editCreatorId: 'EricRogstad',
editCreatedAt: '2016-07-08 22:17:26',
pageCreatorId: 'NateSoares',
pageCreatedAt: '2016-05-09 07:26:51',
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: 'An **associative operation** $\\bullet : X \\times X \\to X$ is a [3kb binary] [3h7 operation] such that for all $x, y, z$ in $X$, $x \\bullet (y \\bullet z) = (x \\bullet y) \\bullet z$. For example, $+$ is an associative function, because $(x + y) + z = x + (y + z)$ for all values of $x, y,$ and $z$. When an associative function is used to combine many elements in a row, parenthesis can be dropped, because the order of application is irrelevant.\n\nImagine that you're trying to use $f$ to combine 3 elements $x, y,$ and $z$ into one element, via two applications of $f$. $f$ is associative if $f(f(x, y), z) = f(x, f(y, z)),$ i.e., if the result is the same regardless of whether you apply $f$ to $x$ and $y$ first (and then apply that result to $z$), or whether you apply $f$ to $y$ and $z$ first (and then apply $x$ to that result).\n\nVisualizing $f$ as a [3mb physical mechanism], there are two different ways to hook up two copies of $f$ together to create a function $f_3 : X \\times X \\times X \\to X,$ which takes three inputs and produces one output:\n\n\n\nAn associative function $f$ is one where the result is the same no matter which way the functions are hooked up, which means that the result of using $f$ twice to turn three inputs into one output yields the same output regardless of the order in which we combine adjacent inputs.\n\n\n\nBy similar argument, an associative operator $f$ also gives rise (unambiguously) to functions $f_4, f_5, \\ldots,$ meaning that [3ms associative functions can be seen as a family of functions on lists].\n\nThis justifies the omission of parenthesis when writing expressions where an associative operator $\\bullet$ is applied to many inputs in turn, because the order of application does not matter. For example, multiplication is associative, so we can write expressions such as $2 \\cdot 3 \\cdot 4 \\cdot 5$ without ambiguity. It makes no difference whether we compute the result by first multiplying 2 by 3, or 3 by 4, or 4 by 5.\n\nBy contrast, the function `prependx` that sticks its inputs together and puts an `x` on the front is not associative: `prependx(prependx("a","b"),"c") = "xxabc"`, but `prependx("a",prependx("b","c"))=xaxbc`.',
metaText: '',
isTextLoaded: 'true',
isSubscribedToDiscussion: 'false',
isSubscribedToUser: 'false',
isSubscribedAsMaintainer: 'false',
discussionSubscriberCount: '2',
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: [
'NateSoares',
'EricRogstad',
'DylanHendrickson'
],
childIds: [
'associativity_intuition',
'generalized_associative_law',
'associativity_examples',
'associativity_vs_commutativity'
],
parentIds: [
'math'
],
commentIds: [
'3lr'
],
questionIds: [],
tagIds: [
'needs_clickbait_meta_tag',
'b_class_meta_tag'
],
relatedIds: [],
markIds: [],
explanations: [],
learnMore: [],
requirements: [],
subjects: [],
lenses: [
{
id: '22',
pageId: 'associative_operation',
lensId: 'associativity_intuition',
lensIndex: '0',
lensName: 'Intuition',
lensSubtitle: '',
createdBy: '1',
createdAt: '2016-06-17 21:58:56',
updatedBy: '1',
updatedAt: '2016-06-17 21:58:56'
},
{
id: '24',
pageId: 'associative_operation',
lensId: 'associativity_examples',
lensIndex: '2',
lensName: 'Examples',
lensSubtitle: '',
createdBy: '1',
createdAt: '2016-06-17 21:58:56',
updatedBy: '1',
updatedAt: '2016-06-17 21:58:56'
}
],
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: '18843',
pageId: 'associative_operation',
userId: 'EricBruylant',
edit: '0',
type: 'newTag',
createdAt: '2016-08-19 23:10:12',
auxPageId: 'b_class_meta_tag',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '17132',
pageId: 'associative_operation',
userId: 'EricBruylant',
edit: '0',
type: 'newTag',
createdAt: '2016-07-19 02:09:35',
auxPageId: 'needs_clickbait_meta_tag',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '16266',
pageId: 'associative_operation',
userId: 'EricRogstad',
edit: '17',
type: 'newEdit',
createdAt: '2016-07-08 22:17:26',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: 'removed spurious bracket'
},
{
likeableId: '3003',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '1',
dislikeCount: '0',
likeScore: '1',
individualLikes: [],
id: '16019',
pageId: 'associative_operation',
userId: 'DylanHendrickson',
edit: '14',
type: 'newEdit',
createdAt: '2016-07-07 17:43:58',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '16017',
pageId: 'associative_operation',
userId: 'DylanHendrickson',
edit: '0',
type: 'newAlias',
createdAt: '2016-07-07 17:43:15',
auxPageId: '',
oldSettingsValue: 'associativity',
newSettingsValue: 'associative_operation'
},
{
likeableId: '3002',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '1',
dislikeCount: '0',
likeScore: '1',
individualLikes: [],
id: '16018',
pageId: 'associative_operation',
userId: 'DylanHendrickson',
edit: '13',
type: 'newEdit',
createdAt: '2016-07-07 17:43:15',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '10435',
pageId: 'associative_operation',
userId: 'NateSoares',
edit: '12',
type: 'newEdit',
createdAt: '2016-05-15 13:35:26',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '10431',
pageId: 'associative_operation',
userId: 'NateSoares',
edit: '11',
type: 'newEdit',
createdAt: '2016-05-15 13:24:21',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '10430',
pageId: 'associative_operation',
userId: 'NateSoares',
edit: '0',
type: 'newAlias',
createdAt: '2016-05-15 13:24:20',
auxPageId: '',
oldSettingsValue: 'associative_function',
newSettingsValue: 'associativity'
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '10418',
pageId: 'associative_operation',
userId: 'NateSoares',
edit: '10',
type: 'newChild',
createdAt: '2016-05-15 13:13:51',
auxPageId: 'associativity_vs_commutativity',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '10411',
pageId: 'associative_operation',
userId: 'NateSoares',
edit: '0',
type: 'deleteTag',
createdAt: '2016-05-15 12:10:45',
auxPageId: 'work_in_progress_meta_tag',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '10408',
pageId: 'associative_operation',
userId: 'NateSoares',
edit: '10',
type: 'newChild',
createdAt: '2016-05-15 12:10:10',
auxPageId: 'associativity_examples',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '10394',
pageId: 'associative_operation',
userId: 'NateSoares',
edit: '10',
type: 'newChild',
createdAt: '2016-05-15 07:16:27',
auxPageId: 'associativity_intuition',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '10388',
pageId: 'associative_operation',
userId: 'NateSoares',
edit: '10',
type: 'newChild',
createdAt: '2016-05-15 06:15:14',
auxPageId: 'generalized_associative_law',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '10386',
pageId: 'associative_operation',
userId: 'NateSoares',
edit: '10',
type: 'newEdit',
createdAt: '2016-05-15 05:25:07',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '10339',
pageId: 'associative_operation',
userId: 'EricRogstad',
edit: '9',
type: 'newEdit',
createdAt: '2016-05-14 17:23:01',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '10331',
pageId: 'associative_operation',
userId: 'NateSoares',
edit: '8',
type: 'newEdit',
createdAt: '2016-05-14 15:51:59',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '10316',
pageId: 'associative_operation',
userId: 'NateSoares',
edit: '7',
type: 'newEdit',
createdAt: '2016-05-14 05:34:52',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '10315',
pageId: 'associative_operation',
userId: 'NateSoares',
edit: '6',
type: 'newEdit',
createdAt: '2016-05-14 05:33:45',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '10314',
pageId: 'associative_operation',
userId: 'NateSoares',
edit: '5',
type: 'newEdit',
createdAt: '2016-05-14 05:14:38',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '10161',
pageId: 'associative_operation',
userId: 'NateSoares',
edit: '4',
type: 'newEdit',
createdAt: '2016-05-12 23:31:53',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '10150',
pageId: 'associative_operation',
userId: 'NateSoares',
edit: '3',
type: 'newEdit',
createdAt: '2016-05-12 23:21:16',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '9955',
pageId: 'associative_operation',
userId: 'NateSoares',
edit: '0',
type: 'newAlias',
createdAt: '2016-05-11 00:33:17',
auxPageId: '',
oldSettingsValue: '3h4',
newSettingsValue: 'associative_function'
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '9956',
pageId: 'associative_operation',
userId: 'NateSoares',
edit: '2',
type: 'newEdit',
createdAt: '2016-05-11 00:33:17',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '9725',
pageId: 'associative_operation',
userId: 'NateSoares',
edit: '1',
type: 'newEdit',
createdAt: '2016-05-09 07:26:51',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '9722',
pageId: 'associative_operation',
userId: 'NateSoares',
edit: '0',
type: 'newTag',
createdAt: '2016-05-09 07:26:23',
auxPageId: 'work_in_progress_meta_tag',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '9721',
pageId: 'associative_operation',
userId: 'NateSoares',
edit: '0',
type: 'newParent',
createdAt: '2016-05-09 07:26:18',
auxPageId: 'math',
oldSettingsValue: '',
newSettingsValue: ''
}
],
feedSubmissions: [],
searchStrings: {},
hasChildren: 'true',
hasParents: 'true',
redAliases: {},
improvementTagIds: [],
nonMetaTagIds: [],
todos: [],
slowDownMap: 'null',
speedUpMap: 'null',
arcPageIds: 'null',
contentRequests: {}
}