Related papers: On order automorphisms of the effect algebra

We give a new simple proof of the decidability of the First Order Theory of (omega^omega^i,+) and the Monadic Second Order Theory of (omega^i,<), improving the complexity in both cases. Our algorithm is based on tree automata and a new…

In the present paper we describe the action of (not necessarily line) bundles of finite order on the $K$-functor in terms of classifying spaces. This description might provide with an approach for more general twistings in $K$-theory than…

Let F_m=F_m(var(sl(2,K))) be the relatively free algebra of rank m in the variety of Lie algebras generated by the algebra sl(2,K) over a field K of characteristic 0. Translating an old result of Baker from 1901 we present a multiplication…

The algebraic monoid structure of an incidence algebra is investigated. We show that the multiplicative structure alone determines the algebra automorphisms of the incidence algebra. We present a formula that expresses the complexity of the…

We present some general theorems about operator algebras that are algebras of functions on sets, including theories of local algebras, residually finite dimensional operator algebras and algebras that can be represented as the scalar…

We study the algebra $\Sigma_n$ induced by the action of the symmetric group $S_n$ on $V^{\otimes n}$ when $\dim V=2$. Our main result is that the space of symmetric elements of $\Sigma_n$ is linearly spanned by the involutions of $S_n$.

We study the plane automorphisms given by polynomials with certain degree decompositions.

We give elementary proofs of the following two theorems on automorphisms of a finite group G: (1) An automorphism of G is inner if and only if it extends to an automorphism of every finite group containing G. (2) There exists a finite…

We determine the group of algebra automorphisms for the two-parameter quantized enveloping algebra $\V$. As an application, we prove that the group of Hopf algebra automorphisms for $\V$ is isomorphic to a torus of rank two.

We investigate finite effect algebras and their classification. We show that an effect algebra with $n$ elements has at least $n-2$ and at most $(n-1)(n-2)/2$ nontrivial defined sums. We characterize finite effect algebras with these…

We prove classification results for the cuspidal automorphic algebraic representations of ${\rm GL}_n$ over $\mathbb{Q}$ ($n$ arbitrary) of small prime conductor and small motivic weight, in the spirit of the works of Chenevier, Lannes and…

We investigate questions related to the notion of recognizability of sequences of morphisms, a generalization of Moss{\'e}'s Theorem. We consider the most general class of morphisms including ones with erasable letters. The main result…

Let $G$ be a finitely generated group with polynomial growth, and let $\om$ be a weight, i.e. a sub-multiplicative function on $G$ with positive values. We study when the weighted group algebra $\ell^1(G,\om)$ is isomorphic to an operator…

For $a,b\geq 3$, we calculate the orders of automorphisms of smooth curves with bidegree $(a,b)$ in the product $\pp$ of the projective line $\mathbb P^1$. We identify smooth curves in $\pp$ which have automorphisms with the largest orders.…

We calculate the autocorrelation functions (or shifted moments) of the characteristic polynomials of matrices drawn uniformly with respect to Haar measure from the groups U(N), O(2N) and USp(2N). In each case the result can be expressed in…

The long-standing identification problem for causal effects in graphical models has many partial results but lacks a systematic study. We show how computer algebra can be used to either prove that a causal effect can be identified,…

We prove that every automorphism of the restricted root system of a real semisimple Lie algebra -- when defined properly -- can be lifted to an automorphism of that Lie algebra. In particular, this can be applied to automorphisms of the…

Among the mutation finite cluster algebras the tubular ones are a particularly interesting class. We show that all tubular (simply laced) cluster algebras are of exponential growth by two different methods: first by studying the…

In this paper new equivalence relations on the category $Mod(A)$ for any associative algebra $A$ and several related results are given. The new equivalence relations are defined using restrictions to subalgebras and the action of algebra…

The lattice vertex operator algebra $V_L$ associated to a positive definite even lattice $L$ has an automorphism of order 2 lifted from -1-isometry of $L$. We prove that for the fixed point vertex operator algebra $V_L^+$, any…