1. CMB Online first
 Józiak, Paweł

Remarks on Hopf images and quantum permutation groups $S_n^+$
Motivated by a question of A. Skalski and P.M. SoÅtan (2016)
about inner faithfulness of the S. Curran's map of extending
a quantum increasing sequence to a quantum permutation, we revisit
the results and techniques of T. Banica and J. Bichon (2009)
and study some grouptheoretic properties of the quantum permutation
group on $4$ points. This enables us not only to answer the aforementioned
question in positive in case $n=4, k=2$, but also to classify
the automorphisms of $S_4^+$, describe all the embeddings $O_{1}(2)\subset
S_4^+$ and show that all the copies of $O_{1}(2)$ inside $S_4^+$
are conjugate. We then use these results to show that the converse
to the criterion we applied to answer the aforementioned question
is not valid.
Keywords:Hopf image, quantum permutation group, compact quantum group Categories:20G42, 81R50, 46L89, 16W35 

2. CMB Online first
 Lee, TsiuKwen

Adnilpotent elements of semiprime rings with involution
Let $R$ be an $n!$torsion free semiprime ring with
involution $*$ and with extended centroid $C$, where $n\gt 1$ is
a positive integer. We characterize $a\in K$, the Lie algebra
of skew elements in $R$, satisfying $(\operatorname{ad}_a)^n=0$ on $K$. This
generalizes both Martindale and Miers' theorem
and the theorem of Brox et al.
To prove it we
first prove that if $a, b\in R$ satisfy
$(\operatorname{ad}_a)^n=\operatorname{ad}_b$ on
$R$, where either $n$ is even or $b=0$, then
$\big(a\lambda\big)^{[\frac{n+1}{2}]}=0$
for some $\lambda\in C$.
Keywords:Semiprime ring, Lie algebra, Jordan algebra, faithful $f$free, involution, skew (symmetric) element, adnilpotent element, Jordan element Categories:16N60, 16W10, 17B60 

3. CMB 2016 (vol 59 pp. 271)
 DehghaniZadeh, Fatemeh

Artinianness of Composed Graded Local Cohomology Modules
Let $R=\bigoplus_{n\geq0}R_{n}$ be a graded Noetherian ring with
local base ring $(R_{0}, \mathfrak{m}_{0})$ and let
$R_{+}=\bigoplus_{n\gt 0}R_{n}$, $M$ and $N$ be finitely generated
graded $R$modules and $\mathfrak{a}=\mathfrak{a}_{0}+R_{+}$ an ideal of $R$. We
show that $H^{j}_{\mathfrak{b}_{0}}(H^{i}_{\mathfrak{a}}(M,N))$ and $H^{i}_{\mathfrak{a}}(M,
N)/\mathfrak{b}_{0}H^{i}_{\mathfrak{a}}(M,N)$ are Artinian for some $i^{,}s$ and
$j^{,}s$ with a specified property, where $\mathfrak{b}_{o}$ is an ideal
of
$R_{0}$ such that $\mathfrak{a}_{0}+\mathfrak{b}_{0}$ is an $\mathfrak{m}_{0}$primary ideal.
Keywords:generalized local cohomology, Artinian, graded module Categories:13D45, 13E10, 16W50 

4. CMB 2016 (vol 59 pp. 340)
 Kȩpczyk, Marek

A Note on Algebras that are Sums of Two Subalgebras
We study an associative algebra $A$ over an arbitrary field,
that is
a sum of two subalgebras $B$ and $C$ (i.e. $A=B+C$). We show
that if $B$ is a right or left Artinian $PI$ algebra and $C$
is a $PI$ algebra, then $A$ is a $PI$ algebra. Additionally we
generalize this result for semiprime algebras $A$.
Consider the class of
all semisimple finite dimensional algebras $A=B+C$ for some
subalgebras $B$ and $C$ which satisfy given polynomial identities
$f=0$ and $g=0$, respectively.
We prove that all algebras in this class satisfy a common polynomial
identity.
Keywords:rings with polynomial identities, prime rings Categories:16N40, 16R10, , 16S36, 16W60, 16R20 

5. CMB 2016 (vol 59 pp. 258)
 De Filippis, Vincenzo

