Results 41 to 50 of about 2,016 (201)
Factoring Continuous Homomorphisms Defined on Submonoids of Products of Topologized Monoids
Axioms, 2019 We study factorization properties of continuous homomorphisms defined on submonoids of products of topologized monoids. We prove that if S is an ω-retractable submonoid of a product D = ∏ i ∈ I D i of topologized monoids ...
Mikhail Tkachenko
doaj +1 more source
Simplifications of homomorphisms
Information and Control, 1978 The notion of a simplification of a homomorphism is introduced and investigated. Its usefulness is demonstrated in providing rather short proofs of the following results: (i) Given an arbitrary homomorphism h and arbitrary words x, y it is decidable whether or not there exists an integer n such that hn(x) = hn(y). (ii) Given an arbitrary homomorphism h
Andrzej Ehrenfeucht, Grzegorz Rozenberg
openaire +2 more sources
PROJECTIVE CLONE HOMOMORPHISMS [PDF]
The Journal of Symbolic Logic, 2019 AbstractIt is known that a countable $\omega $ -categorical structure interprets all finite structures primitively positively if and only if its polymorphism clone maps to the clone of projections on a two-element set via a continuous clone homomorphism.
Manuel Bodirsky +2 more
openaire +3 more sources
Kuga–Satake Construction on Families of K3 Surfaces of Picard Rank 14
Mathematische Nachrichten, EarlyView.ABSTRACT The isometry between the type IV6 and the type II4 hermitian symmetric domains suggests a possible relation between suitable moduli spaces of K3 surfaces of Picard rank 14 and of polarized abelian 8‐folds with totally definite quaternion multiplication. We show how this isometry induces a geometrically meaningful map between such moduli spaces
Flora Poon
wiley +1 more source
Algorithms for determining the type of algebraic hyperstructures and morphisms [PDF]
Mathematics and Computational SciencesIn this paper, we present some primary methods to define a hypergroupoid by algorithm. Then, we present algorithms for checking if it is closed under ο, associativity, weak associativity, commutativity, weak commutativity, establishing the reproduction ...
Aboutorab Pourhaghani +2 more
doaj +1 more source
The Two Extremal Rays of Some Hyper–Kähler Fourfolds
Mathematische Nachrichten, EarlyView.ABSTRACT We consider projective Hyper–Kähler manifolds of dimension 4 that are deformation equivalent to Hilbert squares of K3 surfaces. In case such a manifold admits a divisorial contraction, the exceptional divisor is a conic bundle over a K3 surface. A classification of lattice embeddings implies that there are five types of such conic bundles.
Federica Galluzzi, Bert van Geemen
wiley +1 more source
Generalization of Pawlak’s Approximations in Hypermodules by Set-Valued Homomorphisms
Foundations of Computing and Decision Sciences, 2017 The initiation and majority on rough sets for algebraic hyperstructures such as hypermodules over a hyperring have been concentrated on a congruence relation.
Mirvakili Saeed +2 more
doaj +1 more source
Rendiconti del Seminario Matematico della Università di Padova, 2008 Inspired by an analogous result of Arnautov about isomorphisms, we prove that all continuous surjective homomorphisms of topological groups f :G → H can be obtained as restrictions of open continuous surjective homomorphisms
openaire +4 more sources
Inducing Coverings on Hilbert Schemes
Mathematische Nachrichten, EarlyView.ABSTRACT We find an explicit geometric description of all coverings of Hilb2(Σ)$\operatorname{Hilb}^{2}(\Sigma)$ when Σ$\Sigma$ is a normal, complex, quasi‐projective surface with finite fundamental group. We then apply this construction to show that if Σ$\Sigma$ is an irreducible symplectic surface then Hilb2(Σ)$\operatorname{Hilb}^{2}(\Sigma)$ is an ...
Lucas Li Bassi, Filippo Papallo
wiley +1 more source
On r-Ideals and m-k-Ideals in BN-Algebras
Axioms, 2022 A BN-algebra is a non-empty set X with a binary operation “∗” and a constant 0 that satisfies the following axioms: (B1) x∗x=0, (B2) x∗0=x, and (BN) (x∗y)∗z=(0∗z)∗(y∗x) for all x, y, z ∈X.
Sri Gemawati +4 more
doaj +1 more source