Related papers: Defining Integers
In this expositional paper, we discuss commutative algebra -- a study inspired by the properties of integers, rational numbers, and real numbers. In particular, we investigate rings and ideals, and their various properties. After, we…
This paper is a supplement to a talk for mathematics teachers given at the 2016 LSU Mathematics Contest for High School Students. The paper covers more details and aspects than could be covered in the talk. We start with an interesting…
We present an algebraic structure in modules over integer rings with cardinality prime powers, which allows to define bases. With such structure, we prove a similar version for the basis extension theorem of linear algebra over fields.…
Let $R$ be the polynomial ring $K[x_{i,j}]$ where $1 \le i \le r$ and $j \in \mathbb{N}$, and let $I$ be an ideal of $R$ stable under the natural action of the infinite symmetric group $S_{\infty}$. Nagel--R\"omer recently defined a Hilbert…
The recent series 5 of the ASP system clingo provides generic means to enhance basic Answer Set Programming (ASP) with theory reasoning capabilities. We instantiate this framework with different forms of linear constraints, discuss the…
This article focuses on some rings of integers of number fields which are known to be norm-Euclidean domains, but for which no explicit algorithm computing the Euclidean division has yet been studied or implemented. The rings of integers we…
A new definition of a real number is that it is a rule which says Yes or No based on whether the real number ought to be in a given rational interval. This is a teaser paper for formalizing, exploring, and generalizing this definition. The…
We construct small models of number fields and deduce a better bound for the number of number fields of given degree and bounded discriminant.
In this paper, we give a survey of the known results concerning the tensor rank of the multiplication in finite extensions of finite fields, enriched with some not published recent results as well as analyzes enhancing the qualitative…
String algebras, in the usual sense, are finite-dimensional algebras over a given ground field. We recall a generalisation of the definition of a string algebra, which was introduced in a previous paper of the author. This generalisation…
In this paper, we analyze the definition Andr\'e proposed for near-vector spaces to make it more transparent. We also study the class of near-vector spaces over division rings and give a characterization of regularity that gives a new…
In this article, we explore the notion of infinity by studying Cantor's contribution to this field. A brief history of set theory is given. As an example of infinity, we consider Hilbert's famous hotel. A graphical construction is used to…
Finite frame theory has become a powerful tool for many applications of mathematics. In this paper we introduce a new area of research in frame theory: Integer frames. These are frames having all integer coordinates with respect to a fixed…
In 2007, Jarden and Narkiewicz raised the following question: Is it true that each algebraic number field has a finite extension L such that the ring of integers of L is generated by its units (as a ring)? In this article, we answer the…
At a conference in Debrecen in October 2010 Nathanson announced some results concerning the arithmetic diameters of certain sets. He proposed some related results on the representation of integers by sums or differences of powers of 2 and…
In this paper, we consider the problem of how to establish algebraic structures on nearness approximation spaces. Essentially, our approach is to define the nearness ring, nearness ideal and nearness ring of all weak cosets by considering…
For a ring R, Hilbert's Tenth Problem HTP(R) is the set of polynomial equations over R, in several variables, with solutions in R. We consider computability of this set for subrings R of the rationals. Applying Baire category theory to…
This paper concerns the \textbf{abstract geometry of numbers}: namely the pursuit of certain aspects of geometry of numbers over a suitable class of normed domains. (The standard geometry of numbers is then viewed as geometry of numbers…
This work connects two mathematical fields - computational complexity and interval linear algebra. It introduces the basic topics of interval linear algebra - regularity and singularity, full column rank, solving a linear system, deciding…
This article is written with the hope to draw attention to a method that uses integral transforms to find exact values for a large class of convergent series (and, in particular, series of rational terms). We apply the method to some series…