For finite groups $X$, $G$ and the right $G$-action on $X$ by group automorphisms, the non-balanced quantum double $D(X;G)$ is defined as the crossed product ${\left(ℂX^{\mathrm{op}}\right)}^{*}⋊ℂG$. We firstly prove that $D(X;G)$ is a finite-dimensional Hopf $C^{*}$-algebra. For any subgroup $H$ of $G$, $D(X;H)$ can be defined as a Hopf $C^{*}$-subalgebra of $D(X;G)$ in the natural way. Then there is a conditonal expectation from $D(X;G)$ onto $D(X;H)$ and the index is $[G;H]$. Moreover, we prove that an associated natural inclusion of non-balanced quantum doubles is the crossed product by the group algebra....

Starting from an arbitrary ring R we provide a systematic construction of ℤ/nℤ-graded rings A which are Frobenius extensions of R, and show that under mild assumptions, A is an Auslander-Gorenstein local ring if and only if so is R.

Let K be a field of characteristic p > 0, K* the multiplicative group of K and $G=G_p\times B$ a finite group, where $G_p$ is a p-group and B is a p’-group. Denote by $K^{\lambda }G$ a twisted group algebra of G over K with a 2-cocycle λ ∈ Z²(G,K*). We give necessary and sufficient conditions for G to be of OTP projective K-representation type, in the sense that there exists a cocycle λ ∈ Z²(G,K*) such that every indecomposable $K^{\lambda }G$-module is isomorphic to the outer tensor product V W of an indecomposable $K^{\lambda }{G}_p$-module V and a simple...

Let S be a commutative complete discrete valuation domain of positive characteristic p, S* the unit group of S, Ω a subgroup of S* and $G=G_p\times B$ a finite group, where $G_p$ is a p-group and B is a p’-group. Denote by $S^{\lambda }G$ the twisted group algebra of G over S with a 2-cocycle λ ∈ Z²(G,S*). For Ω satisfying a specific condition, we give necessary and sufficient conditions for G to be of OTP projective (S,Ω)-representation type, in the sense that there exists a cocycle λ ∈ Z²(G,Ω) such that every indecomposable...

Let G be a finite group, K a field of characteristic p > 0, and $K^{\lambda }G$ the twisted group algebra of G over K with a 2-cocycle λ ∈ Z²(G,K*). We give necessary and sufficient conditions for $K^{\lambda }G$ to be of semi-wild representation type in the sense of Drozd. We also introduce the concept of projective K-representation type for a finite group (tame, semi-wild, purely semi-wild) and we exhibit finite groups of each type.

Les « groupes totaux » sont les groupes pour lesquels la dimension du centre l’algèbre des invariants d’une algèbre simple centrale ${𝔄}_f$ associée à un $2$-cocycle $f\in {\text{Z}}^2(\text{Gal}(L/k),L^{*})$ sous l’action d’un relevé de l’action galoisienne à ${𝔄}_f$ est constante quels que soient $k$ et $f$. Dans cet article, nous montrons que les groupes quasi-CC (qui sont les groupes de centre cyclique et dont les centralisateurs des éléments hors du centre sont cycliques) sont totaux. Les groupes de type CC qui sont les groupes quasi-CC à centre trivial...

Let R be a complete discrete valuation ring with quotient field K, L/K be a Galois extension with Galois group G and S be the integral closure of R in L. If a is a factor set of G with values in the group of units of S, then (L/K,a) (resp. Λ =(S/R,a)) denotes the crossed product K-algebra (resp. crossed product R -order in A). In this paper hermitian and quadratic forms on Λ -lattices are studied and the existence of at most two irreducible non-singular quadratic Λ -lattices is proved (Theorem 3.5)....

Let A be a k-algebra and G be a group acting on A. We show that G also acts on the Hochschild cohomology algebra HH ⊙ (A) and that there is a monomorphism of rings HH ⊙ (A) G→HH ⊙ (A[G]). That allows us to show the existence of a monomorphism from HH ⊙ (Ã) G into HH ⊙ (A), where à is a Galois covering with group G.

We give conditions for the skew group ring S * G to be strongly separable and H-separable over the ring S. In particular we show that the H-separability is equivalent to S being central Galois extension. We also look into the H-separability of the ring S over the fixed subring R under a faithful action of a group G. We show that such a chain: S * G H-separable over S and S H-separable over R cannot occur, and that the centralizer of R in S is an Azumaya algebra in the presence of a central element...