An elementary approach to Wedderburn's structure theory

Wedderburn's theorem on the structure of finite dimensional (semi)simple algebras is proved by using minimal prerequisites.     

Ideal intrinsic extensions with connections to PI-rings

In this paper, we extend various classical results by Armendariz and Steinberg, Fisher, Kaplansky, Martindale, Posner, and Rowen on semiprime PI-rings. We do this by introducing several new generalizations of the class of semiprime PI-rings. For these new classes, some structure theorems are obtained, and connections to arbitrary semiprime rings are made (e.g., a semiprime ring has a largest essentially closed ideal from some of these classes). Numerous examples are provided to illustrate and delimit our results.     

Criteria for a ring to have a left Noetherian left quotient ring

Two criteria are given for a ring to have a left Noetherian left quotient ring (to find a criterion was an open problem since 70's). It is proved that each such ring has only finitely many maximal left denominator sets.     

Primeness property for graded central polynomials of verbally prime algebras

Let F be an infinite field. The primeness property for central polynomials of $M_n(F)$ was established by A. Regev, i.e., if the product of two polynomials in distinct variables is central then each factor is also central. In this paper we consider the analogous property for $M_n(F)$ and determine, within the elementary gradings with commutative neutral component, the ones that satisfy this property, namely the crossed product gradings. Next we consider $M_n(R)$, where R admits a regular grading, with a grading such that $M_n(F)$ is a homogeneous subalgebra and provide sufficient conditions – satisfied by $M_n(E)$ with the trivial grading – to prove that $M_n(R)$ has the primeness property if $M_n(F)$ does. We also prove that the algebras $M_{a,b}(E)$ satisfy this property for ordinary central polynomials. Hence we conclude that, over a field of characteristic zero, every verbally prime algebra has the primeness property.     

Frobenius–Perron theory of modified ADE bound quiver algebras

The Frobenius–Perron dimension for an abelian category was recently introduced in [5]. We apply this theory to the category of representations of the finite-dimensional radical square zero algebras associated to certain modified ADE graphs. In particular, we take an ADE quiver with arrows in a certain orientation and an arbitrary number of loops at each vertex. We show that the Frobenius–Perron dimension of this category is equal to the maximum number of loops at a vertex. Along the way, we introduce a result which can be applied in general to calculate the Frobenius–Perron dimension of a radical square zero bound quiver algebra. We use this result to introduce a family of abelian categories which produce arbitrarily large irrational Frobenius–Perron dimensions.     

On generalized Lie derivations of Lie ideals of prime algebras

Let A be a prime algebra of characteristic not 2 with extended centroid C, let R be a noncentral Lie ideal of A and let B be the subalgebra of A generated by R. If f,d:R→A are linear maps satisfying that

     

Strong commutativity preserving maps on Lie ideals

Let A be a prime ring and let R be a noncentral Lie ideal of A. An additive map f:R→A is called strong commutativity preserving (SCP) on R if [f(x),f(y)]=[x,y] for all x,y∈R. In this paper we show that if f is SCP on R, then there exist λ∈C, λ²=1 and an additive map μ:R→Z(A) such that f(x)=λx+μ(x) for all x∈R where C is the extended centroid of A, unless charA=2 and A satisfies the standard identity of degree 4.     

Strong commutativity preserving maps in prime rings with involution

Let A be a prime ring of characteristic not 2, with center Z(A) and with involution *. Let S be the set of symmetric elements of A. Suppose that f:S→A is an additive map such that [f(x),f(y)]=[x,y] for all x,y∈S. Then unless A is an order in a 4-dimensional central simple algebra, there exists an additive map μ:S→Z(A) such that f(x)=x+μ(x) for all x∈S or f(x)=-x+μ(x) for all x∈S.     

Prime rings with semigroup generalized identity

We show that a prime ring satisfies a nontrivial semigroup generalized identity if and only if its central closure is a primitive ring with nonzero socle and the associated skew field is a field.     

Galois theory for bialgebroids, depth two and normal Hopf subalgebras

We reduce certain proofs in [16, 11, 12] to depth two quasibases from one side only, a minimalistic approach which leads to a characterization of Galois extensions for finite projective bialgebroids without the Frobenius extension property. We prove that a proper algebra extension is a leftT-Galois extension for some right finite projective left bialgebroid over some algebraR if and only if it is a left depth two and left balanced extension. Exchanging left and right in this statement, we have a characterization of right Galois extensions for left finite projective right bialgebroids. Looking to examples of depth two, we establish that a Hopf subalgebra is normal if and only if it is a Hopf-Galois extension. We characterize finite weak Hopf-Galois extensions using an alternate Galois canonical mapping with several corollaries: that these are depth two and that surjectivity of the Galois mapping implies its bijectivity.

---

Sunto Riduciamo alcune prove di [16,11,12] a quasibasi di profondità due da un lato solo, un approccio minimalistico che conduce ad una caratterizzazione di estensioni di Galois per bialgebroidi proietivi finiti senza la proprietà di estensione di Frobenius. Dimostriamo che un'algebra che sia un'estensione propria è un'estensioneT-Galois sinistra per qualche bialgebroide finito proiettivo a sinistra su qualche algebraR se, e solo se, è un'estensione di profondità due a sinistra e bilanciata a sinistra. Scambiando destra e sinistra nell'enunciato, otteniamo una caratterizzazione di estensioni di Galois destre per bialgebroidi finiti proiettivi a destra. Guardando ad esempi di profondità due, otteniamo che una sottoalgebra di Hopf è normale se, e solo se, è un'estensione Hopf-Galois. Caratterizziamo le estensioni Hopf-Galois deboli finite usando un'applicazione canonica di Galois alternativa ottenendo parecchi corollari: queste sono di profondità due e la suriettività dell'applicazione di Galois implica la sua biiettività.

     

A Chebysheff recursion formula for Coxeter polynomials

A polynomial f(T)∈Z[T] is represented by q(T)∈Z[T] if ; f(T) is graphically represented if for χ_M(T) the characteristic polynomial of a symmetric matrix M. Many instances of Coxeter polynomialsf_A(T), for A a finite dimensional algebra, are (graphically) representable. We study the case of extended canonical algebras A, see [H. Lenzing, J.A. de la Peña, Extended canonical algebras and Fuchsian singularities, in press], show that the corresponding polynomials f_A(T) are representable and satisfy a Chebysheff type recursion formula. We get consequences for the eigenvalues of the Coxeter transformation of A showing, for instance, that at most four eigenvalues may lie outside the unit circle.     

On Finitely Annihilated Modules and Artinian Rings

Let R be a ring. An R-module M is finitely annihilated if the annihilator of M is the annihilator of a finite subset of M. It is proved that if R has right socle S then the ring R/S is right Artinian if and only if every singular right R-module is finitely annihilated. Moreover, a right Noetherian ring R is right Artinian if and only if every uniform right R-module is finitely annihilated. In addition, a (right and left) Noetherian ring is (right and left) Artinian if and only if every injective right R-module is finitely annihilated. This paper will form part of the Ph.D. thesis at the University of Glasgow of the second author. He would like to thank the EPSRC for their financial support     

An uncountable family of almost nilpotent varieties of polynomial growth

A non-nilpotent variety of algebras is almost nilpotent if any proper subvariety is nilpotent. Let the base field be of characteristic zero. It has been shown that for associative or Lie algebras only one such variety exists. Here we present infinite families of such varieties. More precisely we shall prove the existence of1) a countable family of almost nilpotent varieties of at most linear growth and2) an uncountable family of almost nilpotent varieties of at most quadratic growth.     

