Roots of unity and the polynomials with coefficients in{\mathbb{T}}

The maximal order of the coefficients of an arbitrary polynomialP having coefficients in ${\mathbb{T}}$ and the quotient of ‖P‖ _L ⁴ divided by ‖P‖ _L ² depends on the behavior of them in ${\mathbb{T}}$ . In this paper we show thatP can be approximated with another such polynomials which has coefficients as roots of unity.     

On Extending {\mathcal{A}}-Modules Through the Coefficients

In classical linear algebra, extending the ring of scalars of a free module gives rise to a new free module containing an isomorphic copy of the former and satisfying a certain universal property. Also, given two free modules on the same ring of scalars and a morphism between them, enlarging the ring of scalars results in obtaining a new morphism having the nice property that it coincides with the initial map on the isomorphic copy of the initial free module in the new one. We investigate these problems in the category of free ${\mathcal{A}}$ -modules, where ${\mathcal{A}}$ is an ${\mathbb{R}}$ -algebra sheaf. Complexification of free ${\mathcal{A}}$ -modules, which is defined to be the process of obtaining new free ${\mathcal{A}}$ -modules by enlarging the ${\mathbb{R}}$ -algebra sheaf ${\mathcal{A}}$ to a ${\mathbb{C}}$ -algebra sheaf, denoted ${\mathcal{A}_\mathbb{C}}$ , is an important particular case (see Proposition 2.1, Proposition 3.1). Attention, on the one hand, is drawn on the sub- ${_{\mathbb{R}}\mathcal{A}}$ -sheaf of almost complex structures on the sheaf ${{_\mathbb{R}}\mathcal{A}^{2n}}$ , the underlying ${\mathbb{R}}$ -algebra sheaf of a ${\mathbb{C}}$ -algebra sheaf ${\mathcal{A}}$ , and on the other hand, on the complexification of the functor ${\mathcal{H}om_\mathcal {A}}$ , with ${\mathcal{A}}$ an ${\mathbb{R}}$ -algebra sheaf.     

Representation of Nelson algebras by rough sets determined by quasiorders

In this paper, we show that every quasiorder R induces a Nelson algebra ${{\mathbb R}{\mathbb S}}$ such that the underlying rough set lattice RS is algebraic. We note that ${{\mathbb R}{\mathbb S}}$ is a three-valued ?ukasiewicz algebra if and only if R is an equivalence. Our main result says that if ${{\mathbb A}}$ is a Nelson algebra defined on an algebraic lattice, then there exists a set U and a quasiorder R on U such that ${{\mathbb A} \cong {\mathbb R}{\mathbb S}}$ .     

Linearizing Systems of Second-Order ODEs via Symmetry Generators Spanning a Simple Subalgebra

It is shown that a system of n second order ordinary differential equations that possess 2(n?1) symmetries of certain type necessarily has maximal symmetry $\frak{sl}(n+2,\mathbb{R})$ . Further, it is shown for non-linearizable systems containing a subalgebra of symmetries isomorphic to $\frak{sl}(n-1,\mathbb{R})$ the dimension of the symmetry algebra $\mathcal{L}$ is d≥n ²?1. Examples showing that the upper bound is sharp are given.     

Algebras of Convolution Type Operators with Piecewise Slowly Oscillating Data. I: Local and Structural Study

Let ${\mathcal{B}_{p,w}}$ be the Banach algebra of all bounded linear operators acting on the weighted Lebesgue space ${L^{p}(\mathbb{R}, w)}$ , where ${p \in (1, \infty)}$ and w is a Muckenhoupt weight. We study the Banach subalgebra ${\mathfrak{A}_{p,w}}$ of ${\mathcal{B}_{p,w}}$ generated by all multiplication operators aI ( ${a \in PSO^{\diamond}}$ ) and all convolution operators W ⁰(b) ( ${b \in PSO_{p,w}^{\diamond}}$ ), where ${PSO^{\diamond} \subset L^{\infty}(\mathbb{R})}$ and ${PSO_{p,w}^{\diamond} \subset M_{p,w}}$ are algebras of piecewise slowly oscillating functions that admit piecewise slowly oscillating discontinuities at arbitrary points of ${\mathbb{R} \cup \{\infty\}}$ , and M _p,w is the Banach algebra of Fourier multipliers on ${L^{p}(\mathbb{R}, w)}$ . Under some conditions on the Muckenhoupt weight w, we construct a Fredholm symbol calculus for the Banach algebra ${\mathfrak{A}_{p,w}}$ and establish a Fredholm criterion for the operators ${A \in \mathfrak{A}_{p,w}}$ in terms of their Fredholm symbols. To study the Banach algebra ${\mathfrak{A}_{p,w}}$ we apply the theory of Mellin pseudodifferential operators, the Allan–Douglas local principle, the two idempotents theorem and the method of limit operators. The paper is divided in two parts. The first part deals with the local study of ${\mathfrak{A}_{p,w}}$ and necessary tools for studying local algebras.     

