{
localUrl: '../page/integer.html',
arbitalUrl: 'https://arbital.com/p/integer',
rawJsonUrl: '../raw/48l.json',
likeableId: '2662',
likeableType: 'page',
myLikeValue: '0',
likeCount: '2',
dislikeCount: '0',
likeScore: '2',
individualLikes: [
'EricBruylant',
'EricRogstad'
],
pageId: 'integer',
edit: '10',
editSummary: '',
prevEdit: '8',
currentEdit: '10',
wasPublished: 'true',
type: 'wiki',
title: 'Integer',
clickbait: '',
textLength: '2203',
alias: 'integer',
externalUrl: '',
sortChildrenBy: 'likes',
hasVote: 'false',
voteType: '',
votesAnonymous: 'false',
editCreatorId: 'DylanHendrickson',
editCreatedAt: '2016-07-07 18:51:31',
pageCreatorId: 'MichaelCohen',
pageCreatedAt: '2016-06-13 23:01:33',
seeDomainId: '0',
editDomainId: 'AlexeiAndreev',
submitToDomainId: '0',
isAutosave: 'false',
isSnapshot: 'false',
isLiveEdit: 'true',
isMinorEdit: 'false',
indirectTeacher: 'false',
todoCount: '1',
isEditorComment: 'false',
isApprovedComment: 'true',
isResolved: 'false',
snapshotText: '',
anchorContext: '',
anchorText: '',
anchorOffset: '0',
mergedInto: '',
isDeleted: 'false',
viewCount: '140',
text: 'An **integer** is a [-54y] that can be represented as either a [-45h] or its [-additive_inverse]. -4, 0, and 1,003 are examples integers. 499.99 is not an integer. Integers are real numbers; they are [-4zq rational numbers]; and they are not [-fraction fractions] or [-decimal decimals].\n\n## A Mathier Definition ##\n\nInstead of describing the properties of an integer we'll describe the membership rules for the [-3jz] $\\mathbb{Z}$. After we're done, anything that's been allowed into $\\mathbb{Z}$ counts as an integer.\n\nStart by putting $0$ and $1$ into $\\mathbb{Z}$. Now, pick an element of $\\mathbb{Z}$, pick another element of $\\mathbb{Z}$, and add them together (you can pick the same element twice). Is that number in $\\mathbb{Z}$ yet? No?! Well let's put it in there fast. We can do the same thing as before except instead of adding, we subtract, and if the difference isn't in $\\mathbb{Z}$ yet, we put it in there. Anything that could be let into $\\mathbb{Z}$ with these procedures is an integer.\n\nThis is not an efficient algorithm for building out $\\mathbb{Z}$, but it does show the primary motivation for having integers in the first place. Natural numbers (positive integers) are closed under addition, meaning that if you add any two elements in the set, the sum will be in the set, but natural numbers are not closed under subtraction. Integers are what you get when you expand natural numbers to make a set that is closed under subtraction as well.\n\n## Formal construction\n\nGiven access to the set $\\mathbb{N}$ of [45h natural numbers], we may construct $\\mathbb{Z}$ as follows.\nTake the collection of all pairs $(a, b)$ of natural numbers, and take the [-quotient] by the [-53y] $\\sim$ such that $(a,b) \\sim (c,d)$ if and only if $a+d = b+c$.\n(The intuition is that the pair $(a,b)$ stands for the integer $a-b$, and we take the quotient so that any given integer has just one representative.)\n\nWriting $[a,b]$ for the equivalence class of the pair $(a,b)$, we define the [-55j] structure as:\n\n- $[a,b] + [c,d] = [a+c,b+d]$\n- $[a, b] \\times [c, d] = [ac+bd, bc+ad]$\n- $[a,b] \\leq [c,d]$ if and only if $a+d \\leq b+c$.\n\nThis does define the structure of a totally ordered ring ([ proof]).',
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: 'true',
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: [
'MichaelCohen',
'EricBruylant',
'NateSoares',
'PatrickStevens',
'JoeZeng',
'DylanHendrickson'
],
childIds: [
'integers_intro_math0'
],
parentIds: [
'math'
],
commentIds: [],
questionIds: [],
tagIds: [
'needs_clickbait_meta_tag'
],
relatedIds: [],
markIds: [],
explanations: [],
learnMore: [],
requirements: [],
subjects: [],
lenses: [
{
id: '66',
pageId: 'integer',
lensId: 'integers_intro_math0',
lensIndex: '0',
lensName: 'Number Sets Intro (Math 0)',
lensSubtitle: '',
createdBy: '4tg',
createdAt: '2016-07-05 19:54:03',
updatedBy: '4tg',
updatedAt: '2016-07-06 15:45:35'
}
],
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: '16043',
pageId: 'integer',
userId: 'DylanHendrickson',
edit: '10',
type: 'newEdit',
createdAt: '2016-07-07 18:51:31',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '15693',
pageId: 'integer',
userId: 'JoeZeng',
edit: '8',
type: 'newEdit',
createdAt: '2016-07-06 15:04:00',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '15500',
pageId: 'integer',
userId: 'EricBruylant',
edit: '0',
type: 'newTag',
createdAt: '2016-07-05 23:06:10',
auxPageId: 'needs_clickbait_meta_tag',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '2951',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '1',
dislikeCount: '0',
likeScore: '1',
individualLikes: [],
id: '15481',
pageId: 'integer',
userId: 'PatrickStevens',
edit: '7',
type: 'newEdit',
createdAt: '2016-07-05 22:15:42',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '15411',
pageId: 'integer',
userId: 'JoeZeng',
edit: '0',
type: 'newChild',
createdAt: '2016-07-05 19:54:00',
auxPageId: 'integers_intro_math0',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '14537',
pageId: 'integer',
userId: 'NateSoares',
edit: '6',
type: 'newEdit',
createdAt: '2016-06-24 03:55:23',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '14391',
pageId: 'integer',
userId: 'AlexeiAndreev',
edit: '0',
type: 'newParent',
createdAt: '2016-06-22 17:49:06',
auxPageId: 'math',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '13610',
pageId: 'integer',
userId: 'EricBruylant',
edit: '5',
type: 'newParent',
createdAt: '2016-06-17 17:48:02',
auxPageId: 'math',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '13608',
pageId: 'integer',
userId: 'EricBruylant',
edit: '5',
type: 'newEdit',
createdAt: '2016-06-17 17:47:57',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: 'Added links, removed positive/negative because of zero'
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '13168',
pageId: 'integer',
userId: 'MichaelCohen',
edit: '4',
type: 'newEdit',
createdAt: '2016-06-15 22:26:27',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '13167',
pageId: 'integer',
userId: 'MichaelCohen',
edit: '3',
type: 'newEdit',
createdAt: '2016-06-15 22:26:08',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '13166',
pageId: 'integer',
userId: 'MichaelCohen',
edit: '2',
type: 'newEdit',
createdAt: '2016-06-15 22:22:35',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '12588',
pageId: 'integer',
userId: 'MichaelCohen',
edit: '1',
type: 'newEdit',
createdAt: '2016-06-13 23:01:33',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
}
],
feedSubmissions: [],
searchStrings: {},
hasChildren: 'true',
hasParents: 'true',
redAliases: {},
improvementTagIds: [],
nonMetaTagIds: [],
todos: [],
slowDownMap: 'null',
speedUpMap: 'null',
arcPageIds: 'null',
contentRequests: {}
}