Search results for "Subalgebra"
showing 10 items of 48 documents
A construction of a fuzzy topology from a strong fuzzy metric
2016
<p>After the inception of the concept of a fuzzy metric by I. Kramosil and J. Michalek, and especially after its revision by A. George and G. Veeramani, the attention of many researches was attracted to the topology induced by a fuzzy metric. In most of the works devoted to this subject the resulting topology is an ordinary, that is a crisp one. Recently some researchers showed interest in the fuzzy-type topologies induced by fuzzy metrics. In particular, in the paper (J.J. Mi\~{n}ana, A. \v{S}ostak, {\it Fuzzifying topology induced by a strong fuzzy metric}, Fuzzy Sets and Systems, 6938 DOI information: 10.1016/j.fss.2015.11.005.) a fuzzifying topology ${\mathcal T}:2^X \to [0,1]$ …
Defining relations of the noncommutative trace algebra of two 3×3 matrices
2006
The noncommutative (or mixed) trace algebra $T_{nd}$ is generated by $d$ generic $n\times n$ matrices and by the algebra $C_{nd}$ generated by all traces of products of generic matrices, $n,d\geq 2$. It is known that over a field of characteristic 0 this algebra is a finitely generated free module over a polynomial subalgebra $S$ of the center $C_{nd}$. For $n=3$ and $d=2$ we have found explicitly such a subalgebra $S$ and a set of free generators of the $S$-module $T_{32}$. We give also a set of defining relations of $T_{32}$ as an algebra and a Groebner basis of the corresponding ideal. The proofs are based on easy computer calculations with standard functions of Maple, the explicit prese…
The Lie algebra of polynomial vector fields and the Jacobian conjecture
1998
The Jacobian conjecture for polynomial maps ϕ:Kn→Kn is shown to be equivalent to a certain Lie algebra theoretic property of the Lie algebra\(\mathbb{D}\) of formal vector fields inn variables. To be precise, let\(\mathbb{D}_0 \) be the unique subalgebra of codimensionn (consisting of the singular vector fields),H a Cartan subalgebra of\(\mathbb{D}_0 \),Hλ the root spaces corresponding to linear forms λ onH and\(A = \oplus _{\lambda \in {\rm H}^ * } H_\lambda \). Then every polynomial map ϕ:Kn→Kn with invertible Jacobian matrix is an automorphism if and only if every automorphism Φ of\(\mathbb{D}\) with Φ(A)\( \subseteq A\) satisfies Φ(A)=A.
The algebra of symmetric analytic functions on L∞
2017
We consider the algebra of holomorphic functions on L∞ that are symmetric, i.e. that are invariant under composition of the variable with any measure-preserving bijection of [0, 1]. Its spectrum is identified with the collection of scalar sequences such that is bounded and turns to be separable. All this follows from our main result that the subalgebra of symmetric polynomials on L∞ has a natural algebraic basis.
F-signature of pairs and the asymptotic behavior of Frobenius splittings
2012
We generalize $F$-signature to pairs $(R,D)$ where $D$ is a Cartier subalgebra on $R$ as defined by the first two authors. In particular, we show the existence and positivity of the $F$-signature for any strongly $F$-regular pair. In one application, we answer an open question of I. Aberbach and F. Enescu by showing that the $F$-splitting ratio of an arbitrary $F$-pure local ring is strictly positive. Furthermore, we derive effective methods for computing the $F$-signature and the $F$-splitting ratio in the spirit of the work of R. Fedder.
Fixpunktmengen von halbeinfachen Automorphismen in halbeinfachen Lie-Algebren
1976
Let g be a semisimple Lie algebra over an algebraically closed field of characteristic 0. The set of fixed points of a semisimple inner automorphism of g is a regular reductive subalgebra of maximal rank [1], so it is defined by a subsystem of the root system Φ of g relative to a suitable Cartan subalgebra. The main theorem of the article characterizes the corresponding subsystems of Φ. The second part of the article shows how to compute the fixed point algebras of semisimple outer automorphisms of g. A complete list of all fixed point algebras is then easily obtainable. The results are applied to bounded symmetric domains. References
On the Existence and Structure of Ψ*-Algebras of Totally Characteristic Operators on Compact Manifolds with Boundary
1999
As a contribution to the pseudodifferential analysis on manifolds with singularities we construct for each smooth, compact manifold X with boundary a Ψ*-algebra A(b)∞(X, bΩ1/2)⊆L(ϱbL2(X, bΩ1/2)) containing the algebra Ψ0b, cl(X, bΩ1/2) of totally characteristic pseudodifferential operators introduced by Melrose [25] in 1981 as a dense subalgebra; further, there is a homomorphism τ(b)A: A(b)∞(X, bΩ1/2)→Q(b)Ψ characterizing the Fredholm property of a∈A(b)∞(X, bΩ1/2) by means of the invertibility of τ(b)A(a)∈Q(b)Ψ, where Q(b)Ψ is an algebra of C∞-symbols reflecting the smooth structure of the manifold X. The Fredholm inverses of Fredholm operators in A(b)∞(X, bΩ1/2) are again in the algebra A(…
"Fixed Point Theorems for '?, ?'Contractive maps in Weak nonArchimedean Fuzzy Metric Spaces and Application"
2011
The present study introduce the notion of (ψ, ϕ)-Contractive maps in weak non-Archimedean fuzzy metric spaces to derive a common fixed point theorem which complements and extends the main theorems of [C.Vetro, Fixed points in weak non-Archimedean fuzzy metric spaces, Fuzzy Sets and System, 162 (2011), 84-90] and [D.Mihet, Fuzzy ψ-contractive mappings in non-Archimedean fuzzy metric spaces, Fuzzy Sets and System, 159 (2008) 739-744]. We support our result by establishing an application to product spaces.
Possible extensions of the noncommutative integral
2011
In this paper we will discuss the problem of extending a trace σ defined on a dense von Neumann subalgebra \(\mathfrak{M}\) of a topological *-algebra \({\mathfrak{A}}\) to some subspaces of \({\mathfrak{A}}\). In particular, we will prove that extensions of the trace σ that go beyond the space L1(σ) really exist and we will explicitly construct one of these extensions. We will continue the analysis undertaken in Bongiorno et al. (Rocky Mt. J. Math. 40(6):1745–1777, 2010) on the general problem of extending positive linear functionals on a *-algebra.
On the Directly and Subdirectly Irreducible Many-Sorted Algebras
2015
AbstractA theorem of single-sorted universal algebra asserts that every finite algebra can be represented as a product of a finite family of finite directly irreducible algebras. In this article, we show that the many-sorted counterpart of the above theorem is also true, but under the condition of requiring, in the definition of directly reducible many-sorted algebra, that the supports of the factors should be included in the support of the many-sorted algebra. Moreover, we show that the theorem of Birkhoff, according to which every single-sorted algebra is isomorphic to a subdirect product of subdirectly irreducible algebras, is also true in the field of many-sorted algebras.