A note on the reducibility of binary affine polynomials

Stickelberger–Swan Theorem is an important tool for determining parity of the number of irreducible factors of a given polynomial. Based on this theorem, we prove in this note that every affine polynomial A(x) over ${\mathbb{F}_2}$ with degree >1, where A(x) = L(x) + 1 and ${L(x)=\sum_{i=0}^{n}{x^{2^i}}}$ is a linearized polynomial over ${\mathbb{F}_2}$ , is reducible except x ² + x + 1 and x ⁴ + x + 1. We also give some explicit factors of some special affine pentanomials over ${\mathbb{F}_2}$ .     

On The Structure of A Commutative Banach Algebra Generated By Toeplitz Operators With Quasi-Radial Quasi-Homogeneous Symbols

Let ${\mathcal{A}_{\lambda}^2(\mathbb{B}^n)}$ denote the standard weighted Bergman space over the unit ball ${\mathbb{B}^n}$ in ${\mathbb{C}^n}$ . New classes of commutative Banach algebras ${\mathcal{T}(\lambda)}$ which are generated by Toeplitz operators on ${\mathcal{A}_{\lambda}^2(\mathbb{B}^n)}$ have been recently discovered in Vasilevski (Integr Equ Oper Theory 66(1):141?C152, 2010). These algebras are induced by the action of the quasi-elliptic group of biholomorphisms of ${\mathbb{B}^n}$ . In the present paper we analyze in detail the internal structure of such an algebra in the lowest dimensional case n?=?2. We explicitly describe the maximal ideal space and the Gelfand map of ${\mathcal{T}(\lambda)}$ . Since ${\mathcal{T}(\lambda)}$ is not invariant under the *-operation of ${\mathcal{L}(\mathcal{A}_{\lambda}^2(\mathbb{B}^n))}$ its inverse closedness is not obvious and is proved. We remark that the algebra ${\mathcal{T}(\lambda)}$ is not semi-simple and we derive its radical. Several applications of our results are given and, in particular, we conclude that the essential spectrum of elements in ${\mathcal{T}(\lambda)}$ is always connected.     

On an Ingelstam's Theorem

A well-known Ingelstam's Theorem asserts that every real Hilbert space A with an associative unital product satisfying ‖ xy‖ ≤ ‖ x‖ ‖ y‖ and ‖ 1‖ = 1 is isomorphic to the reals ?, or the complex numbers ?, or the quaternions ?. This note deals with a nonunital and nonassociative extension of the Ingelstam Theorem. So the assumptions about associativity and existence of unity are weakened to the existence of a nonzero central idempotent e such that ‖ ex‖ = ‖e‖ ‖ x‖ for all x, and that in A holds a determined kind of algebraic identity strictly weaker that alternativeness. We prove that, up to isomorphisms, there are only seven algebras satisfying these assumptions, even without the requirement of completeness. On the other hand, Section 3 presents another characterization of the obtained algebras with the flavor of one of the main theorems in Bhatt et al. (1998 Bhatt , S. J. , Karia , D. J. , Kulkarni , S. H. , Shimpi , M. E. ( 1998 ). A note on the Gelfand-Mazur theorem . Proc. Amer. Math. Soc. 126 ( 10 ): 2999 – 3005 .[Crossref], [Web of Science ®] , [Google Scholar]).     

Algebras of Convolution Type Operators with Piecewise Slowly Oscillating Data. II: Local Spectra and Fredholmness

