Separation Axioms on Additive Generalized Algebraic Lattice

CHEN Xue-you,DENG Zi-ke,LI Qing-guo

DOI: https://doi.org/10.3969/j.issn.1672-6197.2006.01.002

2006-01-01

Abstract:In this paper,with the additivity property,the generalized way below relation and the maximal system of subsets as tools,these notions of regular,completely regular,normal additive generalized algebraic lattice are introduced.

What problem does this paper attempt to address?

REGULAR ALGEBRAS OF DIMENSION 4 AND THEIR A∞-EXT-ALGEBRAS

D.-M. Lu,J. H. Palmieri,Q.-S. Wu,J. J. Zhang

DOI: https://doi.org/10.1215/s0012-7094-07-13734-7

2007-01-01

Duke Mathematical Journal

Abstract:We construct four families of Artin-Schelter regular algebras of global dimension four. This is a complete list of Artin-Schelter regular algebras of global dimension four that are generated by two elements of degree 1 and whose Ext-algebra satisfies certain “generic” conditions. These algebras are also strongly noetherian, Auslander regular and Cohen-Macaulay. One of the main tools is Keller’s higher-multiplication theorem on A∞-Ext-algebras.
Two Variables Operation Continuity of Effect Algebras

Wu Junde,Tang Zhifeng,Cho Minhyung

DOI: https://doi.org/10.1007/s10773-005-3984-7

2005-01-01

International Journal of Theoretical Physics

Abstract:In this paper, we study two variables operation continuity of lattice effect algebra with respect to its order topology.
Separable MV-algebras and lattice-groups

Vincenzo Marra,Matías Menni

2023-07-27

Abstract:General theory determines the notion of separable MV-algebra (equivalently, of separable unital lattice-ordered Abelian group). We establish the following structure theorem: An MV-algebra is separable if, and only if, it is a finite product of algebras of rational numbers, i.e., of subalgebras of the MV-algebra $[0,1]\cap\mathbb{Q}$. Beyond its intrinsic algebraic interest, this research is motivated by the long-term programme of developing the algebraic geometry of the opposite of the categroy of MV-algebras, in analogy with the classical case of commutative $K$-algebras over a field $K$.

Rings and Algebras,Algebraic Geometry,Category Theory,Logic
Separable MV-algebras and lattice-ordered groups

Vincenzo Marra,Matías Menni

DOI: https://doi.org/10.1016/j.jalgebra.2024.01.037

IF: 0.908

2024-05-01

Journal of Algebra

Abstract:The theory of extensive categories determines in particular the notion of separable MV-algebra (equivalently, of separable unital lattice-ordered Abelian group). We establish the following structure theorem: An MV-algebra is separable if, and only if, it is a finite product of algebras of rational numbers—i.e., of subalgebras of the MV-algebra [ 0 , 1 ] ∩ Q . Beyond its intrinsic algebraic interest, this research is motivated by the long-term programme of developing the algebraic geometry of the opposite of the category of MV-algebras, in analogy with the classical case of commutative K-algebras over a field K.

mathematics
An Additive Theorem and Restricted Sumsets

Zhi-Wei Sun

DOI: https://doi.org/10.4310/mrl.2008.v15.n6.a15

2008-01-01

Mathematical Research Letters

Abstract:Let G be any additive abelian group with cyclic torsion subgroup, and let A, B and C be finite subsets of G with cardinality n > 0. We show that there is a numbering {a(i)}(n)(i=1)of the elements of A, a numbering {b(i)}(n)(i=1) of the elements of B and a numbering {c(i)}(n)(i=1) of the elements of C, such that all the sums a(i) + b(i) + c(i) (1 <= i <= n) are (pairwise) distinct. Consequently, each subcube of the Latin cube formed by the Cayley addition table of Z/NZ contains a Latin transversal. This additive theorem is an essential result which can be further extended via restricted sumsets in a field.
Monotone-Cevian and finitely separable lattices

Miroslav Ploscica,Friedrich Wehrung

2023-10-06

Abstract:A distributive lattice with zero is completely normal if its prime ideals form a root system under set inclusion.Every such lattice admits a binary operation (x,y) \mapsto x-y satisfying the rules x \leq y\vee (x-y) and (x-y) \wedge (y-x)=0 -- in short a <a class="link-external link-http" href="http://deviation.In" rel="external noopener nofollow">this http URL</a> this paper we study the following additional properties of deviations: monotone (i.e., isotone in x and antitone in y) and Cevian (i.e., x-z \leq (x-y) \vee (y-z)).We relate those matters to finite separability as defined by Freese and Nation.We prove that every finitely separable completely normal lattice has a monotone deviation.We pay special attention to lattices of principal l-ideals of Abelian l-groups (which are always completely normal).We prove that for free Abelian l-groups (and also free vectorlattices) those lattices admit monotone Cevian deviations.On the other hand, we construct an Archimedean l-group with strong unit whose principal l-ideal lattice does not have a monotone deviation.

Logic
Lax Additivity

Merlin Christ,Tobias Dyckerhoff,Tashi Walde

2024-02-20