Annihilators and Power Values of Generalized Skew Derivations on Lie Ideals
Let $R$ be a prime ring of characteristic different from
$2$, $Q_r$ be its right Martindale quotient ring and
$C$ be its extended centroid. Suppose that $F$ is
a generalized skew derivation of $R$, $L$ a noncentral Lie ideal
of $R$, $0 \neq a\in R$,
$m\geq 0$ and $n,s\geq 1$ fixed integers. If
\[
a\biggl(u^mF(u)u^n\biggr)^s=0
\]
for all $u\in L$, then either $R\subseteq M_2(C)$, the ring of
$2\times 2$ matrices over $C$, or $m=0$ and there exists $b\in
Q_r$ such that
$F(x)=bx$, for any $x\in R$, with $ab=0$.
Keywords:generalized skew derivation, prime ring Categories:16W25, 16N60 

6. CMB 2015 (vol 58 pp. 263)
 De Filippis, Vincenzo; Mamouni, Abdellah; Oukhtite, Lahcen

Generalized Jordan Semiderivations in Prime Rings
Let $R$ be a ring, $g$ an endomorphism of $R$.
The additive mapping $d\colon R\rightarrow R$ is called Jordan semiderivation of $R$, associated with $g$, if
$$d(x^2)=d(x)x+g(x)d(x)=d(x)g(x)+xd(x)\quad \text{and}\quad d(g(x))=g(d(x))$$
for all $x\in R$.
The additive mapping $F\colon R\rightarrow R$ is called generalized Jordan semiderivation of $R$, related to the Jordan semiderivation $d$ and endomorphism $g$, if
$$F(x^2)=F(x)x+g(x)d(x)=F(x)g(x)+xd(x)\quad \text{and}\quad F(g(x))=g(F(x))$$
for all $x\in R$.
In the present paper we prove that
if $R$ is a prime ring of characteristic different from $2$, $g$ an endomorphism of $R$, $d$ a Jordan semiderivation associated with $g$, $F$ a generalized Jordan semiderivation associated with $d$ and $g$,
then $F$ is a generalized semiderivation of $R$ and $d$ is a semiderivation of $R.$ Moreover, if $R$ is commutative then $F=d$.
Keywords:semiderivation, generalized semiderivation, Jordan semiderivation, prime ring Category:16W25 

7. CMB 2014 (vol 57 pp. 264)
 Dai, Li; Dong, Jingcheng

On Semisimple Hopf Algebras of Dimension $pq^n$
Let $p,q$ be prime numbers with $p^2\lt q$, $n\in \mathbb{N}$, and $H$ a
semisimple Hopf algebra of dimension $pq^n$ over an algebraically
closed field of characteristic $0$. This paper proves that $H$ must
possess one of the following structures: (1) $H$ is semisolvable;
(2) $H$ is a Radford biproduct $R\# kG$, where $kG$ is the group
algebra of group $G$ of order $p$, and $R$ is a semisimple YetterDrinfeld
Hopf algebra in ${}^{kG}_{kG}\mathcal{YD}$ of dimension $q^n$.
Keywords:semisimple Hopf algebra, semisolvability, Radford biproduct, Drinfeld double Category:16W30 

8. CMB 2013 (vol 57 pp. 506)
 Galindo, César

On Braided and Ribbon Unitary Fusion Categories
We prove that every braiding over a unitary fusion category is
unitary and every unitary braided fusion category admits a unique
unitary ribbon structure.
Keywords:fusion categories, braided categories, modular categories Categories:20F36, 16W30, 18D10 

9. CMB 2012 (vol 57 pp. 51)
 Fošner, Ajda; Lee, TsiuKwen

Jordan $*$Derivations of FiniteDimensional Semiprime Algebras
In the paper, we characterize Jordan $*$derivations of a $2$torsion
free, finitedimensional semiprime algebra $R$ with involution $*$. To
be precise, we prove the theorem: Let $deltacolon R o R$ be a Jordan
$*$derivation. Then there exists a $*$algebra decomposition
$R=Uoplus V$ such that both $U$ and $V$ are invariant under
$delta$. Moreover, $*$ is the identity map of $U$ and $delta,_U$ is a
derivation, and the Jordan $*$derivation $delta,_V$ is inner.
We also prove the theorem: Let $R$ be a noncommutative, centrally
closed prime algebra with involution $*$, $operatorname{char},R
e 2$,
and let $delta$ be a nonzero Jordan $*$derivation of $R$. If $delta$ is
an elementary operator of $R$, then $operatorname{dim}_CRlt infty$ and
$delta$ is inner.
Keywords:semiprime algebra, involution, (inner) Jordan $*$derivation, elementary operator Categories:16W10, 16N60, 16W25 

10. CMB 2012 (vol 56 pp. 584)
 Liau, PaoKuei; Liu, ChengKai

