Browse

You are looking at 1 - 10 of 11,027 items for :

  • Mathematics and Statistics x
Clear All

Abstract

We provide a Maltsev characterization of congruence distributive varieties by showing that a variety 𝓥 is congruence distributive if and only if the congruence identity α(βγβ)_αβγαβγ … (k factors) holds in 𝓥, for some natural number k.

Restricted access

Abstract

Fix 2 < n < ω and let CAn denote the class of cyindric algebras of dimension n. Roughly CAn is the algebraic counterpart of the proof theory of first order logic restricted to the first n variables which we denote by Ln. The variety RCAn of representable CAns reflects algebraically the semantics of L n. Members of RCAn are concrete algebras consisting of genuine n-ary relations, with set theoretic operations induced by the nature of relations, such as projections referred to as cylindrifications. Although CAn has a finite equational axiomatization, RCAn is not finitely axiomatizable, and it generally exhibits wild, often unpredictable and unruly behavior. This makes the theory of CAn substantially richer than that of Boolean algebras, just as much as Lω,ω is richer than propositional logic. We show using a so-called blow up and blur construction that several varieties (in fact infinitely many) containing and including the variety RCAn are not atom-canonical. A variety V of Boolean algebras with operators is atom canonical, if whenever 𝔄 V is atomic, then its Dedekind-MacNeille completion, sometimes referred to as its minimal completion, is also in V. From our hitherto obtained algebraic results we show, employing the powerful machinery of algebraic logic, that the celebrated Henkin-Orey omitting types theorem, which is one of the classical first (historically) cornerstones of model theory of L ω,ω, fails dramatically for L n even if we allow certain generalized models that are only locallly clasfsical. It is also shown that any class K such that NrnCAωCRCAn¯K¯ScNrnCAn+3 , where CRCAn is the class of completely representable CAns, and Sc denotes the operation of forming dense (complete) subalgebras, is not elementary. Finally, we show that any class K such that SdRaCAω¯K¯ScRaCA5 is not elementary, where Sd denotes the operation of forming dense subalgebra.

Restricted access

Abstract

Let 𝔄 be a unital Banach algebra and its Jacobson radical. This paper investigates Banach algebras satisfying some chain conditions on closed ideals. In particular, it is shown that a Banach algebra 𝔄 satisfies the descending chain condition on closed left ideals then 𝔄/ is finite dimensional. We also prove that a C *-algebra satisfies the ascending chain condition on left annihilators if and only if it is finite dimensional. Moreover, other auxiliary results are established.

Restricted access

Abstract

We give two new simple characterizations of the Cauchy distribution by using the Möbius and Mellin transforms. They also yield characterizations of the circular Cauchy distribution and the mixture Cauchy model.

Restricted access

Abstract

In this paper we present different variants of the well-known Hermite–Hadamard inequality, in a generalized context. We consider general fractional integral operators for h-convex and r-convex functions.

Restricted access

Abstract

In this study, a normalized form of regular Coulomb wave function is considered. By using the differential subordinations method due to Miller and Mocanu, we determine some conditions on the parameters such that the normalized regular Coulomb wave function is lemniscate starlike and exponential starlike in the open unit disk, respectively. In additon, by using the relationship between the regular Coulomb wave function and the Bessel function of the first kind we give some conditions for which the classical Bessel function of the first kind is lemniscate and exponential starlike in the unit disk 𝔻.

Restricted access
Studia Scientiarum Mathematicarum Hungarica
Authors: Carlos M. da Fonseca, Victor Kowalenko and László Losonczi

Abstract

This survey revisits Jenő Egerváry and Otto Szász’s article of 1928 on trigonometric polynomials and simple structured matrices focussing mainly on the latter topic. In particular, we concentrate on the spectral theory for the first type of the matrices introduced in the article, which are today referred to as k-tridiagonal matrices, and then discuss the explosion of interest in them over the last two decades, most of which could have benefitted from the seminal article, had it not been overlooked.

Restricted access

Abstract

Let K = ℚ(α) be a number field generated by a complex root α of a monic irreducible polynomial f(x) = x 24m, with m ≠ 1 is a square free rational integer. In this paper, we prove that if m ≡ 2 or 3 (mod 4) and m ≢∓1 (mod 9), then the number field K is monogenic. If m ≡ 1 (mod 4) or m ≡ 1 (mod 9), then the number field K is not monogenic.

Restricted access

Abstract

In this study, we investigate suborbital graphs G u,n of the normalizer ΓB (N) of Γ0 (N) in PSL(2, ℝ) for N = 2α3β where α = 1, 3, 5, 7, and β = 0 or 2. In these cases the normalizer becomes a triangle group and graphs arising from the action of the normalizer contain quadrilateral circuits. In order to obtain graphs, we first define an imprimitive action of ΓB (N) on using the group ГΒ+ (N) and then obtain some properties of the graphs arising from this action.

Restricted access

Abstract

For n,m≥ 2 this paper is devoted to the description of the sets of extreme and exposed points of the closed unit balls of (lnm) and s(lnm), where (lnm) is the space of n-linear forms on m with the supremum norm, and s(lnm) is the subspace of (lnm) consisting of symmetric n-linear forms. First we classify the extreme points of the unit balls of (lnm) and s(lnm), respectively. We show that ext B(lnm) ⊂ ext B(lnm+1), which answers the question in []. We show that every extreme point of the unit balls of (lnm) and s(lnm) is exposed, correspondingly. We also show that

extBs(ln2)=ext B(ln2)s(ln2),
ext Bs(l2m+1)ext B(l2m+1)s(l2m+1),
expBS(ln2)=expB(ln2)s(ln2)

and expBs(l2m+1)expB(l2m+1)s(l2m+1),

which answers the questions in [].

Restricted access