Search results for " Algebra"
showing 10 items of 2082 documents
On Rough Sets in Topological Boolean Algebras
1994
We have focused on rough sets in topological Boolean algebras. Our main ideas on rough sets are taken from concepts of Pawlak [4] and certain generalizations of his constructions which were offered by Wiweger [7]. One of the most important results of this note is a characterization of the rough sets determined by regular open and regular closed elements.
Sobriety and spatiality in categories of lattice-valued algebras
2012
The paper provides an analogue of the famous equivalence between the categories of sober topological spaces and spatial locales for the framework of (L,M)-fuzzy topology of Kubiak and Sostak (and partly to that of Guido). To be more general, we replace locales with localic lattice-valued algebras in the sense of Di Nola and Gerla and use the respective generalized topological setting. As a result, it appears that the shift from crisp algebras to lattice-valued algebras weakens (resp. strengthens) considerably the classical (including the point-set lattice-theoretic setting of Rodabaugh) notion of sobriety (resp. spatiality).
Polynomial identities with involution, superinvolutions and the Grassmann envelope
2017
Let A be an algebra with involution ∗ over a field of characteristic zero. We prove that in case A satisfies a non-trivial ∗-identity, then A has the same ∗-identities as the Grassmann envelope of a finite dimensional superalgebra with superinvolution. As a consequence we give a positive answer to the Specht problem for algebras with involution, i.e., any T-ideal of identities of an algebra with involution is finitely generated as a T-ideal.
Polynomial growth and identities of superalgebras and star-algebras
2009
Abstract We study associative algebras with 1 endowed with an automorphism or antiautomorphism φ of order 2, i.e., superalgebras and algebras with involution. For any fixed k ≥ 1 , we construct associative φ -algebras whose φ -codimension sequence is given asymptotically by a polynomial of degree k whose leading coefficient is the largest or smallest possible.
Asymptotics for the Amitsur's Capelli - Type Polynomials and Verbally Prime PI-Algebras
2006
We consider associativePI-algebras over a field of characteristic zero. The main goal of the paper is to prove that the codimensions of a verbally prime algebra [11] are asymptotically equal to the codimensions of theT-ideal generated by some Amitsur's Capelli-type polynomialsEM,L* [1]. We recall that two sequencesan,bnare asymptotically equal, and we writean≃bn,if and only if limn→∞(an/bn)=1.In this paper we prove that\(c_n \left( {M_k \left( G \right)} \right) \simeq c_n \left( {E_{k^2 ,k^2 }^ * } \right) and c_n \left( {M_{k,l} \left( G \right)} \right) \simeq c_n \left( {E_{k^2 + l^2 ,2kl}^ * } \right) \)% MathType!End!2!1!, whereG is the Grassmann algebra. These results extend to all v…
PI-algebras with slow codimension growth
2005
Let $c_n(A),\ n=1,2,\ldots,$ be the sequence of codimensions of an algebra $A$ over a field $F$ of characteristic zero. We classify the algebras $A$ (up to PI-equivalence) in case this sequence is bounded by a linear function. We also show that this property is closely related to the following: if $l_n(A), \ n=1,2,\ldots, $ denotes the sequence of colengths of $A$, counting the number of $S_n$-irreducibles appearing in the $n$-th cocharacter of $A$, then $\lim_{n\to \infty} l_n(A)$ exists and is bounded by $2$.
Heyting-valued interpretations for Constructive Set Theory
2006
AbstractWe define and investigate Heyting-valued interpretations for Constructive Zermelo–Frankel set theory (CZF). These interpretations provide models for CZF that are analogous to Boolean-valued models for ZF and to Heyting-valued models for IZF. Heyting-valued interpretations are defined here using set-generated frames and formal topologies. As applications of Heyting-valued interpretations, we present a relative consistency result and an independence proof.
The Infinite-Valued Łukasiewicz Logic and Probability
2017
The paper concerns the algebraic structure of the set of cumulative distribution functions as well as the relationship between the resulting algebra and the infinite-valued Łukasiewicz algebra. The paper also discusses interrelations holding between the logical systems determined by the above algebras. Zadanie „ Wdrożenie platformy Open Journal System dla czasopisma „ Bulletin of the Section of Logic” finansowane w ramach umowy 948/P-DUN/2016 ze środków Ministra Nauki i Szkolnictwa Wyższego przeznaczonych na działalność upowszechniającą naukę.
A General Algorithm to Calculate the Inverse Principal $p$-th Root of Symmetric Positive Definite Matrices
2019
We address the general mathematical problem of computing the inverse p-th root of a given matrix in an efficient way. A new method to construct iteration functions that allow calculating arbitrary p-th roots and their inverses of symmetric positive definite matrices is presented. We show that the order of convergence is at least quadratic and that adaptively adjusting a parameter q always leads to an even faster convergence. In this way, a better performance than with previously known iteration schemes is achieved. The efficiency of the iterative functions is demonstrated for various matrices with different densities, condition numbers and spectral radii.
Goppa codes over Edwards curves
2023
Given an Edwards curve, we determine a basis for the Riemann-Roch space of any divisor whose support does not contain any of the two singular points. This basis allows us to compute a generating matrix for an algebraic-geometric Goppa code over the Edwards curve.