On Automorphisms and Commutativity in Semiprime Rings
Let $R$ be a semiprime ring with center
$Z(R)$. For $x,y\in R$, we denote by $[x,y]=xyyx$ the commutator of
$x$ and $y$. If $\sigma$ is a nonidentity automorphism of $R$ such
that
$$
\Big[\big[\dots\big[[\sigma(x^{n_0}),x^{n_1}],x^{n_2}\big],\dots\big],x^{n_k}\Big]=0
$$
for all $x \in R$, where $n_{0},n_{1},n_{2},\dots,n_{k}$ are fixed
positive integers, then there exists a map $\mu\colon R\rightarrow Z(R)$
such that $\sigma(x)=x+\mu(x)$ for all $x\in R$. In particular, when
$R$ is a prime ring, $R$ is commutative.
Keywords:automorphism, generalized polynomial identity (GPI) Categories:16N60, 16W20, 16R50 

11. CMB 2011 (vol 56 pp. 344)
 Goodaire, Edgar G.; Milies, César Polcino

Involutions and Anticommutativity in Group Rings
Let $g\mapsto g^*$ denote an involution on a
group $G$. For any (commutative, associative) ring
$R$ (with $1$), $*$ extends linearly to an involution
of the group ring $RG$. An element $\alpha\in RG$
is symmetric if $\alpha^*=\alpha$ and
skewsymmetric if $\alpha^*=\alpha$.
The skewsymmetric elements are closed under
the Lie bracket, $[\alpha,\beta]=\alpha\beta\beta\alpha$.
In this paper, we investigate when this set is also closed
under the ring product in $RG$.
The symmetric elements are closed under the Jordan
product, $\alpha\circ\beta=\alpha\beta+\beta\alpha$.
Here, we determine when this product is trivial.
These two problems
are analogues of problems about the skewsymmetric and
symmetric elements in group rings that have received a
lot of attention.
Categories:16W10, 16S34 

12. CMB 2011 (vol 55 pp. 271)
13. CMB 2011 (vol 55 pp. 579)
 Ndogmo, J. C.

Casimir Operators and Nilpotent Radicals
It is shown that a Lie algebra having a nilpotent radical has a
fundamental set of invariants consisting of Casimir operators. A
different proof is given in the well known special case of an
abelian radical. A result relating the number of invariants to the
dimension of the Cartan subalgebra is also established.
Keywords:nilpotent radical, Casimir operators, algebraic Lie algebras, Cartan subalgebras, number of invariants Categories:16W25, 17B45, 16S30 

14. CMB 2011 (vol 55 pp. 260)
 Delvaux, L.; Van Daele, A.; Wang, Shuanhong

A Note on the Antipode for Algebraic Quantum Groups
Recently, Beattie, Bulacu ,and Torrecillas proved Radford's formula for the fourth power of the antipode for a coFrobenius Hopf algebra.
In this note, we show that this formula can be proved for any regular multiplier Hopf
algebra with integrals (algebraic quantum groups). This, of course, not only includes the case of a
finitedimensional Hopf algebra, but also that of any
Hopf algebra with integrals (coFrobenius Hopf algebras). Moreover, it turns out that
the proof in this more general situation, in fact, follows in a few lines from wellknown formulas obtained earlier in the
theory of regular multiplier Hopf algebras with integrals.
We discuss these formulas and their importance in this theory. We also mention their generalizations, in particular to the (in a certain sense) more general theory of locally compact quantum groups. Doing so, and also because the proof of the main result itself is very short, the present note becomes largely of an expository nature.
Keywords:multiplier Hopf algebras, algebraic quantum groups, the antipode Categories:16W30, 46L65 

15. CMB 2011 (vol 55 pp. 208)
16. CMB 2009 (vol 52 pp. 564)
 Jin, Hai Lan; Doh, Jaekyung; Park, Jae Keol

Group Actions on QuasiBaer Rings
A ring $R$ is called {\it quasiBaer} if the right
annihilator of every right ideal of $R$ is generated by an
idempotent as a right ideal. We investigate the quasiBaer
property of skew group rings and fixed rings under a finite group
action on a semiprime ring and their applications to
$C^*$algebras.
Various examples to illustrate and
delimit our results are provided.
Keywords:(quasi) Baer ring, fixed ring, skew group ring, $C^*$algebra, local multiplier algebra Categories:16S35, 16W22, 16S90, 16W20, 16U70 

17. CMB 2009 (vol 52 pp. 39)
 Cimpri\v{c}, Jakob