Abstract:We introduce notions of lax semiadditive and lax additive $(\infty,2)$-categories, categorifying the classical notions of semiadditive and additive 1-categories. To establish a well-behaved axiomatic framework, we develop a calculus of lax matrices and use it to prove that in locally cocomplete $(\infty,2)$-categories lax limits and lax colimits agree and are absolute. In the lax additive setting, we categorify fundamental constructions from homological algebra such as mapping complexes and mapping cones and establish their basic properties.

Category Theory,Algebraic Topology
General mixed lattices

Jani Jokela

DOI: https://doi.org/10.1007/s11083-023-09648-4

2024-04-10

Abstract:A mixed lattice is a lattice-type structure consisting of a set with two partial orderings, and generalizing the notion of a lattice. Mixed lattice theory has previously been studied in various algebraic structures, such as groups and semigroups, while the more general notion of a mixed lattice remains unexplored. In this paper, we study the fundamental properties of mixed lattices and the relationships between the various properties, such as the one-sided associative, distributive and modular laws. We also give an alternative definition of mixed lattices and mixed lattice groups as non-commutative and non-associative algebras satisfying a certain set of postulates. The algebraic and the order-theoretic definitions are then shown to be equivalent.

Combinatorics
Additive Relation and Algebraic System of Equations

Ziqian Wu

DOI: https://doi.org/10.48550/arXiv.1203.0987

2012-03-01

Abstract:Additive relations are defined over additive monoids and additive operation is introduced over these new relations then we build algebraic system of equations. We can generate profuse equations by additive relations of two variables. To give an equation with several known parameters is to give an additive relation taking these known parameters as its variables or value and the solution of the equation is just the reverse of this relation which always exists. We show a core result in this paper that any additive relation of many variables and their inverse can be expressed in the form of the superposition of additive relations of one variable in an algebraic system of equations if the system satisfies some conditions. This result means that there is always a formula solution expressed in the superposition of additive relations of one variable for any equation in this system. We get algebraic equations if elements of the additive monoid are numbers and get operator equations if they are functions.

General Mathematics
An adelic arithmeticity theorem for lattices in products

Uri Bader,Alex Furman,Roman Sauer

DOI: https://doi.org/10.48550/arXiv.1705.08158

2017-05-23

Abstract:We prove that, under mild assumptions, a lattice in a product of semi-simple Lie group and a totally disconnected locally compact group is, in a certain sense, arithmetic. We do not assume the lattice to be finitely generated or the ambient group to be compactly generated.

Group Theory
Additive Lie ($ξ$-Lie) Derivations and Generalized Lie ($ξ$-Lie) Derivations on Prime Algebras

Xiaofei Qi,Jinchuan Hou

DOI: https://doi.org/10.48550/arXiv.1004.1704

2010-04-10

Abstract:The additive (generalized) $\xi$-Lie derivations on prime algebras are characterized. It is shown, under some suitable assumption, that an additive map $L$ is an additive (generalized) Lie derivation if and only if it is the sum of an additive (generalized) derivation and an additive map from the algebra into its center vanishing all commutators; is an additive (generalized) $\xi$-Lie derivation with $\xi\not=1$ if and only if it is an additive (generalized) derivation satisfying $L(\xi A)=\xi L(A)$ for all $A$. These results are then used to characterize additive (generalized) $\xi$-Lie derivations on several operator algebras such as Banach space standard operator algebras and von Neumman algebras.

Operator Algebras
On a Generalization of Heyting Algebras I

Amirhossein Akbar Tabatabai,Majid Alizadeh,Masoud Memarzadeh

DOI: https://doi.org/10.1007/s11225-024-10110-8

2024-05-09

Studia Logica

Abstract:-algebra is a natural generalization of Heyting algebra, unifying many algebraic structures including bounded lattices, Heyting algebras, temporal Heyting algebras and the algebraic presentation of the dynamic topological systems. In a series of two papers, we will systematically study the algebro-topological properties of different varieties of -algebras. In the present paper, we start with investigating the structure of these varieties by characterizing their subdirectly irreducible and simple elements. Then, we prove the closure of these varieties under the Dedekind-MacNeille completion and provide the canonical construction and the Kripke representation for -algebras by which we establish the amalgamation property for some varieties of -algebras. In the sequel of the present paper, we will complete the study by covering the logics of these varieties and their corresponding Priestley-Esakia and spectral duality theories.

mathematics,logic
Semi-Substructural Logics with Additives

Niccolò Veltri,Cheng-Syuan Wan

DOI: https://doi.org/10.4204/EPTCS.402.8

2024-04-23

Abstract:This work concerns the proof theory of (left) skew monoidal categories and their variants (e.g. closed monoidal, symmetric monoidal), continuing the line of work initiated in recent years by Uustalu et al. Skew monoidal categories are a weak version of Mac Lane's monoidal categories, where the structural laws are not required to be invertible, they are merely natural transformations with a specific orientation. Sequent calculi which can be modelled in such categories can be identified as deductive systems for restricted substructural fragments of intuitionistic linear logic. These calculi enjoy cut elimination and admit a focusing strategy, sharing resemblance with Andreoli's normalization technique for linear logic. The focusing procedure is useful for solving the coherence problem of the considered categories with skew structure.

