288520f33d127d8242ddc75cd404893f 1-s2.0-s0021869324006148-main.pdf e96c6a33a6190b987a20153cf24738469cfe593d 1-s2.0-s0021869324006148-main.pdf 050cad21afb6a49361bc65f249166696795c11edfcca49a715e0f1b5852fcadb 1-s2.0-s0021869324006148-main.pdf Title: Regular ring properties degraded through inverse limits Subject: Journal of Algebra, 664 (2025) 365–397. 10.1016/j.jalgebra.2024.11.006 Author: Pere Ara Creator: Elsevier Producer: Acrobat Distiller 24.0 (Windows) CreationDate: Wed Dec 4 08:39:54 2024 CET ModDate: Wed Dec 4 08:39:54 2024 CET Custom Metadata: yes Metadata Stream: yes Tagged: yes UserProperties: no Suspects: no Form: none JavaScript: no Pages: 33 Encrypted: no Page size: 467.717 x 680.315 pts Page rot: 0 File size: 593632 bytes Optimized: yes PDF version: 1.7 name type encoding emb sub uni object ID ------------------------------------ ----------------- ---------------- --- --- --- --------- IOGDJO+LMRoman7-Regular Type 1C Custom yes yes yes 1003 0 IOGEAE+LMRoman7-Italic Type 1C Custom yes yes yes 1016 0 IOGEAF+LMRomanCaps10-Regular Type 1C Custom yes yes yes 1040 0 IOGDLO+LMSans8-Regular Type 1C Custom yes yes yes 1006 0 IOGDLP+LMRoman12-Regular Type 1C Custom yes yes yes 1007 0 IOGDMA+Helvetica Type 1C WinAnsi yes yes no 1008 0 IOGDPA+LMRoman17-Regular Type 1C Custom yes yes yes 1017 0 IOGDPB+LMRoman8-Regular Type 1C Custom yes yes yes 1018 0 IOGDPC+LMMathItalic8-Regular Type 1C Custom yes yes yes 1022 0 IOGEAC+LMMathSymbols8-Regular Type 1C Custom yes yes yes 1019 0 IOGEAD+LMRoman5-Regular Type 1C Custom yes yes yes 1020 0 IOGECG+LMRoman10-Regular Type 1C Custom yes yes yes 304 0 IOGECH+LMMathItalic10-Regular Type 1C Custom yes yes yes 293 0 IOGECI+LMMathSymbols10-Regular Type 1C Custom yes yes yes 305 0 IOGECJ+LMMathItalic7-Regular Type 1C Custom yes yes yes 288 0 IOGECK+LMMathSymbols7-Regular Type 1C Custom yes yes yes 296 0 IOGECL+LMRoman10-Italic Type 1C Custom yes yes yes 316 0 IOGEDL+LMRomanDemi10-Regular Type 1C Custom yes yes yes 318 0 IOGEFM+MT2HRBT Type 1C WinAnsi yes yes no 322 0 IOGEGM+LMMathItalic5-Regular Type 1C Custom yes yes yes 332 0 IOGEGN+LMMathExtension10-Regular Type 1C Custom yes yes yes 330 0 IOGEGO+MT2HRBS Type 1C WinAnsi yes yes no 325 0 IOGEKO+wasy10 Type 1C Custom yes yes no 337 0 IOGFGK+MSAM10 Type 1C Custom yes yes no 342 0 IOGFJK+LMRoman10-Bold Type 1C Custom yes yes yes 348 0 IOGGCI+LMMathSymbols5-Regular Type 1C Custom yes yes yes 353 0 IOGGFI+EUFM10 Type 1C Custom yes yes yes 355 0 IOGGKH+MSBM10 Type 1C Custom yes yes yes 359 0 IOGHEE+LMRoman6-Regular Type 1C Custom yes yes yes 362 0 IOGHEF+LMMathSymbols6-Regular Type 1C Custom yes yes yes 364 0 Jhove (Rel. 1.28.0, 2023-05-18) Date: 2025-01-23 02:38:32 CET RepresentationInformation: 1-s2.0-s0021869324006148-main.pdf ReportingModule: PDF-hul, Rel. 1.12.4 (2023-03-16) LastModified: 2025-01-17 17:52:47 CET Size: 593632 Format: PDF Version: 1.7 Status: Well-Formed and valid SignatureMatches: PDF-hul MIMEtype: application/pdf Profile: Linearized PDF PDFMetadata: Objects: 1085 FreeObjects: 400 IncrementalUpdates: 1 DocumentCatalog: PageLayout: SinglePage PageMode: UseOutlines Language: en Outlines: Item: Title: Regular ring properties degraded through inverse limits Destination: yjabr19838.title.0:1 Children: Item: Title: 1 Separativity Destination: yjabr19838.section.1:2 Item: Title: 2 The basics of inverse limits Destination: yjabr19838.section.2:3 Item: Title: 3 A variety setting Destination: yjabr19838.section.3:4 Item: Title: 4 Constructions where properties are degraded Destination: yjabr19838.section.4:5 Item: Title: 5 Some positive results Destination: yjabr19838.section.5:16 Item: Title: 6 Inverse limits of associated monoids Destination: yjabr19838.section.6:28 Item: Title: 7 An instructive example Destination: yjabr19838.section.7:37 Item: Title: 8 An intermediate step Destination: yjabr19838.section.8:43 Item: Title: Acknowledgments Destination: yjabr19838.section.8:45 Item: Title: Data availability Destination: yjabr19838.section.8:46 Item: Title: References Destination: yjabr19838.section.8:47 Info: Title: Regular ring properties degraded through inverse limits Author: Pere Ara Subject: Journal of Algebra, 664 (2025) 365 397. 10.1016/j.jalgebra.2024.11.006 Creator: Elsevier Producer: Acrobat Distiller 24.0 (Windows) CreationDate: Wed Dec 04 08:39:54 CET 2024 ModDate: Wed Dec 04 08:39:54 CET 2024 ID: 0x6dbd715c0bebd810251ab695a603b5dc, 0xf13e5b3a752ab14cb3c9282972820c02 Filters: FilterPipeline: FlateDecode FilterPipeline: DCTDecode Images: Image: NisoImageMetadata: FormatName: image/jpg CompressionScheme: JPEG ImageWidth: 246 ImageHeight: 272 ColorSpace: RGB BitsPerSample: 8 BitsPerSampleUnit: integer Image: NisoImageMetadata: FormatName: image/jpg CompressionScheme: JPEG ImageWidth: 236 ImageHeight: 298 ColorSpace: RGB BitsPerSample: 8 BitsPerSampleUnit: integer Fonts: Type1: Font: BaseFont: IOGEFM+MT2HRBT FontSubset: true FirstChar: 67 LastChar: 90 FontDescriptor: FontName: IOGEFM+MT2HRBT Flags: Serif, Nonsymbolic FontBBox: -75, -287, 1121, 777 FontFile3: true Encoding: WinAnsiEncoding Font: BaseFont: IOGEGO+MT2HRBS FontSubset: true FirstChar: 90 LastChar: 90 FontDescriptor: FontName: IOGEGO+MT2HRBS Flags: Serif, Nonsymbolic FontBBox: -75, -264, 1236, 826 FontFile3: true Encoding: WinAnsiEncoding Font: BaseFont: IOGEGN+LMMathExtension10-Regular FontSubset: true FirstChar: 2 LastChar: 35 FontDescriptor: FontName: IOGEGN+LMMathExtension10-Regular Flags: Symbolic FontBBox: -5, -2959, 1387, 744 FontFile3: true EncodingDictionary: Differences: true ToUnicode: true Font: BaseFont: IOGEGM+LMMathItalic5-Regular FontSubset: true FirstChar: 62 LastChar: 115 FontDescriptor: FontName: IOGEGM+LMMathItalic5-Regular Flags: Symbolic, Italic FontBBox: 0, -250, 1349, 750 FontFile3: true EncodingDictionary: Differences: true ToUnicode: true Font: BaseFont: IOGEAF+LMRomanCaps10-Regular FontSubset: true FirstChar: 97 LastChar: 116 FontDescriptor: FontName: IOGEAF+LMRomanCaps10-Regular Flags: Serif, Symbolic FontBBox: -496, -290, 1501, 1100 FontFile3: true EncodingDictionary: Differences: true ToUnicode: true Font: BaseFont: IOGEKO+wasy10 FontSubset: true FirstChar: 2 LastChar: 2 FontDescriptor: FontName: IOGEKO+wasy10 Flags: Symbolic FontBBox: -23, -1667, 1720, 752 FontFile3: true EncodingDictionary: Differences: true Font: BaseFont: IOGFGK+MSAM10 FontSubset: true FirstChar: 2 LastChar: 3 FontDescriptor: FontName: IOGFGK+MSAM10 Flags: Symbolic FontBBox: 7, -463, 1331, 1003 FontFile3: true EncodingDictionary: Differences: true Font: BaseFont: IOGFJK+LMRoman10-Bold FontSubset: true FirstChar: 77 LastChar: 111 FontDescriptor: FontName: IOGFJK+LMRoman10-Bold Flags: Serif, Symbolic FontBBox: -486, -295, 1607, 1133 FontFile3: true EncodingDictionary: Differences: true ToUnicode: true Font: BaseFont: IOGECJ+LMMathItalic7-Regular FontSubset: true FirstChar: 2 LastChar: 119 FontDescriptor: FontName: IOGECJ+LMMathItalic7-Regular Flags: Symbolic, Italic FontBBox: -1, -250, 1171, 750 FontFile3: true EncodingDictionary: Differences: true ToUnicode: true Font: BaseFont: IOGGCI+LMMathSymbols5-Regular FontSubset: true FirstChar: 2 LastChar: 3 FontDescriptor: FontName: IOGGCI+LMMathSymbols5-Regular Flags: Symbolic, Italic FontBBox: 0, -944, 1448, 791 FontFile3: true EncodingDictionary: Differences: true ToUnicode: true Font: BaseFont: IOGGFI+EUFM10 FontSubset: true FirstChar: 109 LastChar: 109 FontDescriptor: FontName: IOGGFI+EUFM10 Flags: Serif, Symbolic FontBBox: -28, -257, 1055, 741 FontFile3: true EncodingDictionary: Differences: true ToUnicode: true Font: BaseFont: IOGECH+LMMathItalic10-Regular FontSubset: true FirstChar: 2 LastChar: 181 FontDescriptor: FontName: IOGECH+LMMathItalic10-Regular Flags: Symbolic, Italic FontBBox: -32, -250, 1048, 750 FontFile3: true EncodingDictionary: Differences: true ToUnicode: true Font: BaseFont: IOGGKH+MSBM10 FontSubset: true FirstChar: 2 LastChar: 2 FontDescriptor: FontName: IOGGKH+MSBM10 Flags: Symbolic FontBBox: 55, 31, 721, 468 FontFile3: true EncodingDictionary: Differences: true ToUnicode: true Font: BaseFont: IOGECK+LMMathSymbols7-Regular FontSubset: true FirstChar: 2 LastChar: 138 FontDescriptor: FontName: IOGECK+LMMathSymbols7-Regular Flags: Symbolic, Italic FontBBox: -15, -951, 1252, 782 FontFile3: true EncodingDictionary: Differences: true ToUnicode: true Font: BaseFont: IOGHEE+LMRoman6-Regular FontSubset: true FirstChar: 49 LastChar: 49 FontDescriptor: FontName: IOGHEE+LMRoman6-Regular Flags: Serif, Symbolic FontBBox: -515, -298, 1647, 1125 FontFile3: true EncodingDictionary: Differences: true ToUnicode: true Font: BaseFont: IOGDJO+LMRoman7-Regular FontSubset: true FirstChar: 40 LastChar: 169 FontDescriptor: FontName: IOGDJO+LMRoman7-Regular Flags: Serif, Symbolic FontBBox: -483, -292, 1562, 1124 FontFile3: true EncodingDictionary: Differences: true ToUnicode: true Font: BaseFont: IOGHEF+LMMathSymbols6-Regular FontSubset: true FirstChar: 2 LastChar: 2 FontDescriptor: FontName: IOGHEF+LMMathSymbols6-Regular Flags: Symbolic, Italic FontBBox: -4, -948, 1329, 786 FontFile3: true EncodingDictionary: Differences: true ToUnicode: true Font: BaseFont: IOGDLO+LMSans8-Regular FontSubset: true FirstChar: 46 LastChar: 119 FontDescriptor: FontName: IOGDLO+LMSans8-Regular Flags: Symbolic FontBBox: -446, -314, 1510, 1154 FontFile3: true EncodingDictionary: Differences: true ToUnicode: true Font: BaseFont: IOGDLP+LMRoman12-Regular FontSubset: true FirstChar: 44 LastChar: 144 FontDescriptor: FontName: IOGDLP+LMRoman12-Regular Flags: Serif, Symbolic FontBBox: -422, -280, 1394, 1127 FontFile3: true EncodingDictionary: Differences: true ToUnicode: true Font: BaseFont: IOGDMA+Helvetica FontSubset: true FirstChar: 32 LastChar: 32 FontDescriptor: FontName: IOGDMA+Helvetica Flags: Nonsymbolic FontBBox: -166, -225, 1000, 931 FontFile3: true Encoding: WinAnsiEncoding Font: BaseFont: IOGECG+LMRoman10-Regular FontSubset: true FirstChar: 2 LastChar: 243 FontDescriptor: FontName: IOGECG+LMRoman10-Regular Flags: Serif, Symbolic FontBBox: -430, -290, 1417, 1127 FontFile3: true EncodingDictionary: Differences: true ToUnicode: true Font: BaseFont: IOGECI+LMMathSymbols10-Regular FontSubset: true FirstChar: 2 LastChar: 215 FontDescriptor: FontName: IOGECI+LMMathSymbols10-Regular Flags: Symbolic, Italic FontBBox: -29, -960, 1116, 775 FontFile3: true EncodingDictionary: Differences: true ToUnicode: true Font: BaseFont: IOGEAE+LMRoman7-Italic FontSubset: true FirstChar: 40 LastChar: 242 FontDescriptor: FontName: IOGEAE+LMRoman7-Italic Flags: Symbolic, Italic FontBBox: -528, -292, 1571, 1123 FontFile3: true EncodingDictionary: Differences: true ToUnicode: true Font: BaseFont: IOGDPA+LMRoman17-Regular FontSubset: true FirstChar: 82 LastChar: 118 FontDescriptor: FontName: IOGDPA+LMRoman17-Regular Flags: Serif, Symbolic FontBBox: -400, -286, 1338, 1125 FontFile3: true EncodingDictionary: Differences: true ToUnicode: true Font: BaseFont: IOGDPB+LMRoman8-Regular FontSubset: true FirstChar: 40 LastChar: 232 FontDescriptor: FontName: IOGDPB+LMRoman8-Regular Flags: Serif, Symbolic FontBBox: -456, -292, 1497, 1125 FontFile3: true EncodingDictionary: Differences: true ToUnicode: true Font: BaseFont: IOGEAC+LMMathSymbols8-Regular FontSubset: true FirstChar: 2 LastChar: 2 FontDescriptor: FontName: IOGEAC+LMMathSymbols8-Regular Flags: Symbolic, Italic FontBBox: -30, -955, 1185, 779 FontFile3: true EncodingDictionary: Differences: true ToUnicode: true Font: BaseFont: IOGEAD+LMRoman5-Regular FontSubset: true FirstChar: 43 LastChar: 101 FontDescriptor: FontName: IOGEAD+LMRoman5-Regular Flags: Serif, Symbolic FontBBox: -566, -303, 1772, 1126 FontFile3: true EncodingDictionary: Differences: true ToUnicode: true Font: BaseFont: IOGECL+LMRoman10-Italic FontSubset: true FirstChar: 40 LastChar: 147 FontDescriptor: FontName: IOGECL+LMRoman10-Italic Flags: Symbolic, Italic FontBBox: -458, -290, 1386, 1125 FontFile3: true EncodingDictionary: Differences: true ToUnicode: true Font: BaseFont: IOGDPC+LMMathItalic8-Regular FontSubset: true FirstChar: 44 LastChar: 75 FontDescriptor: FontName: IOGDPC+LMMathItalic8-Regular Flags: Symbolic, Italic FontBBox: -24, -250, 1110, 750 FontFile3: true EncodingDictionary: Differences: true ToUnicode: true Font: BaseFont: IOGEDL+LMRomanDemi10-Regular FontSubset: true FirstChar: 46 LastChar: 147 FontDescriptor: FontName: IOGEDL+LMRomanDemi10-Regular Flags: Serif, Symbolic FontBBox: -442, -295, 1406, 1136 FontFile3: true EncodingDictionary: Differences: true ToUnicode: true XMP: 1 https://www.elsevier.com/tdm/tdmrep-policy.json application/pdf doi:10.1016/j.jalgebra.2024.11.006 Regular ring properties degraded through inverse limits Pere Ara Ken Goodearl Kevin C. O'Meara Enrique Pardo Francesc Perera Exchange rings Inverse limit Regular rings Refinement (Strong) separativity Journal of Algebra, 664 (2025) 365–397. 10.1016/j.jalgebra.2024.11.006 Elsevier Inc. journal Journal of Algebra © 2024 The Author(s). Published by Elsevier Inc. 0021-8693 664 365-397 365 397 10.1016/j.jalgebra.2024.11.006 https://doi.org/10.1016/j.jalgebra.2024.11.006 2025-02-15 15 February 2025 Part B 2010-04-23 true 10.1016/j.jalgebra.2024.11.006 elsevier.com sciencedirect.com VoR 10.1016/j.jalgebra.2024.11.006 noindex 2010-04-23 true elsevier.com sciencedirect.com Elsevier 2024-12-04T09:39:54+02:00 2024-12-04T09:39:54+02:00 2024-12-04T09:39:54+02:00 True Acrobat Distiller 24.0 (Windows) uuid:68abefa0-e73f-4bfc-8acb-2fd63c300323 uuid:eed8458d-22f3-406c-8db8-b4f8294925e3 http://creativecommons.org/licenses/by/4.0/ Pages: Page: Label: 365 Annotations: Annotation: Subtype: Link Contents: URI link to https://doi.org/10.1016/j.jalgebra.2024.11.006 Rect: 175, 636, 314, 643 Annotation: Subtype: Link Contents: URI link to http://www.ScienceDirect.com/ Rect: 269, 601, 317, 609 Annotation: Subtype: Link Contents: URI link to http://www.elsevier.com/locate/jalgebra Rect: 220, 545, 340, 553 Annotation: Subtype: Link Contents: URI link to http://crossmark.crossref.org/dialog/?doi=10.1016/j.jalgebra.2024.11.006&domain=pdf Rect: 378, 472, 408, 486 Annotation: Subtype: Link Contents: Link to named destination addressa0.label Rect: 96, 451, 101, 461 Destination: 946 Annotation: Subtype: Link Contents: Link to named destination addressb0.label Rect: 103, 451, 108, 461 Destination: 946 Annotation: Subtype: Link Contents: Link to named destination addressc0.label Rect: 182, 451, 187, 461 Destination: 946 Annotation: Subtype: Link Contents: Link to named destination addressd0.label Rect: 281, 451, 287, 461 Destination: 946 Annotation: Subtype: Link Contents: Link to named destination corthanks.label Rect: 288, 451, 293, 461 Destination: 946 Annotation: Subtype: Link Contents: Link to named destination addresse0.label Rect: 123, 438, 127, 448 Destination: 946 Annotation: Subtype: Link Contents: Link to named destination addressa0.label Rect: 209, 438, 215, 448 Destination: 946 Annotation: Subtype: Link Contents: Link to named destination addressb0.label Rect: 216, 438, 221, 448 Destination: 946 Annotation: Subtype: Link Contents: URI link to http://creativecommons.org/licenses/by/4.0/ Rect: 409, 236, 436, 244 Annotation: Subtype: Link Contents: URI link to http://creativecommons.org/licenses/by/4.0/ Rect: 288, 226, 430, 234 Annotation: Subtype: Link Contents: URI link to mailto:pere.ara@uab.cat Rect: 134, 116, 195, 123 Annotation: Subtype: Link Contents: URI link to mailto:goodearl@math.ucsb.edu Rect: 233, 116, 322, 123 Annotation: Subtype: Link Contents: URI link to mailto:staf198@uclive.ac.nz Rect: 53, 107, 126, 114 Annotation: Subtype: Link Contents: URI link to mailto:enrique.pardo@uca.es Rect: 191, 107, 268, 114 Annotation: Subtype: Link Contents: URI link to mailto:francesc.perera@uab.cat Rect: 315, 107, 401, 114 Annotation: Subtype: Link Contents: URI link to https://mat.uab.cat/web/perera Rect: 89, 89, 205, 96 Annotation: Subtype: Link Contents: URI link to https://doi.org/10.1016/j.jalgebra.2024.11.006 Rect: 53, 70, 220, 77 Annotation: Subtype: Link Contents: URI link to http://creativecommons.org/licenses/by/4.0/ Rect: 97, 53, 260, 60 Page: Label: 366 Sequence: 2 Annotations: Annotation: Subtype: Link Contents: Link to named destination sec1.label Rect: 259, 280, 265, 289 Destination: 1 Annotation: Subtype: Link Contents: Link to named destination Section:InverseLimits.label Rect: 309, 253, 315, 262 Destination: 12 Annotation: Subtype: Link Contents: Link to named destination sec3.label Rect: 172, 239, 178, 248 Destination: 21 Annotation: Subtype: Link Contents: Link to named destination sec4.label Rect: 135, 199, 141, 208 Destination: 32 Annotation: Subtype: Link Contents: Link to named destination S:positive.label Rect: 332, 199, 338, 208 Destination: 60 Annotation: Subtype: Link Contents: Link to named destination sec6.label Rect: 187, 186, 193, 195 Destination: 101 Annotation: Subtype: Link Contents: Link to named destination sec7.label Rect: 82, 159, 88, 168 Destination: 143 Annotation: Subtype: Link Contents: Link to named destination Section:FinalThoughts.label Rect: 67, 119, 73, 128 Destination: 197 Page: Label: 367 Sequence: 3 Annotations: Annotation: Subtype: Link Contents: Link to named destination cite.AGOP1 Rect: 426, 525, 433, 533 Destination: 222 Annotation: Subtype: Link Contents: Link to named destination cite.AGOP1 Rect: 180, 257, 187, 265 Destination: 222 Annotation: Subtype: Link Contents: Link to named destination cite.AGOP2 Rect: 196, 257, 203, 265 Destination: 222 Annotation: Subtype: Link Contents: Link to named destination cite.AGOR Rect: 233, 257, 245, 265 Destination: 222 Annotation: Subtype: Link Contents: Link to named destination cite.GBbook Rect: 372, 94, 384, 102 Destination: 222 Annotation: Subtype: Link Contents: Link to named destination cite.BasicAlgebra Rect: 184, 81, 196, 89 Destination: 222 Page: Label: 368 Sequence: 4 Annotations: Annotation: Subtype: Link Contents: Link to named destination P:Inj.label Rect: 396, 308, 410, 317 Destination: 53 Page: Label: 369 Sequence: 5 Annotations: Annotation: Subtype: Link Contents: Link to named destination cite.AGNPP Rect: 424, 325, 431, 333 Destination: 222 Annotation: Subtype: Link Contents: Link to named destination cite.AGNPP Rect: 424, 285, 431, 293 Destination: 222 Annotation: Subtype: Link Contents: Link to named destination cite.AGNPP Rect: 66, 244, 73, 252 Destination: 222 Annotation: Subtype: Link Contents: Link to named destination cite.AGNPP Rect: 233, 217, 240, 225 Destination: 222 Page: Label: 370 Sequence: 6 Annotations: Annotation: Subtype: Link Contents: Link to named destination cite.VNRR Rect: 333, 565, 345, 573 Destination: 222 Page: Label: 371 Sequence: 7 Annotations: Annotation: Subtype: Link Contents: Link to named destination cite.AGOR Rect: 69, 311, 81, 319 Destination: 222 Annotation: Subtype: Link Contents: Link to named destination Constr:not_reg_VTEX1.label Rect: 219, 283, 233, 292 Destination: 32 Annotation: Subtype: Link Contents: Link to named destination cite.VNRR Rect: 126, 162, 138, 171 Destination: 222 Annotation: Subtype: Link Contents: Link to named destination cite.O2 Rect: 210, 122, 222, 130 Destination: 276 Page: Label: 372 Sequence: 8 Annotations: Annotation: Subtype: Link Contents: Link to named destination cite.O2 Rect: 253, 565, 265, 573 Destination: 276 Page: Label: 373 Sequence: 9 Annotations: Annotation: Subtype: Link Contents: Link to named destination cite.O2 Rect: 112, 605, 124, 613 Destination: 276 Annotation: Subtype: Link Contents: Link to named destination Constr:not_reg_VTEX1.label Rect: 247, 522, 260, 531 Destination: 32 Annotation: Subtype: Link Contents: Link to named destination Constr:not_unit_regular_VTEX1.label Rect: 382, 66, 396, 75 Destination: 36 Page: Label: 374 Sequence: 10 Annotations: Annotation: Subtype: Link Contents: Link to named destination Constr:not_unit_regular_VTEX1.label Rect: 143, 428, 157, 437 Destination: 36 Annotation: Subtype: Link Contents: Link to named destination cite.MeMo Rect: 152, 352, 164, 360 Destination: 222 Annotation: Subtype: Link Contents: Link to named destination Constr:not_reg_VTEX1.label Rect: 297, 311, 311, 320 Destination: 32 Annotation: Subtype: Link Contents: Link to named destination cite.AGOP1 Rect: 113, 144, 120, 152 Destination: 222 Page: Label: 375 Sequence: 11 Annotations: Annotation: Subtype: Link Contents: Link to named destination P:Inj.label Rect: 246, 402, 260, 411 Destination: 53 Annotation: Subtype: Link Contents: Link to named destination cite.BergmanInjectives Rect: 177, 389, 189, 397 Destination: 222 Annotation: Subtype: Link Contents: Link to named destination cite.BM Rect: 257, 294, 269, 302 Destination: 222 Annotation: Subtype: Link Contents: Link to named destination cite.VNRR Rect: 361, 294, 373, 302 Destination: 222 Annotation: Subtype: Link Contents: Link to named destination cite.Bac Rect: 307, 280, 319, 288 Destination: 222 Page: Label: 376 Sequence: 12 Annotations: Annotation: Subtype: Link Contents: Link to named destination L:Lifting.label Rect: 81, 487, 95, 496 Destination: 60 Annotation: Subtype: Link Contents: Link to named destination cite.PP Rect: 336, 448, 348, 456 Destination: 276 Annotation: Subtype: Link Contents: Link to named destination T:surjective.label Rect: 173, 421, 187, 430 Destination: 68 Annotation: Subtype: Link Contents: Link to named destination T:weak_lifting_exchange_VTEX1.label Rect: 409, 408, 423, 417 Destination: 135 Annotation: Subtype: Link Contents: Link to named destination cite.A2010 Rect: 258, 318, 265, 326 Destination: 222 Annotation: Subtype: Link Contents: Link to named destination eq**.label Rect: 348, 174, 359, 183 Destination: 68 Annotation: Subtype: Link Contents: Link to named destination eq**.label Rect: 416, 93, 427, 102 Destination: 68 Annotation: Subtype: Link Contents: Link to named destination L:Lifting.label Rect: 348, 66, 361, 75 Destination: 60 Page: Label: 377 Sequence: 13 Annotations: Annotation: Subtype: Link Contents: Link to named destination T:surjective.label Rect: 175, 604, 190, 613 Destination: 68 Annotation: Subtype: Link Contents: Link to named destination T:surjective.label Rect: 210, 397, 224, 406 Destination: 68 Annotation: Subtype: Link Contents: Link to named destination cite.Groth Rect: 194, 358, 206, 366 Destination: 222 Annotation: Subtype: Link Contents: Link to named destination cite.PP Rect: 421, 358, 433, 366 Destination: 276 Annotation: Subtype: Link Contents: Link to named destination Constr:not_unit_regular_VTEX1.label Rect: 112, 224, 126, 233 Destination: 36 Annotation: Subtype: Link Contents: Link to named destination T:surjective.label Rect: 182, 224, 196, 233 Destination: 68 Annotation: Subtype: Link Contents: Link to named destination prop5.6.label Rect: 163, 146, 177, 155 Destination: 79 Annotation: Subtype: Link Contents: Link to named destination P:Inj.label Rect: 325, 146, 338, 155 Destination: 53 Annotation: Subtype: Link Contents: Link to named destination f.d..label Rect: 195, 93, 208, 102 Destination: 79 Page: Label: 378 Sequence: 14 Page: Label: 379 Sequence: 15 Annotations: Annotation: Subtype: Link Contents: Link to named destination f.d..label Rect: 317, 310, 331, 319 Destination: 79 Annotation: Subtype: Link Contents: Link to named destination cite.Kap Rect: 186, 257, 198, 265 Destination: 222 Annotation: Subtype: Link Contents: Link to named destination cite.BP Rect: 246, 108, 258, 116 Destination: 222 Annotation: Subtype: Link Contents: Link to named destination cite.AGOP1 Rect: 346, 54, 353, 62 Destination: 222 Page: Label: 380 Sequence: 16 Annotations: Annotation: Subtype: Link Contents: Link to named destination cite.BergmanDicks Rect: 291, 242, 303, 250 Destination: 222 Annotation: Subtype: Link Contents: Link to named destination cite.BasicAlgebra Rect: 108, 134, 120, 142 Destination: 222 Page: Label: 381 Sequence: 17 Annotations: Annotation: Subtype: Link Contents: Link to named destination cite.M Rect: 258, 252, 270, 260 Destination: 222 Annotation: Subtype: Link Contents: Link to named destination cite.GoodearlUnpublished Rect: 127, 186, 140, 194 Destination: 222 Page: Label: 382 Sequence: 18 Annotations: Annotation: Subtype: Link Contents: Link to named destination cite.Bac Rect: 152, 304, 164, 312 Destination: 222 Annotation: Subtype: Link Contents: Link to named destination cite.GoodearlUnpublished Rect: 110, 279, 122, 287 Destination: 222 Page: Label: 383 Sequence: 19 Annotations: Annotation: Subtype: Link Contents: Link to named destination Lemma:LiftIsosUnitReg.label Rect: 409, 552, 423, 561 Destination: 106 Annotation: Subtype: Link Contents: Link to named destination Lemma:LiftIsosUnitReg.label Rect: 317, 381, 331, 390 Destination: 106 Annotation: Subtype: Link Contents: Link to named destination Thm:VInvLimit.label Rect: 283, 264, 297, 273 Destination: 111 Annotation: Subtype: Link Contents: Link to named destination Constr:not_unit_regular_VTEX1.label Rect: 138, 251, 151, 260 Destination: 36 Annotation: Subtype: Link Contents: Link to named destination sec7.label Rect: 88, 197, 94, 206 Destination: 143 Annotation: Subtype: Link Contents: Link to named destination Thm:VInvLimit.label Rect: 107, 132, 120, 141 Destination: 111 Page: Label: 384 Sequence: 20 Annotations: Annotation: Subtype: Link Contents: Link to named destination Thm:VInvLimit.label Rect: 322, 564, 336, 573 Destination: 111 Annotation: Subtype: Link Contents: Link to named destination Prop:MatrixUnitCornerLifting.label Rect: 305, 376, 319, 385 Destination: 125 Annotation: Subtype: Link Contents: Link to named destination T:weak_lifting_VTEX1.label Rect: 255, 188, 269, 197 Destination: 68 Annotation: Subtype: Link Contents: Link to named destination C:SepSurjective.label Rect: 363, 188, 376, 197 Destination: 125 Annotation: Subtype: Link Contents: Link to named destination T:weak_lifting_VTEX1.label Rect: 201, 161, 215, 170 Destination: 68 Annotation: Subtype: Link Contents: Link to named destination T:weak_lifting_exchange_VTEX1.label Rect: 117, 147, 131, 156 Destination: 135 Annotation: Subtype: Link Contents: Link to named destination cite.AGOR Rect: 64, 67, 76, 75 Destination: 222 Page: Label: 385 Sequence: 21 Annotations: Annotation: Subtype: Link Contents: Link to named destination cite.AGOR Rect: 278, 444, 290, 452 Destination: 222 Annotation: Subtype: Link Contents: Link to named destination cite.Perera Rect: 361, 223, 373, 231 Destination: 276 Annotation: Subtype: Link Contents: Link to named destination P:LiftSepExch.label Rect: 138, 105, 152, 114 Destination: 135 Annotation: Subtype: Link Contents: Link to named destination C:SepSurjective.label Rect: 218, 105, 232, 114 Destination: 125 Annotation: Subtype: Link Contents: Link to named destination cite.AGNOPP Rect: 160, 81, 167, 89 Destination: 222 Page: Label: 386 Sequence: 22 Annotations: Annotation: Subtype: Link Contents: Link to named destination Thm:VInvLimit.label Rect: 179, 537, 193, 546 Destination: 111 Annotation: Subtype: Link Contents: Link to named destination cite.AG12 Rect: 341, 525, 348, 533 Destination: 222 Annotation: Subtype: Link Contents: Link to named destination cite.AG12 Rect: 99, 511, 106, 519 Destination: 222 Annotation: Subtype: Link Contents: Link to named destination cite.AAM Rect: 310, 511, 317, 519 Destination: 222 Annotation: Subtype: Link Contents: Link to named destination cite.AG12 Rect: 118, 459, 125, 467 Destination: 222 Annotation: Subtype: Link Contents: Link to named destination cite.AG12 Rect: 353, 405, 360, 413 Destination: 222 Annotation: Subtype: Link Contents: Link to named destination cite.AG12 Rect: 296, 379, 303, 387 Destination: 222 Annotation: Subtype: Link Contents: Link to named destination cite.ABP Rect: 315, 353, 322, 361 Destination: 222 Annotation: Subtype: Link Contents: Link to named destination cite.ABPS Rect: 372, 353, 379, 361 Destination: 222 Page: Label: 387 Sequence: 23 Annotations: Annotation: Subtype: Link Contents: Link to named destination cite.ABP Rect: 344, 187, 351, 195 Destination: 222 Annotation: Subtype: Link Contents: Link to named destination cite.AGOP1 Rect: 257, 106, 264, 114 Destination: 222 Page: Label: 388 Sequence: 24 Annotations: Annotation: Subtype: Link Contents: Link to named destination cite.ABP Rect: 77, 578, 84, 586 Destination: 222 Annotation: Subtype: Link Contents: Link to named destination cite.ABP Rect: 220, 404, 227, 412 Destination: 222 Annotation: Subtype: Link Contents: Link to named destination cite.ABP Rect: 276, 391, 283, 399 Destination: 222 Annotation: Subtype: Link Contents: Link to named destination cite.A2010 Rect: 365, 391, 372, 399 Destination: 222 Annotation: Subtype: Link Contents: Link to named destination eq:third.label Rect: 103, 218, 109, 227 Destination: 160 Annotation: Subtype: Link Contents: Link to named destination cite.ABP Rect: 224, 219, 231, 227 Destination: 222 Annotation: Subtype: Link Contents: Link to named destination eq:fourth.label Rect: 408, 218, 414, 227 Destination: 160 Annotation: Subtype: Link Contents: Link to named destination eq:third.label Rect: 339, 153, 345, 162 Destination: 160 Page: Label: 389 Sequence: 25 Annotations: Annotation: Subtype: Link Contents: Link to named destination T:Qreg.label Rect: 242, 414, 256, 423 Destination: 155 Annotation: Subtype: Link Contents: Link to named destination T:surjective.label Rect: 278, 414, 291, 423 Destination: 68 Page: Label: 390 Sequence: 26 Annotations: Annotation: Subtype: Link Contents: Link to named destination eq:second.label Rect: 192, 275, 198, 284 Destination: 160 Annotation: Subtype: Link Contents: Link to named destination eq:third.label Rect: 211, 275, 217, 284 Destination: 160 Annotation: Subtype: Link Contents: Link to named destination eq:second.label Rect: 66, 81, 72, 90 Destination: 160 Page: Label: 391 Sequence: 27 Annotations: Annotation: Subtype: Link Contents: Link to named destination lem:invariant-by-conjugation.label Rect: 242, 271, 256, 280 Destination: 176 Annotation: Subtype: Link Contents: Link to named destination lem:invariant-by-conjugation.label Rect: 373, 195, 387, 204 Destination: 176 Page: Label: 392 Sequence: 28 Annotations: Annotation: Subtype: Link Contents: Link to named destination T:Qreg.label Rect: 226, 559, 240, 568 Destination: 155 Annotation: Subtype: Link Contents: Link to named destination T:surjective.label Rect: 373, 79, 387, 88 Destination: 68 Annotation: Subtype: Link Contents: Link to named destination Thm:VInvLimit.label Rect: 394, 66, 408, 75 Destination: 111 Page: Label: 393 Sequence: 29 Annotations: Annotation: Subtype: Link Contents: Link to named destination E:Pere.label Rect: 169, 431, 182, 440 Destination: 160 Annotation: Subtype: Link Contents: Link to named destination Prop:MatrixUnitCornerLifting.label Rect: 422, 431, 436, 440 Destination: 125 Annotation: Subtype: Link Contents: Link to named destination T:Qreg.label Rect: 123, 380, 137, 389 Destination: 155 Annotation: Subtype: Link Contents: Link to named destination Thm:VInvLimit.label Rect: 211, 366, 225, 375 Destination: 111 Annotation: Subtype: Link Contents: Link to named destination cite.AGOP1 Rect: 121, 300, 128, 308 Destination: 222 Annotation: Subtype: Link Contents: Link to named destination E:Pere.label Rect: 94, 259, 108, 268 Destination: 160 Annotation: Subtype: Link Contents: Link to named destination cite.AGOP1 Rect: 207, 54, 214, 62 Destination: 222 Page: Label: 394 Sequence: 30 Annotations: Annotation: Subtype: Link Contents: Link to named destination cite.AGOP1 Rect: 49, 592, 56, 600 Destination: 222 Annotation: Subtype: Link Contents: Link to named destination SSP.label Rect: 305, 511, 319, 520 Destination: 207 Annotation: Subtype: Link Contents: Link to named destination Constr:not_unit_regular_VTEX1.label Rect: 317, 430, 330, 439 Destination: 36 Annotation: Subtype: Link Contents: Link to named destination con4.7.label Rect: 304, 376, 318, 385 Destination: 53 Annotation: Subtype: Link Contents: Link to named destination cite.O1 Rect: 295, 283, 307, 291 Destination: 222 Annotation: Subtype: Link Contents: Link to named destination cite.GMM Rect: 236, 269, 248, 277 Destination: 222 Annotation: Subtype: Link Contents: Link to named destination cite.GMM Rect: 155, 135, 167, 143 Destination: 222 Annotation: Subtype: Link Contents: Link to named destination cite.APP Rect: 179, 67, 191, 75 Destination: 222 Page: Label: 395 Sequence: 31 Annotations: Annotation: Subtype: Link Contents: Link to named destination sec4.label Rect: 195, 577, 201, 586 Destination: 32 Page: Label: 396 Sequence: 32 Annotations: Annotation: Subtype: Link Rect: 64, 526, 430, 532 Annotation: Subtype: Link Rect: 64, 517, 171, 523 Annotation: Subtype: Link Rect: 64, 506, 430, 514 Annotation: Subtype: Link Rect: 64, 497, 430, 503 Annotation: Subtype: Link Rect: 64, 487, 267, 495 Annotation: Subtype: Link Rect: 64, 478, 430, 484 Annotation: Subtype: Link Rect: 64, 467, 334, 475 Annotation: Subtype: Link Rect: 64, 439, 430, 445 Annotation: Subtype: Link Rect: 64, 429, 174, 437 Annotation: Subtype: Link Rect: 64, 420, 430, 426 Annotation: Subtype: Link Rect: 64, 410, 430, 418 Annotation: Subtype: Link Rect: 64, 401, 372, 407 Annotation: Subtype: Link Rect: 64, 391, 430, 397 Annotation: Subtype: Link Rect: 64, 381, 317, 389 Annotation: Subtype: Link Rect: 64, 372, 430, 378 Annotation: Subtype: Link Rect: 64, 361, 271, 369 Annotation: Subtype: Link Rect: 64, 353, 430, 359 Annotation: Subtype: Link Rect: 64, 342, 333, 350 Annotation: Subtype: Link Rect: 64, 333, 430, 339 Annotation: Subtype: Link Rect: 64, 323, 268, 331 Annotation: Subtype: Link Rect: 64, 314, 430, 320 Annotation: Subtype: Link Rect: 64, 304, 174, 312 Annotation: Subtype: Link Rect: 64, 295, 430, 301 Annotation: Subtype: Link Rect: 64, 285, 235, 291 Annotation: Subtype: Link Rect: 64, 275, 430, 283 Annotation: Subtype: Link Rect: 64, 266, 156, 272 Annotation: Subtype: Link Rect: 64, 256, 430, 262 Annotation: Subtype: Link Rect: 64, 246, 195, 254 Annotation: Subtype: Link Rect: 64, 236, 430, 244 Annotation: Subtype: Link Rect: 64, 228, 113, 233 Annotation: Subtype: Link Rect: 64, 218, 430, 224 Annotation: Subtype: Link Rect: 64, 207, 199, 215 Annotation: Subtype: Link Rect: 64, 198, 430, 204 Annotation: Subtype: Link Rect: 64, 189, 187, 195 Annotation: Subtype: Link Rect: 64, 168, 430, 176 Annotation: Subtype: Link Rect: 64, 159, 174, 167 Annotation: Subtype: Link Rect: 64, 150, 430, 158 Annotation: Subtype: Link Rect: 64, 140, 366, 149 Annotation: Subtype: Link Rect: 64, 131, 430, 137 Annotation: Subtype: Link Rect: 64, 122, 96, 127 Annotation: Subtype: Link Rect: 64, 111, 430, 118 Annotation: Subtype: Link Rect: 64, 102, 430, 108 Annotation: Subtype: Link Rect: 64, 93, 113, 98 Annotation: Subtype: Link Rect: 64, 82, 430, 89 Annotation: Subtype: Link Rect: 64, 73, 135, 79 Annotation: Subtype: Link Rect: 64, 62, 430, 70 Annotation: Subtype: Link Rect: 64, 53, 174, 61 Page: Label: 397 Sequence: 33 Annotations: Annotation: Subtype: Link Rect: 70, 604, 435, 612 Annotation: Subtype: Link Rect: 70, 595, 188, 603 Annotation: Subtype: Link Rect: 70, 586, 435, 592 Annotation: Subtype: Link Rect: 70, 575, 227, 583 Annotation: Subtype: Link Rect: 70, 567, 435, 573 Annotation: Subtype: Link Rect: 70, 556, 242, 564 Checksum: 1c422ac5 Type: CRC32 Checksum: 288520f33d127d8242ddc75cd404893f Type: MD5 Checksum: e96c6a33a6190b987a20153cf24738469cfe593d Type: SHA-1 Checksum: 050cad21afb6a49361bc65f249166696795c11edfcca49a715e0f1b5852fcadb Type: SHA-256