Galois Connections and Applications:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Dordrecht
Springer Netherlands
2004
|
| Schriftenreihe: | Mathematics and Its Applications
565 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | Galois connections provide the order- or structure-preserving passage between two worlds of our imagination - and thus are inherent in hu man thinking wherever logical or mathematical reasoning about cer tain hierarchical structures is involved. Order-theoretically, a Galois connection is given simply by two opposite order-inverting (or order preserving) maps whose composition yields two closure operations (or one closure and one kernel operation in the order-preserving case). Thus, the "hierarchies" in the two opposite worlds are reversed or transported when passing to the other world, and going forth and back becomes a stationary process when iterated. The advantage of such an "adjoint situation" is that information about objects and relationships in one of the two worlds may be used to gain new information about the other world, and vice versa. In classical Galois theory, for instance, properties of permutation groups are used to study field extensions. Or, in algebraic geometry, a good knowledge of polynomial rings gives insight into the structure of curves, surfaces and other algebraic vari eties, and conversely. Moreover, restriction to the "Galois-closed" or "Galois-open" objects (the fixed points of the composite maps) leads to a precise "duality between two maximal subworlds" |
| Beschreibung: | 1 Online-Ressource (XVI, 502 p) |
| ISBN: | 9781402018985 9789048165407 |
| DOI: | 10.1007/978-1-4020-1898-5 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042419231 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150317s2004 |||| o||u| ||||||eng d | ||
| 020 | |a 9781402018985 |c Online |9 978-1-4020-1898-5 | ||
| 020 | |a 9789048165407 |c Print |9 978-90-481-6540-7 | ||
| 024 | 7 | |a 10.1007/978-1-4020-1898-5 |2 doi | |
| 035 | |a (OCoLC)859350189 | ||
| 035 | |a (DE-599)BVBBV042419231 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-703 |a DE-91 |a DE-634 | ||
| 082 | 0 | |a 510 |2 23 | |
| 084 | |a MAT 000 |2 stub | ||
| 100 | 1 | |a Denecke, K. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Galois Connections and Applications |c edited by K. Denecke, M. Erné, S. L. Wismath |
| 264 | 1 | |a Dordrecht |b Springer Netherlands |c 2004 | |
| 300 | |a 1 Online-Ressource (XVI, 502 p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Mathematics and Its Applications |v 565 | |
| 500 | |a Galois connections provide the order- or structure-preserving passage between two worlds of our imagination - and thus are inherent in hu man thinking wherever logical or mathematical reasoning about cer tain hierarchical structures is involved. Order-theoretically, a Galois connection is given simply by two opposite order-inverting (or order preserving) maps whose composition yields two closure operations (or one closure and one kernel operation in the order-preserving case). Thus, the "hierarchies" in the two opposite worlds are reversed or transported when passing to the other world, and going forth and back becomes a stationary process when iterated. The advantage of such an "adjoint situation" is that information about objects and relationships in one of the two worlds may be used to gain new information about the other world, and vice versa. In classical Galois theory, for instance, properties of permutation groups are used to study field extensions. Or, in algebraic geometry, a good knowledge of polynomial rings gives insight into the structure of curves, surfaces and other algebraic vari eties, and conversely. Moreover, restriction to the "Galois-closed" or "Galois-open" objects (the fixed points of the composite maps) leads to a precise "duality between two maximal subworlds" | ||
| 650 | 4 | |a Mathematics | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Data structures (Computer science) | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Mathematics, general | |
| 650 | 4 | |a Programming Languages, Compilers, Interpreters | |
| 650 | 4 | |a Artificial Intelligence (incl. Robotics) | |
| 650 | 4 | |a Data Structures | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Mathematik | |
| 700 | 1 | |a Erné, M. |e Sonstige |4 oth | |
| 700 | 1 | |a Wismath, S. L. |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-1-4020-1898-5 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-SMA |a ZDB-2-BAE | ||
| 940 | 1 | |q ZDB-2-SMA_Archive | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027854648 | ||
Datensatz im Suchindex
| _version_ | 1804153089626734592 |
|---|---|
| any_adam_object | |
| author | Denecke, K. |
| author_facet | Denecke, K. |
| author_role | aut |
| author_sort | Denecke, K. |
| author_variant | k d kd |
| building | Verbundindex |
| bvnumber | BV042419231 |
| classification_tum | MAT 000 |
| collection | ZDB-2-SMA ZDB-2-BAE |
| ctrlnum | (OCoLC)859350189 (DE-599)BVBBV042419231 |
| dewey-full | 510 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 510 - Mathematics |
| dewey-raw | 510 |
| dewey-search | 510 |
| dewey-sort | 3510 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| doi_str_mv | 10.1007/978-1-4020-1898-5 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03006nmm a2200517zcb4500</leader><controlfield tag="001">BV042419231</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150317s2004 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781402018985</subfield><subfield code="c">Online</subfield><subfield code="9">978-1-4020-1898-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789048165407</subfield><subfield code="c">Print</subfield><subfield code="9">978-90-481-6540-7</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-1-4020-1898-5</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)859350189</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042419231</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">510</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Denecke, K.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Galois Connections and Applications</subfield><subfield code="c">edited by K. Denecke, M. Erné, S. L. Wismath</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht</subfield><subfield code="b">Springer Netherlands</subfield><subfield code="c">2004</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XVI, 502 p)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Mathematics and Its Applications</subfield><subfield code="v">565</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Galois connections provide the order- or structure-preserving passage between two worlds of our imagination - and thus are inherent in hu man thinking wherever logical or mathematical reasoning about cer tain hierarchical structures is involved. Order-theoretically, a Galois connection is given simply by two opposite order-inverting (or order preserving) maps whose composition yields two closure operations (or one closure and one kernel operation in the order-preserving case). Thus, the "hierarchies" in the two opposite worlds are reversed or transported when passing to the other world, and going forth and back becomes a stationary process when iterated. The advantage of such an "adjoint situation" is that information about objects and relationships in one of the two worlds may be used to gain new information about the other world, and vice versa. In classical Galois theory, for instance, properties of permutation groups are used to study field extensions. Or, in algebraic geometry, a good knowledge of polynomial rings gives insight into the structure of curves, surfaces and other algebraic vari eties, and conversely. Moreover, restriction to the "Galois-closed" or "Galois-open" objects (the fixed points of the composite maps) leads to a precise "duality between two maximal subworlds"</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Data structures (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics, general</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Languages, Compilers, Interpreters</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence (incl. Robotics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Data Structures</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Erné, M.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wismath, S. L.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-1-4020-1898-5</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SMA</subfield><subfield code="a">ZDB-2-BAE</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SMA_Archive</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027854648</subfield></datafield></record></collection> |
| id | DE-604.BV042419231 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:04Z |
| institution | BVB |
| isbn | 9781402018985 9789048165407 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027854648 |
| oclc_num | 859350189 |
| open_access_boolean | |
| owner | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| owner_facet | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| physical | 1 Online-Ressource (XVI, 502 p) |
| psigel | ZDB-2-SMA ZDB-2-BAE ZDB-2-SMA_Archive |
| publishDate | 2004 |
| publishDateSearch | 2004 |
| publishDateSort | 2004 |
| publisher | Springer Netherlands |
| record_format | marc |
| series2 | Mathematics and Its Applications |
| spelling | Denecke, K. Verfasser aut Galois Connections and Applications edited by K. Denecke, M. Erné, S. L. Wismath Dordrecht Springer Netherlands 2004 1 Online-Ressource (XVI, 502 p) txt rdacontent c rdamedia cr rdacarrier Mathematics and Its Applications 565 Galois connections provide the order- or structure-preserving passage between two worlds of our imagination - and thus are inherent in hu man thinking wherever logical or mathematical reasoning about cer tain hierarchical structures is involved. Order-theoretically, a Galois connection is given simply by two opposite order-inverting (or order preserving) maps whose composition yields two closure operations (or one closure and one kernel operation in the order-preserving case). Thus, the "hierarchies" in the two opposite worlds are reversed or transported when passing to the other world, and going forth and back becomes a stationary process when iterated. The advantage of such an "adjoint situation" is that information about objects and relationships in one of the two worlds may be used to gain new information about the other world, and vice versa. In classical Galois theory, for instance, properties of permutation groups are used to study field extensions. Or, in algebraic geometry, a good knowledge of polynomial rings gives insight into the structure of curves, surfaces and other algebraic vari eties, and conversely. Moreover, restriction to the "Galois-closed" or "Galois-open" objects (the fixed points of the composite maps) leads to a precise "duality between two maximal subworlds" Mathematics Computer science Data structures (Computer science) Artificial intelligence Mathematics, general Programming Languages, Compilers, Interpreters Artificial Intelligence (incl. Robotics) Data Structures Informatik Künstliche Intelligenz Mathematik Erné, M. Sonstige oth Wismath, S. L. Sonstige oth https://doi.org/10.1007/978-1-4020-1898-5 Verlag Volltext |
| spellingShingle | Denecke, K. Galois Connections and Applications Mathematics Computer science Data structures (Computer science) Artificial intelligence Mathematics, general Programming Languages, Compilers, Interpreters Artificial Intelligence (incl. Robotics) Data Structures Informatik Künstliche Intelligenz Mathematik |
| title | Galois Connections and Applications |
| title_auth | Galois Connections and Applications |
| title_exact_search | Galois Connections and Applications |
| title_full | Galois Connections and Applications edited by K. Denecke, M. Erné, S. L. Wismath |
| title_fullStr | Galois Connections and Applications edited by K. Denecke, M. Erné, S. L. Wismath |
| title_full_unstemmed | Galois Connections and Applications edited by K. Denecke, M. Erné, S. L. Wismath |
| title_short | Galois Connections and Applications |
| title_sort | galois connections and applications |
| topic | Mathematics Computer science Data structures (Computer science) Artificial intelligence Mathematics, general Programming Languages, Compilers, Interpreters Artificial Intelligence (incl. Robotics) Data Structures Informatik Künstliche Intelligenz Mathematik |
| topic_facet | Mathematics Computer science Data structures (Computer science) Artificial intelligence Mathematics, general Programming Languages, Compilers, Interpreters Artificial Intelligence (incl. Robotics) Data Structures Informatik Künstliche Intelligenz Mathematik |
| url | https://doi.org/10.1007/978-1-4020-1898-5 |
| work_keys_str_mv | AT deneckek galoisconnectionsandapplications AT ernem galoisconnectionsandapplications AT wismathsl galoisconnectionsandapplications |