Logic in Computer Science
Generalized Separation of Collections of Sets

Nguyen Duy Cuong,Alexander Y. Kruger

2024-12-06

Abstract:We show that the existing generalized separation statements including the conventional extremal principle and its extensions differ {in the ways norms on product spaces are defined}. We prove a general separation statement with arbitrary product norms covering the existing results of this kind. The proof is divided into a series of claims and exposes the key steps and arguments used when proving generalized separation statements. As an application, we prove dual necessary (sufficient) conditions for an abstract product norm extension of the approximate stationarity (transversality) property.

Functional Analysis,Optimization and Control
Relational Lattice Axioms

Marshall Spight,Vadim Tropashko

DOI: https://doi.org/10.48550/arXiv.0807.3795

2008-07-24

Abstract:Relational lattice is a formal mathematical model for Relational algebra. It reduces the set of six classic relational algebra operators to two: natural join and inner union. We continue to investigate Relational lattice properties with emphasis onto axiomatic definition. New results include additional axioms, equational definition for set difference (more generally anti-join), and case study demonstrating application of the relational lattice theory for query transformations.

Databases
Additive Gödel Logic

Seyed Mohammad Amin Khatami

DOI: https://doi.org/10.48550/arXiv.1507.06744

2015-07-24

Logic

Abstract:We study an extension of \g propositional logic whose corresponding algebra is an ordered Abelian group. Then we expand the ideas to first-order case of this logic.
An additive theorem related to Latin transversals

Zhiwei Sun

2007-01-01

Abstract:Let G be any additive abelian group with cyclic torsion subgroup, and let A, B and C be finite subsets of G with cardinality n < 0. We show that there is a numbering {a i} i=1 n of the elements of A, a numbering {b i} i=1 n of the elements of B and a numbering {c i} i=1 n of the elements of C, such that all the sums a i+b i+c i (1 ≤ i ≤ n) are distinct. Consequently, each subcube of the Latin cube formed by the Cayley addition table of ℤ/Nℤ contains a Latin transversal. This additive theorem is an essential result which can be further extended via restricted sumsets in a field. The whole paper is available from arXiv:math.CO/0610981 or the author's homepage.
A Separable Universal Homogeneous Banach Lattice

Mary Angelica Tursi

DOI: https://doi.org/10.1093/imrn/rnac024

2022-02-10

International Mathematics Research Notices

Abstract:Abstract We prove the existence of a separable approximately ultra-homogeneous Banach lattice $\mathfrak {B}\mathfrak {L}$ that is isometrically universal for separable Banach lattices. This is done by showing that that the class of finitely generated Banach lattices has the Amalgamation Property and thus form a metric Fraïssé class. Some additional results about the structural properties of $\mathfrak { BL}$ are also proven.

mathematics
Study of the generalized von mangoldt function defined by L-additive function

Es-said En-naoui

DOI: https://doi.org/10.48550/arXiv.2301.09677

2023-01-23

General Mathematics

Abstract:The main object of this paper is to study the generalized von mangoldt function using the L-additive function, which can help us give many result about the classical arithmetic function.
Additive and multiplicative structures in completely I -large* sets

Teng Zhang

DOI: https://doi.org/10.1016/j.topol.2024.108855

IF: 0.583

2024-02-09

Topology and its Applications

Abstract:It is known that for any IP ⁎ set A and any sequence 〈xn〉n=1∞ in (N,+) , there exists a sum subsystem of 〈xn〉n=1∞ whose finite sums and finite products are in A . Similar results have been established for some other combinatorial notions. In this article, we introduce a general notion called completely I -large ⁎ sets, which can be IP ⁎ sets, central ⁎ sets or C ⁎ -sets when I is the corresponding ideal. And we establish a result for this notion to unify all known results. Furthermore, we apply this general result to another notion - quasi-central ⁎ sets to obtain corresponding combinatorial results.

mathematics, applied

Separation Axioms on Additive Generalized Algebraic Lattice

REGULAR ALGEBRAS OF DIMENSION 4 AND THEIR A∞-EXT-ALGEBRAS

Two Variables Operation Continuity of Effect Algebras

Separable MV-algebras and lattice-groups

Separable MV-algebras and lattice-ordered groups

An Additive Theorem and Restricted Sumsets

Monotone-Cevian and finitely separable lattices

Lax Additivity

General mixed lattices

Additive Relation and Algebraic System of Equations

An adelic arithmeticity theorem for lattices in products

Additive Lie ($ξ$-Lie) Derivations and Generalized Lie ($ξ$-Lie) Derivations on Prime Algebras

On a Generalization of Heyting Algebras I

Semi-Substructural Logics with Additives

Generalized Separation of Collections of Sets

Relational Lattice Axioms

Additive Gödel Logic

An additive theorem related to Latin transversals

A Separable Universal Homogeneous Banach Lattice

Study of the generalized von mangoldt function defined by L-additive function

Additive and multiplicative structures in completely I -large* sets