A Representation Theorem for Archimedean Quadratic Modules on $*$Rings
We present a new approach to noncommutative real algebraic geometry
based on the representation theory of $C^\ast$algebras.
An important result in commutative real algebraic geometry is
Jacobi's representation theorem for archimedean quadratic modules
on commutative rings.
We show that this theorem is a consequence of the
GelfandNaimark representation theorem for commutative $C^\ast$algebras.
A noncommutative version of GelfandNaimark theory was studied by
I. Fujimoto. We use his results to generalize
Jacobi's theorem to associative rings with involution.
Keywords:Ordered rings with involution, $C^\ast$algebras and their representations, noncommutative convexity theory, real algebraic geometry Categories:16W80, 46L05, 46L89, 14P99 

18. CMB 2008 (vol 51 pp. 460)
 Smoktunowicz, Agata

On Primitive Ideals in Graded Rings
Let $R=\bigoplus_{i=1}^{\infty}R_{i}$ be a graded nil ring. It is shown
that primitive ideals in $R$ are homogeneous. Let
$A=\bigoplus_{i=1}^{\infty}A_{i}$ be a graded nonPI justinfinite
dimensional algebra and let $I$ be a prime ideal in $A$. It is shown
that either $I=\{0\}$ or $I=A$. Moreover, $A$ is either primitive or
Jacobson radical.
Categories:16D60, 16W50 

19. CMB 2008 (vol 51 pp. 424)
20. CMB 2008 (vol 51 pp. 81)
 Kassel, Christian

Homotopy Formulas for Cyclic Groups Acting on Rings
The positive cohomology groups of a finite group acting on a ring
vanish when the ring has a norm one element. In this note we give
explicit homotopies on the level of cochains when the group is cyclic,
which allows us to express any cocycle of a cyclic group
as the coboundary of an explicit cochain.
The formulas in this note are closely related to the effective problems considered in previous joint work
with Eli Aljadeff.
Keywords:group cohomology, norm map, cyclic group, homotopy Categories:20J06, 20K01, 16W22, 18G35 

21. CMB 2007 (vol 50 pp. 105)
 Klep, Igor

On Valuations, Places and Graded Rings Associated to $*$Orderings
We study natural $*$valuations, $*$places and graded $*$rings
associated with $*$ordered rings.
We prove that the natural $*$valuation is always quasiOre and is
even quasicommutative (\emph{i.e.,} the corresponding graded $*$ring is
commutative), provided the ring contains an imaginary unit.
Furthermore, it is proved that the graded $*$ring is isomorphic
to a twisted semigroup algebra. Our results are applied to answer a question
of Cimpri\v c regarding $*$orderability of quantum
groups.
Keywords:$*$orderings, valuations, rings with involution Categories:14P10, 16S30, 16W10 

22. CMB 2005 (vol 48 pp. 587)
 Lopes, Samuel A.

Separation of Variables for $U_{q}(\mathfrak{sl}_{n+1})^{+}$
Let $U_{q}(\SL)^{+}$ be the positive part of the quantized enveloping
algebra $U_{q}(\SL)$. Using results of AlevDumas and Caldero related
to the center of $U_{q}(\SL)^{+}$, we show that this algebra is free
over its center. This is reminiscent of Kostant's separation of
variables for the enveloping algebra $U(\g)$ of a complex semisimple
Lie algebra $\g$, and also of an analogous result of JosephLetzter
for the quantum algebra $\Check{U}_{q}(\g)$. Of greater importance to
its representation theory is the fact that $\U{+}$ is free over a
larger polynomial subalgebra $N$ in $n$ variables. Induction from $N$
to $\U{+}$ provides infinitedimensional modules with good properties,
including a grading that is inherited by submodules.
Categories:17B37, 16W35, 17B10, 16D60 

23. CMB 2005 (vol 48 pp. 355)
24. CMB 2003 (vol 46 pp. 14)
25. CMB 2002 (vol 45 pp. 499)
 Bahturin, Yu. A.; Zaicev, M. V.

Group Gradings on Matrix Algebras
Let $\Phi$ be an algebraically closed field of characteristic zero,
$G$ a finite, not necessarily abelian, group. Given a $G$grading on
the full matrix algebra $A = M_n(\Phi)$, we decompose $A$ as the
tensor product of graded subalgebras $A = B\otimes C$, $B\cong M_p
(\Phi)$ being a graded division algebra, while the grading of $C\cong
M_q (\Phi)$ is determined by that of the vector space $\Phi^n$. Now
the grading of $A$ is recovered from those of $A$ and $B$ using a
canonical ``induction'' procedure.
Category:16W50 