Let ${\mathcal{B}_{p,w}}$ be the Banach algebra of all bounded linear operators acting on the weighted Lebesgue space ${L^p(\mathbb{R},w)}$ , where ${p\in(1,\infty)}$ and w is a Muckenhoupt weight. We study the Banach subalgebra ${\mathfrak{U}_{p,w}}$ of ${\mathcal{B}_{p,w}}$ generated by all multiplication operators aI ( ${a\in PSO^\diamond}$ ) and all convolution operators W ⁰(b) ( ${b\in PSO_{p,w}^\diamond}$ ), where ${PSO^\diamond\subset L^\infty(\mathbb{R})}$ and ${PSO_{p,w}^\diamond\subset M_{p,w}}$ are algebras of piecewise slowly oscillating functions that admit piecewise slowly oscillating discontinuities at arbitrary points of ${\mathbb{R}\cup\{\infty\}}$ , and M _p,w is the Banach algebra of Fourier multipliers on ${L^p(\mathbb{R},w)}$ . Under some conditions on the Muckenhoupt weight w, using results of the local study of ${\mathfrak{U}_{p,w}}$ obtained in the first part of the paper and applying the theory of Mellin pseudodifferential operators and the two idempotents theorem, we now construct a Fredholm symbol calculus for the Banach algebra ${\mathfrak{U}_{p,w}}$ and establish a Fredholm criterion for the operators ${A\in\mathfrak{U}_{p,w}}$ in terms of their Fredholm symbols. In four partial cases we obtain for ${\mathfrak{U}_{p,w}}$ more effective results.     

Matrix Representations of the Low Order Real Clifford Algebras

In this paper we construct the matrix subalgebras ${L_{r,s}(\mathbb{R})}$ of the real matrix algebra ${M_{2^{r+s}} (\mathbb{R})}$ when 2 ≤ r + s ≤ 3 and we show that each ${L_{r,s}(\mathbb{R})}$ is isomorphic to the real Clifford algebra ${\mathcal{C} \ell_{r,s}}$ . In particular, we prove that the algebras ${L_{r,s}(\mathbb{R})}$ can be induced from ${L_{0,n}(\mathbb{R})}$ when 2 ≤ r + s = n ≤ 3 by deforming vector generators of ${L_{0,n}(\mathbb{R})}$ to multiply the specific diagonal matrices. Also, we construct two subalgebras ${T_4(\mathbb{C})}$ and ${T_2(\mathbb{H})}$ of matrix algebras ${M_4(\mathbb{C})}$ and ${M_2(\mathbb{H})}$ , respectively, which are both isomorphic to the Clifford algebra ${\mathcal{C} \ell_{0,3}}$ , and apply them to obtain the properties related to the Clifford group Γ_0,3.     

Bar Categories and Star Operations

We introduce the notion of ‘bar category’ by which we mean a monoidal category equipped with additional structure formalising the notion of complex conjugation. Examples of our theory include bimodules over a *-algebra, modules over a conventional *-Hopf algebra and modules over a more general object which we call a ‘quasi-*-Hopf algebra’ and for which examples include the standard quantum groups $u_q(\mathfrak{g})$ at q a root of unity (these are well-known not to be usual *-Hopf algebras). We also provide examples of strictly quasiassociative bar categories, including modules over ‘*-quasiHopf algebras’ and a construction based on finite subgroups H???G of a finite group. Inside a bar category one has natural notions of ‘?-algebra’ and ‘unitary object’ therefore extending these concepts to a variety of new situations. We study braidings and duals in bar categories and ?-braided groups (Hopf algebras) in braided-bar categories. Examples include the transmutation B(H) of a quasitriangular *-Hopf algebra and the quantum plane ${\mathbb C}_q^2$ at certain roots of unity q in the bar category of $\widetilde{u_q(su_2)}$ -modules. We use our methods to provide a natural quasi-associative C ^*-algebra structure on the octonions ${\mathbb O}$ and on a coset example. In the Appendix we extend the Tannaka-Krein reconstruction theory to bar categories in relation to *-Hopf algebras.     

A construction of cylindric and polyadic algebras from atomic relation algebras

Given a simple atomic relation algebra ${\mathcal{A}}$ and a finite n ?? 3, we construct effectively an atomic n-dimensional polyadic equality-type algebra ${\mathcal{P}}$ such that for any subsignature L of the signature of ${\mathcal{P}}$ that contains the boolean operations and cylindrifications, the L-reduct of ${\mathcal{P}}$ is completely representable if and only if ${\mathcal{A}}$ is completely representable. If ${\mathcal{A}}$ is finite then so is ${\mathcal{P}}$ . It follows that there is no algorithm to determine whether a finite n-dimensional cylindric algebra, diagonal-free cylindric algebra, polyadic algebra, or polyadic equality algebra is representable (for diagonal-free algebras this was known). We also obtain a new proof that the classes of completely representable n-dimensional algebras of these types are non-elementary, a result that remains true for infinite dimensions if the diagonals are present, and also for infinite-dimensional diagonal-free cylindric algebras.     

Classification of rotational special Weingarten surfaces of minimal type in {\mathbb{S}^2 \times \mathbb{R}} and {\mathbb{H}^2 \times \mathbb{R}}