On tame weakly symmetric algebras having only periodic modules

We classify (up to Morita equivalence) all tame weakly symmetric finite dimensional algebras over an algebraically closed field having simply connected Galois coverings, nonsingular Cartan matrices and the stable Auslander-Reiten quivers consisting only of tubes. In particular, we prove that these algebras have at most four simple modules.Received: 25 February 2002     

Degree bounds—An invitation to postmodern invariant theory

This is an invitation to invariant theory of finite groups; a field where methods and results from a wide range of mathematics merge to form a new exciting blend. We use the particular problem of finding degree bounds to illustrate this.     

Ore extensions which are GPI-rings

Let R be a prime ring and δ a σ-derivation of R, where σ is an automorphism of R. It is proved that the skew polynomial ring is a GPI-ring (PI-ring resp.) if and only if R is a GPI-ring (PI-ring resp.), δ is quasi-algebraic, and σ is quasi-inner. If is a GPI-ring then soc , where Q is the symmetric Martindale quotient ring of R and where denotes the extended centroid of . If is a PI-ring, its PI-degree is determined as follows: if δ is X-outer, and if δ is X-inner.     

An analytic approach to purely nonlocal Bellman equations arising in models of stochastic control

Given a bounded domain Ω⊂Rd and two integro-differential operators L¹, L² of the form we study the fully nonlinear Bellman equation

(0.1)