Results 1 to 10 of about 3,277 (246)
Formalized Mathematics, 2021 Summary In this article we further develop field theory in Mizar [1], [2], [3] towards splitting fields. We deal with algebraic extensions [4], [5]: a field extension E of a field F is algebraic, if every element of E is algebraic over F.
Schwarzweller, Christoph +1 more
+6 more sources
Generators and number fields for torsion points of a special elliptic curve [PDF]
Arab Journal of Mathematical Sciences, 2020 Let E be an elliptic curve with Weierstrass form y2=x3−px, where p is a prime number and let E[m] be its m-torsion subgroup. Let p1=(x1,y1) and p2=(x2,y2) be a basis for E[m], then we prove that ℚ(E[m])=ℚ(x1,x2,ξm,y1) in general.
Hasan Sankari, Mustafa Bojakli
doaj +1 more source
Basic Core Fuzzy Logics and Algebraic Routley–Meyer-Style Semantics
Axioms, 2021 Recently, algebraic Routley–Meyer-style semantics was introduced for basic substructural logics. This paper extends it to fuzzy logics. First, we recall the basic substructural core fuzzy logic MIAL (Mianorm logic) and its axiomatic extensions, together ...
Eunsuk Yang
doaj +1 more source
On The Roots of Unity in Several Complex Neutrosophic Rings [PDF]
Neutrosophic Sets and Systems, 2023 Roots of unity play a basic role in the theory of algebraic extensions of fields and rings. The aim of this paper is to obtain an algorithm to find all n-th roots of unity in five different kinds of neutrosophic complex rings, where many theorems and ...
Djamal Lhiani +3 more
doaj +1 more source
Algebraic Extension of Normed Algebras [PDF]
Proceedings of the American Mathematical Society, 1956 in B. The classical method of field extension (forming the polynomial ring A [x] and reducing modulo the principal ideal J of 1.1) solves this problem. In this paper, we investigate the role of this process in topological rings. We study the problem of obtaining a normed linear algebra extension B containing a solution of 1.1, where A is a given normed
Arens, Richard, Hoffman, Kenneth
openaire +2 more sources
Completeness of algebraic CPS simulations [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 The algebraic lambda calculus and the linear algebraic lambda calculus are two extensions of the classical lambda calculus with linear combinations of terms.
Ali Assaf, Simon Perdrix
doaj +1 more source
Prime Spectrum of the Ring of Adeles of a Number Field
Mathematics, 2022 Much is known about the adele ring of an algebraic number field from the perspective of harmonic analysis and class field theory. However, its ring-theoretical aspects are often ignored.
Álvaro Serrano Holgado
doaj +1 more source
EXTENSION ALGEBRAS OF CUNTZ ALGEBRA, II [PDF]
Bulletin of the Australian Mathematical Society, 2009 AbstractIn this paper, we construct the unique (up to isomorphism) extension algebra, denoted by E∞, of the Cuntz algebra 𝒪∞ by the C*-algebra of compact operators on a separable infinite-dimensional Hilbert space. We prove that two unital monomorphisms from E∞ to a unital purely infinite simple C*-algebra are approximately unitarily equivalent if and ...
Liu, Shudong, Fang, Xiaochun
openaire +2 more sources
Omitting Types in Fragments and Extensions of First Order Logic
Bulletin of the Section of Logic, 2021 Fix \(2 < n < \omega\). Let \(L_n\) denote first order logic restricted to the first n variables. Using the machinery of algebraic logic, positive and negative results on omitting types are obtained for \(L_n\) and for infinitary variants and extensions ...
Tarek Sayed Ahmed
doaj +1 more source
Construction of Generalized Rademacher Functions in Terms of Ternary Logic: Solving the Problem of Visibility of Using Galois Fields for Digital Signal Processing [PDF]
International Journal of Electronics and Telecommunications, 2022 Generalized Rademacher functions, constructed as a sequence of elements of Galois fields are intended to find the spectral representation of signals with levels.
Elizaveta S. Vitulyova +2 more
doaj +1 more source