Invariance groups of functions and related Galois connections

被引:0
|
作者
Eszter K. Horváth
Reinhard Pöschel
Sven Reichard
机构
[1] University of Szeged,Bolyai Institute
[2] Technische Universität Dresden,undefined
[3] Dresden International University,undefined
关键词
Invariance group; Group action; Galois connection; Boolean function; Permutation group; 20B25; 20B35; 06A15; 05E18;
D O I
暂无
中图分类号
学科分类号
摘要
Invariance groups of sets of Boolean functions can be characterized as Galois closures of a suitable Galois connection. We consider such groups in a much more general context using group actions of an abstract group and arbitrary functions instead of Boolean ones. We characterize the Galois closures for both sides of the corresponding Galois connection and apply the results to known group actions.
引用
收藏
页码:495 / 512
页数:17
相关论文
共 50 条
  • [41] BOOLEAN FUNCTIONS, INVARIANCE-GROUPS, AND PARALLEL COMPLEXITY
    CLOTE, P
    KRANAKIS, E
    SIAM JOURNAL ON COMPUTING, 1991, 20 (03) : 553 - 590
  • [42] Triadic fuzzy Galois connections as ordinary connections
    Belohlavek, Radim
    Osicka, Petr
    2012 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS (FUZZ-IEEE), 2012,
  • [43] On Galois cohomology and realizability of 2-groups as Galois groups
    Michailov, Ivo M.
    CENTRAL EUROPEAN JOURNAL OF MATHEMATICS, 2011, 9 (02): : 403 - 419
  • [44] Programming from Galois Connections
    Mu, Shin-Cheng
    Oliveira, Jose Nuno
    RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE, 2011, 6663 : 294 - 313
  • [45] PAIR ALGEBRAS AND GALOIS CONNECTIONS
    DERDERIA.JC
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1969, 16 (01): : 278 - &
  • [46] Galois Connections for Flow Algebras
    Filipiuk, Piotr
    Terepeta, Michal
    Nielson, Hanne Riis
    Nielson, Flemming
    FORMAL TECHNIQUES FOR DISTRIBUTED SYSTEMS, 2011, 6722 : 138 - 152
  • [47] Galois Connections in Axiomatic Aggregation
    Leclerc, Bruno
    FORMAL CONCEPT ANALYSIS, 2011, 6628 : 24 - 25
  • [48] Duality for Quasilattices and Galois Connections
    Romanowska, Anna B.
    Smith, Jonathan D. H.
    FUNDAMENTA INFORMATICAE, 2017, 156 (3-4) : 331 - 359
  • [49] Programming from Galois connections
    Mu, Shin-Cheng
    Oliveira, Jose Nuno
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2012, 81 (06): : 680 - 704
  • [50] Galois connections and data analysis
    Wolski, M
    FUNDAMENTA INFORMATICAE, 2004, 60 (1-4) : 401 - 415