scholarly journals Proof of the Combinatorial Nullstellensatz over Integral Domains, in the Spirit of Kouba

10.37236/463 ◽  
2010 ◽  
Vol 17 (1) ◽  
Author(s):  
Peter Heinig
Keyword(s):  
General Result ◽  
Duality Theory ◽  
Integral Domain ◽  
Present Note ◽  
Direct Proof ◽  
Vector Spaces ◽  
Combinatorial Nullstellensatz ◽  
Integral Domains ◽  
Sole Purpose ◽  
Cramer’S Rule

It is shown that by eliminating duality theory of vector spaces from a recent proof of Kouba [A duality based proof of the Combinatorial Nullstellensatz, Electron. J. Combin. 16 (2009), #N9] one obtains a direct proof of the nonvanishing-version of Alon's Combinatorial Nullstellensatz for polynomials over an arbitrary integral domain. The proof relies on Cramer's rule and Vandermonde's determinant to explicitly describe a map used by Kouba in terms of cofactors of a certain matrix. That the Combinatorial Nullstellensatz is true over integral domains is a well-known fact which is already contained in Alon's work and emphasized in recent articles of Michałek and Schauz; the sole purpose of the present note is to point out that not only is it not necessary to invoke duality of vector spaces, but by not doing so one easily obtains a more general result.

scholarly journals Decomposition and classification of length functions

2020 ◽  
Vol 32 (5) ◽  
pp. 1109-1129
Author(s):  
Dario Spirito
Keyword(s):  
Integral Domain ◽  
Integral Domains ◽  
Bijective Correspondence ◽  
Length Functions ◽  
Standard Representation ◽  
Prufer Domains ◽  
Prüfer Domains

AbstractWe study decompositions of length functions on integral domains as sums of length functions constructed from overrings. We find a standard representation when the integral domain admits a Jaffard family, when it is Noetherian and when it is a Prüfer domains such that every ideal has only finitely many minimal primes. We also show that there is a natural bijective correspondence between singular length functions and localizing systems.

Graded integral domains in which each nonzero homogeneous t-ideal is divisorial

2019 ◽  
Vol 18 (01) ◽  
pp. 1950018 ◽  
Author(s):  
Gyu Whan Chang ◽  
Haleh Hamdi ◽  
Parviz Sahandi
Keyword(s):  
Integral Domain ◽  
Nonzero Ideal ◽  
Integral Domains ◽  
Cancellative Monoid ◽  
Integrally Closed ◽  
Graded Integral Domain

Let [Formula: see text] be a nonzero commutative cancellative monoid (written additively), [Formula: see text] be a [Formula: see text]-graded integral domain with [Formula: see text] for all [Formula: see text], and [Formula: see text]. In this paper, we study graded integral domains in which each nonzero homogeneous [Formula: see text]-ideal (respectively, homogeneous [Formula: see text]-ideal) is divisorial. Among other things, we show that if [Formula: see text] is integrally closed, then [Formula: see text] is a P[Formula: see text]MD in which each nonzero homogeneous [Formula: see text]-ideal is divisorial if and only if each nonzero ideal of [Formula: see text] is divisorial, if and only if each nonzero homogeneous [Formula: see text]-ideal of [Formula: see text] is divisorial.

scholarly journals On the Graph of Divisibility of an Integral Domain

2015 ◽  
Vol 58 (3) ◽  
pp. 449-458 ◽  
Author(s):  
Jason Greene Boynton ◽  
Jim Coykendall
Keyword(s):  
Topological Space ◽  
Integral Domain ◽  
Point Of View ◽  
Current Understanding ◽  
Main Theme ◽  
Topological Graph ◽  
Integral Domains ◽  
Graph Theoretic ◽  
Theoretic Point ◽  
Group Of Divisibility

AbstractIt is well known that the factorization properties of a domain are reflected in the structure of its group of divisibility. The main theme of this paper is to introduce a topological/graph-theoretic point of view to the current understanding of factorization in integral domains. We also show that connectedness properties in the graph and topological space give rise to a generalization of atomicity.

scholarly journals On Finite Nilpotent Matrix Groups over Integral Domains

ISRN Algebra ◽  
2013 ◽  
Vol 2013 ◽  
pp. 1-4 ◽  
Author(s):  
Dmitry Malinin
Keyword(s):  
General Result ◽  
Nilpotent Groups ◽  
Commutative Rings ◽  
Integral Domains ◽  
Matrix Groups ◽  
Nilpotent Matrix

We consider finite nilpotent groups of matrices over commutative rings. A general result concerning the diagonalization of matrix groups in the terms of simple conditions for matrix entries is proven. We also give some arithmetic applications for representations over Dedekind rings.

Groupings of Metabelian Groups and Extension Categories

1980 ◽  
Vol 32 (2) ◽  
pp. 449-459 ◽  
Author(s):  
K. W. Roggenkamp
Keyword(s):  
Group Ring ◽  
General Result ◽  
Prime Divisor ◽  
Characteristic Zero ◽  
Integral Domain ◽  
Metabelian Group ◽  
Metabelian Groups ◽  
Exact Sequences

Let G be a metabelian group and R an integral domain of characteristic zero, such that no rational prime divisor of │G│ is invertible in R. By RG we denote the group ring of G over R. In this note we shall proveTHEOREM. If RG ≌ RH as R-algebras, then G ≌ HThe question whether this result holds was posed to me by S. K. Sehgal. The result for R = Z is contained in G. Higman's thesis, and he apparently also proved a more general result. At any rate, I think that the methods of the proof are interesting eo ipso, since they establish a “Noether-Deuring theorem” for extension categories.In proving the above result, it is necessary to study closely the category of extensions (ℊs, S), where the objects are short exact sequences of SG-modules

Recursive elements and constructive extensions of computable local integral domains

1973 ◽  
Vol 38 (2) ◽  
pp. 272-290 ◽  
Author(s):  
Glen H. Suter
Keyword(s):  
Prime Ideal ◽  
Local Ring ◽  
Integral Domain ◽  
Rational Numbers ◽  
Algebraic Structures ◽  
Computable Structures ◽  
Integral Domains ◽  
Local Integral ◽  
Algebraic Operations ◽  
Axiom Systems

With reservations, one can think of abstract algebra as the study of what consequences can be drawn from the axioms associated with certain concrete algebraic structures. Two important examples of such concrete algebraic structures are the integers and the rational numbers. The integers and the rational numbers have two properties which are not in general mirrored in the abstract axiom systems associated with them. That is, the integers and the rational numbers both have effectively computable metrics and their algebraic operations are effectively computable. The study of abstract algebraic systems which possess effectively computable algebraic operations has produced many interesting results. One can think of a computable algebraic structure as one whose elements have been labeled by the set of positive integers and whose operations are effectively computable. The formal definition of computable local integral domain will be given in §3. Some specific computable structures which have been studied are the integers, the rational numbers, and the rational numbers with p-adic valuation. Computable structures were studied in general by Rabin [12]. This paper concerns computable local integral domains as exemplified by the local integral domain Zp. Zp is the localization of the integers with respect to the maximal prime ideal generated by the positive prime p. We should note that the concept of local integral domain is not first order.Let the ordered pair (Q, M) stand for a local ring, where Q is the local ring and M is the unique maximal prime ideal of Q. Since most of my results are proving the existence of certain effective procedures, the assumption that Q has a principal maximal ideal M (rather than M has n generators) greatly simplifies many of the proofs.

scholarly journals Duality in finite dimensional complex space

1978 ◽  
Vol 18 (1) ◽  
pp. 65-75
Author(s):  
C.H. Scott ◽  
T.R. Jefferson
Keyword(s):  
Quadratic Programming ◽  
Duality Theory ◽  
Complex Space ◽  
Optimization Problems ◽  
Vector Spaces ◽  
Dimensional Vector ◽  
Mathematical Programs ◽  
Finite Dimensional ◽  
General Duality ◽  
General Duality Theory

The idea of duality is now a widely accepted and useful idea in the analysis of optimization problems posed in real finite dimensional vector spaces. Although similar ideas have filtered over to the analysis of optimization problems in complex space, these have mainly been concerned with problems of the linear and quadratic programming variety. In this paper we present a general duality theory for convex mathematical programs in finite dimensional complex space, and, by means of an example, show that this formulation captures all previous results in the area.

WHEN IS THE INTEGRAL CLOSURE COMPARABLE TO ALL INTERMEDIATE RINGS

2016 ◽  
Vol 95 (1) ◽  
pp. 14-21 ◽  
Author(s):  
MABROUK BEN NASR ◽  
NABIL ZEIDI
Keyword(s):  
Integral Domain ◽  
Sufficient Conditions ◽  
Integral Closure ◽  
Necessary And Sufficient Conditions ◽  
Integral Domains ◽  
Necessary And Sufficient ◽  
Quotient Rings

Let $R\subset S$ be an extension of integral domains, with $R^{\ast }$ the integral closure of $R$ in $S$. We study the set of intermediate rings between $R$ and $S$. We establish several necessary and sufficient conditions for which every ring contained between $R$ and $S$ compares with $R^{\ast }$ under inclusion. This answers a key question that figured in the work of Gilmer and Heinzer [‘Intersections of quotient rings of an integral domain’, J. Math. Kyoto Univ.7 (1967), 133–150].

scholarly journals Idempotent Analog of the Legendre Transformation and lts Application in Digital Processing of Signals

2020 ◽  
pp. 96-101
Author(s):  
M.V. Kurkina ◽  
S.P. Semenov ◽  
V.V. Slavsky ◽  
O.V. Samarina ◽  
O.A. Petuhova ◽  
...  
Keyword(s):  
Convex Functions ◽  
Riemannian Geometry ◽  
Duality Theory ◽  
Digital Processing ◽  
Riemannian Metric ◽  
Theoretical Physics ◽  
Vector Spaces ◽  
Legendre Transformation ◽  
Conformally Flat ◽  
Tropical Mathematics

In recent years, a new area of mathematics — idempotent or “tropical” mathematics — has been intensively developed within the framework of the Sofus Lee international center, which is reflected in the works of V.P. Maslov, G.L. Litvinov, and A.N. Sobolevsky. The Legendre transformation plays an important role in theoretical physics, classical and statistical mechanics, and thermodynamics. In mathematics and its applications, the Legendre transformation is based on the concept of duality of vector spaces and duality theory for convex functions and subsets of a vector space. The purpose of this paper is to go beyond linear vector spaces using similar notions of duality in conformally flat Riemannian geometry and in idempotent algebra.An abstract idempotent analog of the Legendre transformation is constructed in a way similar to the polar transformation of the conformally flat Riemannian metric introduced in the works of E.D. Rodionov and V.V. Slavsky. Its capabilities for digital processing of signals and images are being investigated

On the Nonstandard Duality Theory of Locally Convex Spaces

1980 ◽  
Vol 32 (2) ◽  
pp. 460-479 ◽  
Author(s):  
Arthur D. Grainger
Keyword(s):  
Vector Space ◽  
Duality Theory ◽  
Dual System ◽  
Vector Spaces ◽  
Locally Convex Spaces ◽  
Topological Vector Spaces ◽  
Nonstandard Model ◽  
Locally Convex ◽  
External Property ◽  
Convex Spaces

This paper continues the nonstandard duality theory of locally convex, topological vector spaces begun in Section 5 of [3]. In Section 1, we isolate an external property, called the pseudo monad, that appears to be one of the central concepts of the theory (Definition 1.2). In Section 2, we relate the pseudo monad to the Fin operation. For example, it is shown that the pseudo monad of a µ-saturated subset A of *E, the nonstandard model of the vector space E, is the smallest subset of A that generates Fin (A) (Proposition 2.7).The nonstandard model of a dual system of vector spaces is considered in Section 3. In this section, we use pseudo monads to establish relationships among infinitesimal polars, finite polars (see (3.1) and (3.2)) and the Fin operation (Theorem 3.7).

Sign in / Sign up

Export Citation Format

Share Document