Results 71 to 80 of about 19,730 (191)

Galois connecting call-by-value and call-by-name [PDF]

Logical Methods in Computer Science
We establish a general framework for reasoning about the relationship between call-by-value and call-by-name. In languages with computational effects, call-by-value and call-by-name executions of programs often have different, but related, observable ...
Dylan McDermott, Alan Mycroft
doaj   +1 more source

The first two group theory papers of Philip Hall

Journal of the London Mathematical Society, Volume 113, Issue 1, January 2026.
Abstract In this paper, we discuss the first two papers on soluble groups written by Philip Hall and their influence on the study of finite groups. The papers appeared in 1928 and 1937 in the Journal of the London Mathematical Society.
Inna Capdeboscq
wiley   +1 more source

The modular automorphisms of quotient modular curves

Mathematika, Volume 72, Issue 1, January 2026.
Abstract We obtain the modular automorphism group of any quotient modular curve of level N$N$, with 4,9∤N$4,9\nmid N$. In particular, we obtain some unexpected automorphisms of order 3 that appear for the quotient modular curves when the Atkin–Lehner involution w25$w_{25}$ belongs to the quotient modular group. We also prove that such automorphisms are
Francesc Bars, Tarun Dalal
wiley   +1 more source

A characterization of adjunction in a many-valued modal system

CQD Revista Eletrônica Paulista de Matemática
Galois connections are pairs of functions, defined over ordered sets, that preserve some particular aspects. They are studied in the context of algebraic structures.
Hércules de Araújo Feitosa, Romulo Albano de Freitas   +1 more
doaj   +1 more source

Galois Connections and Applications [PDF]

, 2004
Preface M. Erne Adjunctions and Galois Connections: Origins, History and Development G. Janelidze Categorical Galois Theory: Revision and Some Recent Developments M. Erne The Polarity between Approximation and Distribution K. Denecke, S.L. Wismath Galois Connections and Complete Sublattices R.
openaire   +1 more source

Galois cohomology of SO(N)-connections

, 2023
Abstract Two different types of Fuchsian function of the second kind are possible for SU(2)-bundle on U(1)-flat-connections of Chern-Simons field. Both of two different types of Fuchsian are parametrized by the same moduli as the LF-invariant measure situated on arbitrary Galois cohomology.
openaire   +1 more source

Safe and Quickest Medical Image Encryption Using Logistic Map Derived S‐Boxes and Galois Field

Computational and Mathematical Methods, Volume 2026, Issue 1, 2026.
The pseudorandomness, simplicity of use, and extreme sensitivity to even the slightest change in the initial value and handling parameters make chaotic maps attractive. The use of medical imaging to diagnose illnesses has grown in significance. These photographs need strong security measures because they are exchanged over public networks.
Mahwish Bano, Umair Habib, Jawaid Iqbal, Hassan Malik, Insaf Ullah, Shibiao Wan   +5 more
wiley   +1 more source

Some order dualities in logic, games and choices [PDF]

We first present the concept of duality appearing in order theory, i.e. the notions of dual isomorphism and of Galois connection. Then, we describe two fundamental dualities, the duality extension/intention associated with a binary relation between two ...
Bernard Monjardet
core  

Nontriviality of rings of integral‐valued polynomials

Mathematische Nachrichten, Volume 298, Issue 12, Page 3974-3994, December 2025.
Abstract Let S$S$ be a subset of Z¯$\overline{\mathbb {Z}}$, the ring of all algebraic integers. A polynomial f∈Q[X]$f \in \mathbb {Q}[X]$ is said to be integral‐valued on S$S$ if f(s)∈Z¯$f(s) \in \overline{\mathbb {Z}}$ for all s∈S$s \in S$. The set IntQ(S,Z¯)${\mathrm{Int}}_{\mathbb{Q}}(S,\bar{\mathbb{Z}})$ of all integral‐valued polynomials on S$S ...
Giulio Peruginelli, Nicholas J. Werner
wiley   +1 more source

Chebotarev's theorem for cyclic groups of order pq$pq$ and an uncertainty principle

Bulletin of the London Mathematical Society, Volume 57, Issue 12, Page 3841-3856, December 2025.
Abstract Let p$p$ be a prime number and ζp$\zeta _p$ a primitive p$p$th root of unity. Chebotarev's theorem states that every square submatrix of the p×p$p \times p$ matrix (ζpij)i,j=0p−1$(\zeta _p^{ij})_{i,j=0}^{p-1}$ is nonsingular. In this paper, we prove the same for principal submatrices of (ζnij)i,j=0n−1$(\zeta _n^{ij})_{i,j=0}^{n-1}$, when n=pr ...
Maria Loukaki
wiley   +1 more source