Results 1 to 10 of about 14,472 (309)
Relation products of congruences and factor congruences [PDF]
Czechoslovak Mathematical Journal, 1991 Let \(A_ 1\), \(A_ 2\) be algebras of the same type. Denote by \(\pi_ i\) the canonical projection from the Cartesian product \(A_ 1\times A_ 2\) onto \(A_ i\), \(i=1,2\). Then \(\Pi_ i= \text{Ker }\pi_ i\), \(i=1,2\), are called factor congruences on \(A_ 1\times A_ 2\).
Jaromír Duda
openalex +3 more sources
Congruency, Homomorphism and Isomorphism on Autometrized Algebras [version 2; peer review: 2 approved, 1 approved with reservations] [PDF]
F1000ResearchThis paper presents a study of congruence relations on autometrized algebras. We demonstrate that in a normal autometrized algebra, which satisfies certain conditions, the set of all congruence relations forms a complete sublattice within the set of all ...
Gebrie Yeshiwas Tilahun
doaj +2 more sources
Soft congruence relation over lattice
Hacettepe Journal of Mathematics and Statistics, 2017 In this paper, we first describe soft congruence relation over a lattice. We then define the concepts of complete soft congruence relation. Besides this, the concepts of upper and lower approximations of a subset in a lattice are depicted based on this soft congruence relation.
Susanta BERA +3 more
openalex +6 more sources
Eating disorder symptomatology among transgender and gender-diverse individuals: a cross-sectional study [PDF]
Journal of Eating DisordersBackground Transgender and gender-diverse individuals tend to be at increased risk of experiencing eating disorders compared to cisgender individuals.
Sofie Martine Rasmussen +5 more
doaj +2 more sources
Computable embedding of classes of algebraic structures with congruence relation
Учёные записки Казанского университета: Серия Физико-математические науки, 2018 It has been shown in the paper that there is an intermediate notion of embedding, which is based on the use of non-injective presentations of algebraic structures, between the computable embedding of classes of algebraic structures based on the ...
S. Vatev, H. Ganchev, I.Sh. Kalimullin
doaj +1 more source
KalamatikaIntrapersonal intelligence can help students solve mathematical problems, and each student has different abilities depending on their level of intelligence.
Nur Afifah +5 more
doaj +3 more sources
Distributive lattices with strong endomorphism kernel property as direct sums [PDF]
Categories and General Algebraic Structures with Applications, 2020 Unbounded distributive lattices which have strong endomorphism kernel property (SEKP) introduced by Blyth and Silva in [3] were fully characterized in [11] using Priestley duality (see Theorem 2.8}). We shall determine the structure of special elements (
Jaroslav Gurican
doaj +1 more source
Model Abstraction for Discrete-Event Systems Using a SAT Solver
IEEE Access, 2023 Model abstraction for finite state automata is beneficial to reduce the complexity of discrete-event systems (DES), enhance the readability and facilitate the control synthesis and verification of DES.
Lihong Cheng, Lei Feng
doaj +1 more source
QUOTIENT SEMINEAR-RINGS OF THE ENDOMORPHISM OF SEMINEAR-RINGS
Barekeng, 2022 A seminear-ring is a generalization of ring. In ring theory, if is a ring with the multiplicative identity, then the endomorphism module is isomorphic to . Let be a seminear-ring.
Meryta Febrilian Fatimah +2 more
doaj +1 more source
Reversible Barbed Congruence on Configuration Structures [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 A standard contextual equivalence for process algebras is strong barbed congruence. Configuration structures are a denotational semantics for processes in which one can define equivalences that are more discriminating, i.e.
Clément Aubert, Ioana Cristescu
doaj +1 more source