Results 61 to 70 of about 343 (169)

The quantale of Galois connections [PDF]

algebra universalis, 2005
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Traces of Hecke operators on Drinfeld modular forms for GL2(Fq[T])$\operatorname{GL}_2(\mathbb {F}_q[T])$

Mathematika, Volume 72, Issue 2, April 2026.
Abstract In this paper, we study traces of Hecke operators on Drinfeld modular forms of level 1 in the case A=Fq[T]$A = \mathbb {F}_q[T]$. We deduce closed‐form expressions for traces of Hecke operators corresponding to primes of degree at most 2 and provide algorithms for primes of higher degree.
Sjoerd de Vries
wiley   +1 more source

Ordinary primes for GL2$\operatorname{GL}_2$‐type abelian varieties and weight 2 modular forms

Mathematika, Volume 72, Issue 2, April 2026.
Abstract Let A$A$ be a g$g$‐dimensional abelian variety defined over a number field F$F$. It is conjectured that the set of ordinary primes of A$A$ over F$F$ has positive density, and this is known to be true when g=1,2$g=1, 2$, or for certain abelian varieties with extra endomorphisms.
Tian Wang, Pengcheng Zhang
wiley   +1 more source

Evaluation and analysis of the computation cost of linear network coding

Tongxin xuebao, 2011
The complexity of algebraic operation methods on Galois fields was analyzed and the operation mechanism of linear network coding was anatomized.Based on deterministic network coding data transmission and random network coding data transmission for single-
PU Bao-xing1, WANG Wei-ping2
doaj   +2 more sources

Ricerche di matematica con Giuseppina Varone

Science & Philosophy, 2013
In memory of the researcher Pina Varone, I present the research carried out together for over 20 years. Some relevant issues and applicants were: the connection between teaching and research, and as an in-depth teaching emerge new research topics; the ...
Antonio Maturo
doaj  

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 categorically

Journal of Pure and Applied Algebra, 1990
This is an expansion of a previous paper [Lect. Notes Comput. Sci. 239, 122-134 (1986; Zbl 0615.06002)]. It is a somewhat discursive discussion of Galois connections in (briefly) partially ordered sets, concrete categories, and categories. In concrete categories the authors consider only Galois connections commuting with the forgetful functors, which ...
Herrlich, H., Hušek, M.
openaire   +2 more sources

A Constructive Framework for Galois Connections

CoRR, 2017
Abstract interpretation-based static analyses rely on abstract domains of program properties, such as intervals or congruences for integer variables. Galois connections (GCs) between posets provide the most widespread and useful formal tool for mathematically specifying abstract domains.
openaire   +2 more sources

A Galois Connection for Reduced Incidence Algebras [PDF]

Proceedings of the American Mathematical Society, 1974
If N = { 1 , ⋯
openaire   +1 more source

A Meta-Logical Framework for the Equivalence of Syntactic and Semantic Theories

Philosophies
This paper introduces a meta-logical framework—based on the theory of institutions (a categorical version of abstract model theory)—to be used as a tool for the formalization of the two main views regarding the structure of scientific theories, namely ...
Maria Dimarogkona, Petros Stefaneas, Nicola Angius   +2 more
doaj   +1 more source