{"id":"https://openalex.org/W1581732264","doi":"https://doi.org/10.1112/s146115701300034x","title":"Linear algebra over and related rings","display_name":"Linear algebra over and related rings","publication_year":2014,"publication_date":"2014-01-01","ids":{"openalex":"https://openalex.org/W1581732264","doi":"https://doi.org/10.1112/s146115701300034x","mag":"1581732264"},"language":"en","primary_location":{"id":"doi:10.1112/s146115701300034x","is_oa":true,"landing_page_url":"https://doi.org/10.1112/s146115701300034x","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/230F440B37229EE28A82B008A8EE7A37/S146115701300034Xa.pdf/div-class-title-linear-algebra-over-span-class-inlineformula-span-class-alternatives-img-class-inline-graphic-mathjax-alternative-mathjax-alt-graphic-mathjax-off-data-mimesubtype-gif-data-type-simple-src-staticdomain-binary-version-id-urn-cambridge-org-id-binary-20160921005712984-0718-s146115701300034x-s146115701300034x-inline1-gif-span-class-mathjax-tex-wrapper-data-mathjax-type-texmath-span-class-tex-math-mathjax-tex-math-mathjax-on-def-xmlpi-1-def-mathsfbi-1-boldsymbol-mathsf-1-let-le-leqslant-let-leq-leqslant-let-ge-geqslant-let-geq-geqslant-def-pr-mathit-pr-def-fr-mathit-fr-def-rey-mathit-re-mathbb-z-p-u-span-span-span-span-and-related-rings-div.pdf","source":{"id":"https://openalex.org/S118668765","display_name":"LMS Journal of Computation and Mathematics","issn_l":"1461-1570","issn":["1461-1570"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311874","host_organization_name":"London Mathematical Society","host_organization_lineage":["https://openalex.org/P4310311874"],"host_organization_lineage_names":["London Mathematical Society"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"LMS Journal of Computation and Mathematics","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/230F440B37229EE28A82B008A8EE7A37/S146115701300034Xa.pdf/div-class-title-linear-algebra-over-span-class-inlineformula-span-class-alternatives-img-class-inline-graphic-mathjax-alternative-mathjax-alt-graphic-mathjax-off-data-mimesubtype-gif-data-type-simple-src-staticdomain-binary-version-id-urn-cambridge-org-id-binary-20160921005712984-0718-s146115701300034x-s146115701300034x-inline1-gif-span-class-mathjax-tex-wrapper-data-mathjax-type-texmath-span-class-tex-math-mathjax-tex-math-mathjax-on-def-xmlpi-1-def-mathsfbi-1-boldsymbol-mathsf-1-let-le-leqslant-let-leq-leqslant-let-ge-geqslant-let-geq-geqslant-def-pr-mathit-pr-def-fr-mathit-fr-def-rey-mathit-re-mathbb-z-p-u-span-span-span-span-and-related-rings-div.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5090588076","display_name":"Xavier Caruso","orcid":null},"institutions":[{"id":"https://openalex.org/I3124938446","display_name":"Universit\u00e9 Rennes 2","ror":"https://ror.org/01m84wm78","country_code":"FR","type":"education","lineage":["https://openalex.org/I3124938446"]},{"id":"https://openalex.org/I4210161663","display_name":"Institut de recherche math\u00e9matique de Rennes","ror":"https://ror.org/05y76vp22","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I2800285241","https://openalex.org/I28221208","https://openalex.org/I3124938446","https://openalex.org/I4210117091","https://openalex.org/I4210141950","https://openalex.org/I4210146044","https://openalex.org/I4210161663","https://openalex.org/I4399657933","https://openalex.org/I56067802","https://openalex.org/I56067802"]},{"id":"https://openalex.org/I56067802","display_name":"Universit\u00e9 de Rennes","ror":"https://ror.org/015m7wh34","country_code":"FR","type":"education","lineage":["https://openalex.org/I56067802"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Xavier Caruso","raw_affiliation_strings":["Universt\u00e9 de Rennes 1, 35042 Rennes, France email","Institut de Recherche Math\u00e9matique de Rennes"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universt\u00e9 de Rennes 1, 35042 Rennes, France email","institution_ids":["https://openalex.org/I56067802","https://openalex.org/I3124938446"]},{"raw_affiliation_string":"Institut de Recherche Math\u00e9matique de Rennes","institution_ids":["https://openalex.org/I4210161663"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5000197116","display_name":"David Lubicz","orcid":null},"institutions":[{"id":"https://openalex.org/I3124938446","display_name":"Universit\u00e9 Rennes 2","ror":"https://ror.org/01m84wm78","country_code":"FR","type":"education","lineage":["https://openalex.org/I3124938446"]},{"id":"https://openalex.org/I4210161663","display_name":"Institut de recherche math\u00e9matique de Rennes","ror":"https://ror.org/05y76vp22","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I2800285241","https://openalex.org/I28221208","https://openalex.org/I3124938446","https://openalex.org/I4210117091","https://openalex.org/I4210141950","https://openalex.org/I4210146044","https://openalex.org/I4210161663","https://openalex.org/I4399657933","https://openalex.org/I56067802","https://openalex.org/I56067802"]},{"id":"https://openalex.org/I56067802","display_name":"Universit\u00e9 de Rennes","ror":"https://ror.org/015m7wh34","country_code":"FR","type":"education","lineage":["https://openalex.org/I56067802"]},{"id":"https://openalex.org/I95583923","display_name":"Direction G\u00e9n\u00e9rale de l'Armement","ror":"https://ror.org/04wsqd844","country_code":"FR","type":"funder","lineage":["https://openalex.org/I2799681489","https://openalex.org/I2802818602","https://openalex.org/I95583923"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"David Lubicz","raw_affiliation_strings":["Universt\u00e9 de Rennes 1, 35042 Rennes, France email","D\u00e9l\u00e9gation g\u00e9n\u00e9rale de l'armement","Institut de Recherche Math\u00e9matique de Rennes"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universt\u00e9 de Rennes 1, 35042 Rennes, France email","institution_ids":["https://openalex.org/I56067802","https://openalex.org/I3124938446"]},{"raw_affiliation_string":"D\u00e9l\u00e9gation g\u00e9n\u00e9rale de l'armement","institution_ids":["https://openalex.org/I95583923"]},{"raw_affiliation_string":"Institut de Recherche Math\u00e9matique de Rennes","institution_ids":["https://openalex.org/I4210161663"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.8325,"has_fulltext":true,"cited_by_count":8,"citation_normalized_percentile":{"value":0.82386327,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"17","issue":"1","first_page":"302","last_page":"344"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10061","display_name":"Algebraic Geometry and Number Theory","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10061","display_name":"Algebraic Geometry and Number Theory","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12069","display_name":"Commutative Algebra and Its Applications","score":0.9941999912261963,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.9805999994277954,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.8749706745147705},{"id":"https://openalex.org/keywords/modulo","display_name":"Modulo","score":0.7326192855834961},{"id":"https://openalex.org/keywords/isomorphism","display_name":"Isomorphism (crystallography)","score":0.5867175459861755},{"id":"https://openalex.org/keywords/integer","display_name":"Integer (computer science)","score":0.5037605166435242},{"id":"https://openalex.org/keywords/linear-algebra","display_name":"Linear algebra","score":0.49196574091911316},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.46377959847450256},{"id":"https://openalex.org/keywords/valuation","display_name":"Valuation (finance)","score":0.43444278836250305},{"id":"https://openalex.org/keywords/ring","display_name":"Ring (chemistry)","score":0.4232431650161743},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.410255491733551},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3900619149208069},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3700413107872009},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.07890674471855164}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8749706745147705},{"id":"https://openalex.org/C54732982","wikidata":"https://www.wikidata.org/wiki/Q1415345","display_name":"Modulo","level":2,"score":0.7326192855834961},{"id":"https://openalex.org/C203436722","wikidata":"https://www.wikidata.org/wiki/Q902950","display_name":"Isomorphism (crystallography)","level":3,"score":0.5867175459861755},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.5037605166435242},{"id":"https://openalex.org/C139352143","wikidata":"https://www.wikidata.org/wiki/Q82571","display_name":"Linear algebra","level":2,"score":0.49196574091911316},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.46377959847450256},{"id":"https://openalex.org/C186027771","wikidata":"https://www.wikidata.org/wiki/Q4008379","display_name":"Valuation (finance)","level":2,"score":0.43444278836250305},{"id":"https://openalex.org/C2780378348","wikidata":"https://www.wikidata.org/wiki/Q25351438","display_name":"Ring (chemistry)","level":2,"score":0.4232431650161743},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.410255491733551},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3900619149208069},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3700413107872009},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.07890674471855164},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C8010536","wikidata":"https://www.wikidata.org/wiki/Q160398","display_name":"Crystallography","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C178790620","wikidata":"https://www.wikidata.org/wiki/Q11351","display_name":"Organic chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C115624301","wikidata":"https://www.wikidata.org/wiki/Q895901","display_name":"Crystal structure","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1112/s146115701300034x","is_oa":true,"landing_page_url":"https://doi.org/10.1112/s146115701300034x","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/230F440B37229EE28A82B008A8EE7A37/S146115701300034Xa.pdf/div-class-title-linear-algebra-over-span-class-inlineformula-span-class-alternatives-img-class-inline-graphic-mathjax-alternative-mathjax-alt-graphic-mathjax-off-data-mimesubtype-gif-data-type-simple-src-staticdomain-binary-version-id-urn-cambridge-org-id-binary-20160921005712984-0718-s146115701300034x-s146115701300034x-inline1-gif-span-class-mathjax-tex-wrapper-data-mathjax-type-texmath-span-class-tex-math-mathjax-tex-math-mathjax-on-def-xmlpi-1-def-mathsfbi-1-boldsymbol-mathsf-1-let-le-leqslant-let-leq-leqslant-let-ge-geqslant-let-geq-geqslant-def-pr-mathit-pr-def-fr-mathit-fr-def-rey-mathit-re-mathbb-z-p-u-span-span-span-span-and-related-rings-div.pdf","source":{"id":"https://openalex.org/S118668765","display_name":"LMS Journal of Computation and Mathematics","issn_l":"1461-1570","issn":["1461-1570"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311874","host_organization_name":"London Mathematical Society","host_organization_lineage":["https://openalex.org/P4310311874"],"host_organization_lineage_names":["London Mathematical Society"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"LMS Journal of Computation and Mathematics","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1212.1053","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1212.1053","pdf_url":"https://arxiv.org/pdf/1212.1053","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:HAL:hal-00759827v1","is_oa":true,"landing_page_url":"https://hal.science/hal-00759827","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"LMS Journal of Computation and Mathematics, 2014, 17 (1), pp.302-344. ⟨10.1112/S146115701300034X⟩","raw_type":"Journal articles"}],"best_oa_location":{"id":"doi:10.1112/s146115701300034x","is_oa":true,"landing_page_url":"https://doi.org/10.1112/s146115701300034x","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/230F440B37229EE28A82B008A8EE7A37/S146115701300034Xa.pdf/div-class-title-linear-algebra-over-span-class-inlineformula-span-class-alternatives-img-class-inline-graphic-mathjax-alternative-mathjax-alt-graphic-mathjax-off-data-mimesubtype-gif-data-type-simple-src-staticdomain-binary-version-id-urn-cambridge-org-id-binary-20160921005712984-0718-s146115701300034x-s146115701300034x-inline1-gif-span-class-mathjax-tex-wrapper-data-mathjax-type-texmath-span-class-tex-math-mathjax-tex-math-mathjax-on-def-xmlpi-1-def-mathsfbi-1-boldsymbol-mathsf-1-let-le-leqslant-let-leq-leqslant-let-ge-geqslant-let-geq-geqslant-def-pr-mathit-pr-def-fr-mathit-fr-def-rey-mathit-re-mathbb-z-p-u-span-span-span-span-and-related-rings-div.pdf","source":{"id":"https://openalex.org/S118668765","display_name":"LMS Journal of Computation and Mathematics","issn_l":"1461-1570","issn":["1461-1570"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311874","host_organization_name":"London Mathematical Society","host_organization_lineage":["https://openalex.org/P4310311874"],"host_organization_lineage_names":["London Mathematical Society"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"LMS Journal of Computation and Mathematics","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3597637701","display_name":null,"funder_award_id":"ANR-11-LABX-0020","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"}],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1581732264.pdf","grobid_xml":"https://content.openalex.org/works/W1581732264.grobid-xml"},"referenced_works_count":14,"referenced_works":["https://openalex.org/W1496801598","https://openalex.org/W1548944036","https://openalex.org/W1562183207","https://openalex.org/W1979740015","https://openalex.org/W1985138225","https://openalex.org/W2004912886","https://openalex.org/W2100013676","https://openalex.org/W2113672208","https://openalex.org/W2126092304","https://openalex.org/W2949347701","https://openalex.org/W2962954619","https://openalex.org/W3038928148","https://openalex.org/W3121976812","https://openalex.org/W4254491055"],"related_works":["https://openalex.org/W2117548279","https://openalex.org/W2097470475","https://openalex.org/W2070252991","https://openalex.org/W2807449856","https://openalex.org/W2941201715","https://openalex.org/W2025727968","https://openalex.org/W238211858","https://openalex.org/W4297742300","https://openalex.org/W4394650166","https://openalex.org/W2803761277"],"abstract_inverted_index":{"Abstract":[0],"Let":[1],"$\\mathfrak{R}$":[2],"be":[3,120],"a":[4,12,52,91,168],"complete":[5],"discrete":[6],"valuation":[7],"ring,":[8],"$S=\\mathfrak{R}[[u]]$":[9],"and":[10,32,103,143,155],"$d$":[11],"positive":[13],"integer.":[14],"The":[15],"aim":[16],"of":[17,34,38,58,60,77,83,86,96,99,107,167],"this":[18,72],"paper":[19],"is":[20,43,47,149],"to":[21,24,50,70,90,112,128,161],"explain":[22,68],"how":[23,69],"efficiently":[25],"compute":[26,162],"usual":[27],"operations":[28,88,132],"such":[29],"as":[30],"sum":[31],"intersection":[33],"sub-":[35],"$S$":[36,42,136],"-modules":[37,137],"$S^d$":[39],".":[40],"As":[41],"not":[44,48],"principal,":[45],"it":[46],"possible":[49],"have":[51,111],"uniform":[53],"bound":[54],"on":[55],"the":[56,61,84,94,97,100,108,163],"number":[57],"generators":[59],"modules":[62],"resulting":[63],"from":[64],"these":[65,87],"operations.":[66],"We":[67],"mitigate":[71],"problem,":[73],"following":[74],"an":[75,81],"idea":[76],"Iwasawa,":[78],"by":[79],"computing":[80],"approximation":[82],"result":[85],"up":[89],"quasi-isomorphism.":[92],"In":[93],"course":[95],"analysis":[98],"$p$":[101,144,166],"-adic":[102,105,145],"$u$":[104],"precisions":[106],"computations,":[109],"we":[110],"introduce":[113],"more":[114],"general":[115],"coefficient":[116],"rings":[117],"that":[118],"may":[119],"interesting":[121],"for":[122],"their":[123],"own":[124],"sake.":[125],"Being":[126],"able":[127],"perform":[129],"linear":[130],"algebra":[131],"modulo":[133,165],"quasi-isomorphism":[134],"with":[135],"has":[138],"applications":[139],"in":[140,151,153],"Iwasawa":[141],"theory":[142],"Hodge":[146],"theory.":[147],"It":[148],"used":[150],"particular":[152],"Caruso":[154],"Lubicz":[156],"(Preprint,":[157],"2013,":[158],"arXiv:1309.4194":[159],")":[160],"semi-simplified":[164],"semi-stable":[169],"representation.":[170]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2016,"cited_by_count":2},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":1}],"updated_date":"2026-06-20T22:02:38.213706","created_date":"2016-06-24T00:00:00"}