English
Related papers

Related papers: Algebraic Structures using Natural Class of Interv…

200 papers

We study the existence of automatic presentations for various algebraic structures. An automatic presentation of a structure is a description of the universe of the structure by a regular set of words, and the interpretation of the…

Discrete Mathematics · Computer Science 2017-01-11 Bakhadyr Khoussainov , Andre Nies , Sasha Rubin , Frank Stephan

Proofs of the fundamental theorem of algebra can be divided up into three groups according to the techniques involved: proofs that rely on real or complex analysis, algebraic proofs, and topological proofs. Algebraic proofs make use of the…

History and Overview · Mathematics 2015-04-23 Piotr Błaszczyk

The paper is devoted to classification problem of finite dimensional complex none Lie filiform Leibniz algebras. Actually, the observations show there are two resources to get classification of filiform Leibniz algebras. The first of them…

Rings and Algebras · Mathematics 2007-05-23 U. D. Bekbaev , I. S. Rakhimov

We refine and advance the study of the local structure of idempotent finite algebras started in [A.Bulatov, The Graph of a Relational Structure and Constraint Satisfaction Problems, LICS, 2004]. We introduce a graph-like structure on an…

Logic in Computer Science · Computer Science 2016-01-28 Andrei A. Bulatov

We prove in Theorem $2.2$ that the multiplicatively closed subset generated by at most two elements in the set of natural numbers $\mathbb{N}$ has arbitrarily large gaps by explicitly constructing large integer intervals with known prime…

Number Theory · Mathematics 2019-05-20 C. P. Anil Kumar

We describe a basic correspondence between linear algebraic structures within vector embeddings in artificial neural networks and conditional independence constraints on the probability distributions modeled by these networks. Our framework…

Machine Learning · Computer Science 2024-07-15 Matthew Trager , Alessandro Achille , Pramuditha Perera , Luca Zancato , Stefano Soatto

A new algebraic treatment of dependent type theory is proposed using ideas derived from topos theory and algebraic set theory.

Category Theory · Mathematics 2025-05-19 Steve Awodey

The attempt is to give a formal concpet of system, and with this provide a definition of category, that will also satisfy the definition of a system. An axiomatic base is given, for constructing the group of integers. In the process, we…

Category Theory · Mathematics 2015-11-26 Juan Pablo Ramirez

Given a finitely generated free monoid $X$ and a morphism $\phi : X\to X$, we show that one can construct an algebra, which we call an iterative algebra, in a natural way. We show that many ring theoretic properties of iterative algebras…

Rings and Algebras · Mathematics 2015-03-06 Jason P. Bell , Blake W. Madill

This book offers an introduction to vertex algebra based on a new approach. The new approach says that a vertex algebra is an associative algebra such that the underlying Lie algebra is a vertex Lie algebra. In particular, vertex algebras…

Quantum Algebra · Mathematics 2007-05-23 Markus Rosellen

We introduce a new framework called linear algebraic number theory (LANT) that reformulates the number-theoretic problem as a regression model and solves it using matrix algebra. This framework restricts all computations to log space,…

General Mathematics · Mathematics 2017-09-19 Joram Soch

The present work aims to exploit the interplay between the algebraic properties of rings and the graph-theoretic structures of their associated graphs. We introduce commutatively closed graphs and investigate properties of commutatively…

Rings and Algebras · Mathematics 2021-05-06 André Leroy , Mona Abdi

This chapter covers methodological issues related to estimation, testing and computation for models involving structural changes. Our aim is to review developments as they relate to econometric applications based on linear models.…

Econometrics · Economics 2018-05-11 Alessandro Casini , Pierre Perron

We attach a ring of sequences to each number from a certain class of extremal real numbers, and we study the properties of this ring both from an analytic point of view by exhibiting elements with specific behaviors, and also from an…

Number Theory · Mathematics 2013-01-07 Damien Roy , Eric Villani

A long-term research proposal on the algebraic structure, the representations and the possible applications of paraparticle algebras is structured in three modules: The first part stems from an attempt to classify the inequivalent gradings…

Mathematical Physics · Physics 2012-10-09 Konstantinos Kanakoglou

We present a self-contained analysis of infinity from two mathematical perspectives: set theory and algebra. We begin with cardinal and ordinal numbers, examining deep questions such as the continuum hypothesis, along with foundational…

History and Overview · Mathematics 2025-05-16 Noah Betz

This paper is devoted to the classification and studying properties of complex unital $3$-dimensional structurable algebras. We provide a complete list of non-isomorphic classes, identifying five algebras for type $(2, 1)$ and two algebras…

Rings and Algebras · Mathematics 2026-03-05 Kobiljon Abdurasulov , Maqpal Eraliyeva , Ivan Kaygorodov

We develop basic notions and methods of algebraic geometry over the algebraic objects called hyperrings. Roughly speaking, hyperrings generalize rings in such a way that an addition is `multi-valued'. This paper largely consisits of two…

Algebraic Geometry · Mathematics 2015-12-16 Jaiung Jun

There is an extensive recent literature on the graded, non-graded, prime, primitive, maximal ideals of Leavitt path algebras. In this introductory level survey, we will be giving an overview of different types of ideals and the…

Rings and Algebras · Mathematics 2020-12-29 Muge Kanuni , Suat Sert

Most classical results in circuit complexity theory concern circuits over the Boolean domain. Besides their simplicity and the ease of comparing different languages, the actual architecture of computers is also an important motivating…

Computational Complexity · Computer Science 2026-04-24 Piotr Kawałek , Jacek Krzaczkowski