In this paper we classify the complete rotational special Weingarten surfaces in ${\mathbb{S}^2 \times \mathbb{R}}$ and ${\mathbb{H}^2 \times \mathbb{R}}$ ; i.e. rotational surfaces in ${\mathbb{S}^2 \times \mathbb{R}}$ and ${\mathbb{H}^2 \times \mathbb{R}}$ whose mean curvature H and extrinsic curvature K _e satisfy H = f(H ² ? K _e ), for some function ${f \in \mathcal{C}^1([0,+\infty))}$ such that f(0) = 0 and 4x(f′(x))² < 1 for any x ≥ 0. Furthermore we show the existence of non-complete examples of such surfaces.     

Extended canonical algebras and Fuchsian singularities

The authors introduce a new class of finite dimensional algebras called extended canonical, and determine the shape of their derived categories. Extended canonical algebras arise from a canonical algebra ?? by onepoint extension or coextension by an indecomposable projective module. Our main results concern the case of negative Euler characteristic of the corresponding weighted projective line ${\mathbb{X}}$ ; more specifically we establish, for a base field of arbitrary characteristic, a link to the Fuchsian singularity R of ${\mathbb{X}}$ which for the base field of complex numbers is isomorphic to an algebra of automorphic forms. By means of a recent result of Orlov we show that the triangulated category of the graded singularities of R (in the sense of Buchweitz and Orlov) admits a tilting object whose endomorphism ring is the corresponding extended canonical algebra. Of particular interest are those cases where the attached Coxeter transformation has spectral radius one. A K-theoretic analysis then shows that this happens exactly for 38 cases including Arnold??s 14 exceptional unimodal singularities. The paper is related to recent independent work by Kajiura, Saito and Takahashi.     

The subvariety of commutative residuated lattices represented by twist-products

Given an integral commutative residuated lattice L, the product L × L can be endowed with the structure of a commutative residuated lattice with involution that we call a twist-product. In the present paper, we study the subvariety ${\mathbb{K}}$ of commutative residuated lattices that can be represented by twist-products. We give an equational characterization of ${\mathbb{K}}$ , a categorical interpretation of the relation among the algebraic categories of commutative integral residuated lattices and the elements in ${\mathbb{K}}$ , and we analyze the subvariety of representable algebras in ${\mathbb{K}}$ . Finally, we consider some specific class of bounded integral commutative residuated lattices ${\mathbb{G}}$ , and for each fixed element ${{\bf L} \in \mathbb{G}}$ , we characterize the subalgebras of the twist-product whose negative cone is L in terms of some lattice filters of L, generalizing a result by Odintsov for generalized Heyting algebras.     

Classification of 7-dimensional einstein nilradicals

The problem of classifying Einstein solvmanifolds, or equivalently, Ricci soliton nilmanifolds, is known to be equivalent to a question on the variety $ {\mathfrak{N}_n}\left( \mathbb{C} \right) $ of n-dimensional complex nilpotent Lie algebra laws. Namely, one has to determine which GL _n (?)-orbits in $ {\mathfrak{N}_n}\left( \mathbb{C} \right) $ have a critical point of the squared norm of the moment map. In this paper, we give a classification result of such distinguished orbits for n?=?7. The set $ {{{{\mathfrak{N}_n}\left( \mathbb{C} \right)}} \left/ {{{\text{G}}{{\text{L}}_7}\left( \mathbb{C} \right)}} \right.} $ is formed by 148 nilpotent Lie algebras and 6 one-parameter families of pairwise non-isomorphic nilpotent Lie algebras. We have applied to each Lie algebra one of three main techniques to decide whether it has a distinguished orbit or not.     

Maximal Chains of Copies of the Rational Line

We show that the class of order types of maximal chains in the partial order $\langle E(\mathbb Q)\cup \{\emptyset \}, \subset \rangle$ , where $E(\mathbb Q)$ is the set of all subsets X of the rational line, ${\mathbb Q}$ , such that X with the inherited order is isomorphic to ${\mathbb Q}$ , is exactly the class of order types of compact sets of reals having the minimum non-isolated.     

Laguerre Isopararmetric Hypersurfaces in R^4

Let x : M → Rn be an umbilical free hypersurface with non-zero principal curvatures. Then x is associated with a Laguerre metric g, a Laguerre tensor L, a Laguerre form C , and a Laguerre second fundamental form B which are invariants of x under Laguerre transformation group. A hypersurface x is called Laguerre isoparametric if its Laguerre form vanishes and the eigenvalues of B are constant. In this paper, we classify all Laguerre isoparametric hypersurfaces in R4 .