{
localUrl: '../page/generalized_associative_law.html',
arbitalUrl: 'https://arbital.com/p/generalized_associative_law',
rawJsonUrl: '../raw/3ms.json',
likeableId: '2512',
likeableType: 'page',
myLikeValue: '0',
likeCount: '3',
dislikeCount: '0',
likeScore: '3',
individualLikes: [
'VladArber',
'NateSoares',
'EricRogstad'
],
pageId: 'generalized_associative_law',
edit: '15',
editSummary: '',
prevEdit: '14',
currentEdit: '15',
wasPublished: 'true',
type: 'wiki',
title: 'Generalized associative law',
clickbait: '',
textLength: '6822',
alias: 'generalized_associative_law',
externalUrl: '',
sortChildrenBy: 'likes',
hasVote: 'false',
voteType: '',
votesAnonymous: 'false',
editCreatorId: 'EricRogstad',
editCreatedAt: '2016-05-17 01:38:37',
pageCreatorId: 'NateSoares',
pageCreatedAt: '2016-05-15 06:15:14',
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: Given an [3h4 associative] [3h7 operator] $\\cdot$ and a [3kd list] $[a, b, c, \\ldots]$ of parameters, all ways of reducing the list to a single element by combining adjacent pairs yield the same result. In other words, while associativity only talks about the behavior of $f$ when combining three elements, this is sufficient to ensure that $f$ has similar good behavior when combining arbitrarily many elements. Thus, we can unambiguously drop parenthesis when using $\\cdot$ to combine multiple elements. In other words, an associative function $f : X \\times X \\to X$ gives rise to a method for combining any non-empty finite list of elements of $X$ into a single output, such that the result can be computed by combining adjacent elements in any order.]\n\nGiven an [3h4 associative] [3h7 operator] $\\cdot$ and a [3kd list] $[a, b, c, \\ldots]$ of parameters, all ways of reducing the list to a single element by combining adjacent pairs yield the same result. In other words, while associativity only talks about the behavior of $f$ when combining three elements, this is sufficient to ensure that $f$ has similar good behavior when combining arbitrarily many elements\n\nFor example, consider the list $[a, b, c, d, e],$ and abbreviate $a \\cdot b$ as $ab.$ $((ab)c)(de)$ then denotes the output created by first combining $a$ and $b$, and then combining that with $c$, and then combining $d$ and $e$, and then putting the two results together. $a(b(c(de))$ denotes the result of combining $d$ and $e$ first, and then combining $c$ with that, and then combining $b$ with that, and then combining $a$ with that. The generalized associative law says that all possible orders of reducing the list (by combining adjacent elements) yield the same result, which means we are justified in dropping all parenthesis (and just writing $abcde$ for the result of reducing the list $[a, b, c, d, e]$ using $\\cdot$), because the order of application does not matter.\n\nVisually, given an associative [3jy function] $f$, there are five ways to use three copies of $f$ to combine four inputs into one output:\n\n\n\nThe generalized associative law says that all five yield the same result. Because all five combinations are equivalent, there is only one function $f_4$ that uses three copies of $f$ to combine four inputs into one output. Similarly, there is only one function $f_5$ that combines five elements into one using four applications of $f,$ and so on.\n\n# Proof sketch\n\nAssociativity of $\\cdot$ lets us shift parenthesis to the left or right when manipulating expressions that use $\\cdot$ multiple times in a row, because associativity says that $(x\\cdot y) \\cdot z = x \\cdot (y \\cdot z).$ Abbreviating $x \\cdot y$ as $xy,$ we can use this rule to prove the generalized associative law.\n\nLet a "reduction path" of a list $[a, b, c, d]$ be an expression of the form $a(b(cd)),$ where the parenthesis tell us explicitly how to use applications of $\\cdot$ on adjacent elements to combine the elements of the list into a single output. To prove the generalized associative law for lists of length 4, observe that any reduction path can be turned into any other, by repeatedly shifting the parenthesis left or right. For example:\n\n$a(b(cd))=a((bc)d)=(a(bc))d=((ab)c)d=(ab)(cd).$\n\nIn this case, the expression is transformed by shifting the inner parentheses left, then shifting the outer parentheses left, then shifting the inner parentheses left again, then shifting the outer parenthesis right, with each step allowed by associativity. By a similar method (of "walking" the parenthesis all over the reduction path one step at a time), any two reduction paths (of the same list) can be shown equivalent.\n\n# Implications\n\nAn associative function $f : X \\times X \\to X$ gives rise to a single natural function $f_n$ for reducing a list of $n$ inputs to a single output, given any number $n \\ge 1$. ($f_1$ is the function that uses zero applications of $f,$ and thus leaves the input untouched.) This means that we can see associative functions not as just binary functions, but as a family of functions for reducing lists to a single output.\n\nFurthermore, whenever we want to use an associative function to reduce a list to a single element, we can do so in a "local" fashion, by repeatedly combining adjacent elements in the list, without worrying about the order in which we do so. This is certainly not true for all functions that reduce a list to a single output! For example, consider the function `adjacent_ones` which takes a list of ones and zeroes and produces a `1` if the list contains any adjacent ones, and a `0` otherwise. `adjacent_ones([0,0,0,1,1,0])=1`, but we can't compute this result by just combining adjacent elements pairwise willy-nilly: If we use the order ((00)(01))(10) we get the answer `0`, when the correct answer is `1`.\n\nAssociative functions are precisely those that give rise to a family of functions for reducing lists where the result _can_ be computed by just combining adjacent elements pairwise willy-nilly. Thus, associative operators describe list operations that can be computed _locally,_ only ever looking at two adjacent elements, without worrying that some important global structure (such as "are there two ones in a row?") will be destroyed.\n\nThis family of functions also has the nice property that if you reduce one list $[a, b, c, \\ldots]$ to a single element $\\alpha,$ and another list $[x, y, z, \\ldots]$ to a single element $\\chi,$ then $f(\\alpha, \\chi)$ is the same as reducing $[a, b, c, \\ldots, x, y, z, \\ldots]:$ in other words, we can reduce two lists separately and then combine the results, and get the same answer as we would have gotten by combining the lists first and then reducing them to a single result.\n\n# What about empty lists?\n\nAny associative function $f$ can be used to reduce a non-empty finite list to a single element, by repeatedly applying $f$ to adjacent elements, without worrying about the order. This works for one-element lists, despite the fact that $f$ takes two parameters, because for one-element lists we can just use zero applications of $f$. But what about zero-element lists?\n\nTo create a family $f_n : X^n \\to X$ of functions on lists with the nice locality properties discussed above for all $n \\ge 0,$ we need some "canonical" element of $0_X$ in $X$ that $f_0$ can return given an empty list, such that $0_X$ "acts like an empty element" with respect to $f.$ [3h3 Monoids] formalize this notion of "an associative operator plus an element that acts like an empty element," and thus, they capture the idea of a family of functions that can reduce any list (of finite size) to a single output, regardless of what order adjacent elements are combined in.',
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: [
'EricRogstad',
'NateSoares'
],
childIds: [],
parentIds: [
'associative_operation'
],
commentIds: [],
questionIds: [],
tagIds: [
'needs_clickbait_meta_tag'
],
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: '17143',
pageId: 'generalized_associative_law',
userId: 'EricBruylant',
edit: '0',
type: 'newTag',
createdAt: '2016-07-19 02:16:13',
auxPageId: 'needs_clickbait_meta_tag',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '10533',
pageId: 'generalized_associative_law',
userId: 'EricRogstad',
edit: '15',
type: 'newEdit',
createdAt: '2016-05-17 01:38:37',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '10532',
pageId: 'generalized_associative_law',
userId: 'EricRogstad',
edit: '14',
type: 'newEdit',
createdAt: '2016-05-17 01:36:42',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '10463',
pageId: 'generalized_associative_law',
userId: 'NateSoares',
edit: '13',
type: 'newEdit',
createdAt: '2016-05-16 04:57:16',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '10462',
pageId: 'generalized_associative_law',
userId: 'NateSoares',
edit: '12',
type: 'newEdit',
createdAt: '2016-05-16 04:51:47',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '10461',
pageId: 'generalized_associative_law',
userId: 'NateSoares',
edit: '11',
type: 'newEdit',
createdAt: '2016-05-16 04:47:07',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '10459',
pageId: 'generalized_associative_law',
userId: 'EricRogstad',
edit: '10',
type: 'newEdit',
createdAt: '2016-05-15 23:07:04',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '10458',
pageId: 'generalized_associative_law',
userId: 'EricRogstad',
edit: '9',
type: 'newEdit',
createdAt: '2016-05-15 23:04:04',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '10454',
pageId: 'generalized_associative_law',
userId: 'EricRogstad',
edit: '8',
type: 'newEdit',
createdAt: '2016-05-15 22:26:00',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '10449',
pageId: 'generalized_associative_law',
userId: 'EricRogstad',
edit: '7',
type: 'newEdit',
createdAt: '2016-05-15 22:16:50',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '10439',
pageId: 'generalized_associative_law',
userId: 'EricRogstad',
edit: '6',
type: 'newEdit',
createdAt: '2016-05-15 21:15:51',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '10438',
pageId: 'generalized_associative_law',
userId: 'EricRogstad',
edit: '5',
type: 'newEdit',
createdAt: '2016-05-15 21:13:15',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '10405',
pageId: 'generalized_associative_law',
userId: 'NateSoares',
edit: '4',
type: 'newEdit',
createdAt: '2016-05-15 10:39:37',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '10391',
pageId: 'generalized_associative_law',
userId: 'NateSoares',
edit: '3',
type: 'newEdit',
createdAt: '2016-05-15 06:27:45',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '10390',
pageId: 'generalized_associative_law',
userId: 'NateSoares',
edit: '2',
type: 'newEdit',
createdAt: '2016-05-15 06:26:39',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '10389',
pageId: 'generalized_associative_law',
userId: 'NateSoares',
edit: '1',
type: 'newEdit',
createdAt: '2016-05-15 06:15:14',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '10387',
pageId: 'generalized_associative_law',
userId: 'NateSoares',
edit: '1',
type: 'newParent',
createdAt: '2016-05-15 05:41:15',
auxPageId: 'associative_operation',
oldSettingsValue: '',
newSettingsValue: ''
}
],
feedSubmissions: [],
searchStrings: {},
hasChildren: 'false',
hasParents: 'true',
redAliases: {},
improvementTagIds: [],
nonMetaTagIds: [],
todos: [],
slowDownMap: 'null',
speedUpMap: 'null',
arcPageIds: 'null',
contentRequests: {}
}