In this paper we examine subalgebras on two generators in the univariate polynomial ring. A set, S, of polynomials in a subalgebra of a polynomial ring is called a canonical basis (also referred to as SAGBI basis) for the subalgebra if all lead monomials in the subalgebra are products of lead monomials of polynomials in S. In this paper we prove that a pair of polynomials {f, g} is a canonical ...

A completion procedure for computing a canonical basis for a k-subalgebra is proposed. Using this canonical basis, the membership problem for a k-subalgebra can be solved. The approach follows Buchberger's approach for computing a Grr obner basis for a polynomial ideal and is based on rewriting concepts. A canonical basis produced by the completion procedure shares many properties of a Grr obne...

Louis Solomon showed that the group algebra of the symmetric group Sn has a subalgebra called the descent algebra, generated by sums of permutations with a given descent set. In fact, he showed that every Coxeter group has something that can be called a descent algebra. There is also a commutative, semisimple subalgebra of Solomon’s descent algebra generated by sums of permutations with the sam...

We prove that the normalizer of any diffuse amenable subalgebra of a free group factor L(Fr) generates an amenable von Neumann subalgebra. Moreover, any II1 factor of the form Q ⊗̄L(Fr), with Q an arbitrary subfactor of a tensor product of free group factors, has no Cartan subalgebras. We also prove that if a free ergodic measure preserving action of a free group Fr, 2 ≤ r ≤ ∞, on a probability ...

Let L be a Lie pseudoalgebra, a ∈ L. We show that, if a generates a (finite) solvable subalgebra S = 〈a〉 ⊂ L, then one may find a lifting ā ∈ S of [a] ∈ S/S such that 〈ā〉 is nilpotent. We then apply this result towards vertex algebras: we show that every finite vertex algebra V admits a decomposition into a semi-direct product V = U⋉N , where U is a subalgebra of V whose underlying Lie conforma...

The theory of “subalgebra basis” analogous to standard basis (the generalization of Gröbner bases to monomial ordering which are not necessarily well ordering [1].) for ideals in polynomial rings over a field is developed. We call these bases “SASBI Basis” for “Subalgebra Analogue to Standard Basis for Ideals”. The case of global orderings, here they are called “SAGBI Basis” for “Subalgebra Ana...

In this article, we proved the following results. Let L(F (ni)) be the free group factor on ni generators and λ(gi) be one of standard generators of L(F (ni)) for 1 ≤ i ≤ N . Let Ai be the abelian von Neumann subalgebra of L(F (ni)) generated by λ(gi). Then the abelian von Neumann subalgebra ⊗i=1Ai is a maximal injective von Neumann subalgebra of ⊗i=1L(F (ni)). When N is equal to infinity, we o...

We use graph-algebraic results proved in [8] and some results of the graph theory to characterize all pairs 〈L1,L2〉 of lattices for which there is a finite partial unary algebra such that its weak and strong subalgebra lattices are isomorphic to L1 and L2, respectively. Next, we describe other pairs of subalgebra lattices (weak and relative, etc.) of a finite unary algebra. Finally, necessary a...

This paper builds on the previous paper by the author, where a relationship between Zhedanov’s algebra AW (3) and the double affine Hecke algebra (DAHA) corresponding to the Askey–Wilson polynomials was established. It is shown here that the spherical subalgebra of this DAHA is isomorphic to AW (3) with an additional relation that the Casimir operator equals an explicit constant. A similar resu...

Given Φ,Ψ ∈ {∈, q,∈ ∨ q}, the notion of (Φ, Ψ)neutrosophic subalgebras of a BCK/BCI-algebra are introduced, and related properties are investigated. Characterizations of an (∈,∈)neutrosophic subalgebra and an (∈,∈∨ q)-neutrosophic subalgebra are provided. Given special sets, so called neutrosophic ∈-subsets, neutrosophic q-subsets and neutrosophic ∈∨ q-subsets, conditions for the neutrosophic ∈...