Skew G-codes

We describe skew [Formula: see text]-codes, which are codes that are the ideals in a skew group ring, where the ring is a finite commutative Frobenius ring and [Formula: see text] is an arbitrary finite group. These codes generalize many of the well-known classes of codes such as cyclic, quasicyclic, constacyclic codes, skew cyclic, skew quasicyclic and skew constacyclic codes. Additionally, using the skew [Formula: see text]-matrices, we can generalize almost all the known constructions in the literature for self-dual codes.

Composite matrices from group rings, composite G-codes and constructions of self-dual codes

In this work, we define composite matrices which are derived from group rings. We extend the idea of G-codes to composite G-codes. We show that these codes are ideals in a group ring, where the ring is a finite commutative Frobenius ring and G is an arbitrary finite group. We prove that the dual of a composite G-code is also a composite G-code. We also define quasi-composite G-codes. Additionally, we study generator matrices, which consist of the identity matrices and the composite matrices. Together with the generator matrices, the well known extension method, the neighbour method and its generalization, we find extremal binary self-dual codes of length 68 with new weight enumerators for the rare parameters $$\gamma =7,8$$ γ = 7 , 8 and 9. In particular, we find 49 new such codes. Moreover, we show that the codes we find are inaccessible from other construction

G-codes, self-dual G-codes and reversible G-codes over the ring ${\mathscr{B}}_{j,k}$

In this work, we study a new family of rings, ${\mathscr{B}}_{j,k}$ B j , k , whose base field is the finite field ${\mathbb {F}}_{p^{r}}$ F p r . We study the structure of this family of rings and show that each member of the family is a commutative Frobenius ring. We define a Gray map for the new family of rings, study G-codes, self-dual G-codes, and reversible G-codes over this family. In particular, we show that the projection of a G-code over ${\mathscr{B}}_{j,k}$ B j , k to a code over ${\mathscr{B}}_{l,m}$ B l , m is also a G-code and the image under the Gray map of a self-dual G-code is also a self-dual G-code when the characteristic of the base field is 2. Moreover, we show that the image of a reversible G-code under the Gray map is also a reversible $G^{2^{j+k}}$ G 2 j + k -code. The Gray images of these codes are shown to have a rich automorphism group which arises from the algebraic structure of the rings and the groups. Finally, we show that quasi-G codes, which are the images of G-codes under the Gray map, are also Gs-codes for some s.

Notes on quasi-Frobenius rings

We give some new characterizations of quasi-Frobenius rings. Namely, we prove that for a ring R, the following statements are equivalent: (1) R is a quasi-Frobenius ring, (2) {M_{2}(R)} is right Johns and every closed left ideal of R is cyclic, (3) R is a left 2-simple injective left Kasch ring with ACC on left annihilators, (4) R is a left 2-injective semilocal ring such that {R/S_{l}} is left Goldie, (5) R is a right YJ-injective right minannihilator ring with ACC on right annihilators.

Comorphic rings

A ring [Formula: see text] is called left comorphic if, for each [Formula: see text] there exists [Formula: see text] such that [Formula: see text] and [Formula: see text] Examples include (von Neumann) regular rings, and [Formula: see text] for a prime [Formula: see text] and [Formula: see text] One motivation for studying these rings is that the comorphic rings (left and right) are just the quasi-morphic rings, where [Formula: see text] is left quasi-morphic if, for each [Formula: see text] there exist [Formula: see text] and [Formula: see text] in [Formula: see text] such that [Formula: see text] and [Formula: see text] If [Formula: see text] here the ring is called left morphic. It is shown that [Formula: see text] is left comorphic if and only if, for any finitely generated left ideal [Formula: see text] there exists [Formula: see text] such that [Formula: see text] and [Formula: see text] Using this, we characterize when a left comorphic ring has various properties, and show that if [Formula: see text] is local with nilpotent radical, then [Formula: see text] is left comorphic if and only if it is right comorphic. We also show that a semiprime left comorphic ring [Formula: see text] is semisimple if either [Formula: see text] is left perfect or [Formula: see text] has the ACC on [Formula: see text] After a preliminary study of left comorphic rings with the ACC on [Formula: see text] we show that a quasi-Frobenius ring is left comorphic if and only if every right ideal is principal; if and only if every left ideal is a left principal annihilator. We characterize these rings as follows: The following are equivalent for a ring [Formula: see text] [Formula: see text] is quasi-Frobenius and left comorphic. [Formula: see text] is left comorphic, left perfect and right Kasch. [Formula: see text] is left comorphic, right Kasch, with the ACC on [Formula: see text] [Formula: see text] is left comorphic, left mininjective, with the ACC on [Formula: see text] Some examples of these rings are given.

On Semi-Primary Self-Injective Rings and Faith's Quasi-Frobenius Conjecture

A long-standing conjecture of Faith in ring theory states that a left self-injective semi-primary ring A is necessarily a quasi-Frobenius ring. We propose a new method for approaching this conjecture, and prove it under some mild conditions; we show that if the simple A-modules are at most countably generated over a subring of the centre of A, then the conjecture holds. Also, the conjecture holds for algebras A over sufficiently large fields, i.e. if the cardinality of is larger than the dimension of the simple A-modules (or of A/Jac(A)). This effectively proves the conjecture in many situations, and we obtain several previously known results on this problem as a consequence.

ON HOMOLOGICAL FROBENIUS COMPLEXES AND BIMODULES

We introduce the concept of homological Frobenius functors as the natural generalization of Frobenius functors in the setting of triangulated categories, and study their structure in the particular case of the derived categories of those of complexes and modules over a unital associative ring. Tilting complexes (modules) are examples of homological Frobenius complexes (modules). Homological Frobenius functors retain some of the nice properties of Frobenius ones as the ascent theorem for Gorenstein categories. It is shown that homological Frobenius ring homomorphisms are always Frobenius.

PROPERTIES OF INJECTIVE HULLS OF A RING HAVING A COMPATIBLE RING STRUCTURE

If the injective hull E = E(RR) of a ring R is a rational extension of RR, then E has a unique structure as a ring whose multiplication is compatible with R-module multiplication. We give some known examples where such a compatible ring structure exists when E is a not a rational extension of RR, and other examples where such a compatible ring structure on E cannot exist. With insights gleaned from these examples, we study compatible ring structures on E, especially in the case when ER, and hence RR ⊆ ER, has finite length. We show that for RR and ER of finite length, if ER has a ring structure compatible with R-module multiplication, then E is a quasi-Frobenius ring under that ring structure and any two compatible ring structures on E have left regular representations conjugate in Λ = EndR(ER), so the ring structure is unique up to isomorphism. We also show that if ER is of finite length, then ER has a ring structure compatible with its R-module structure and this ring structure is unique as a set of left multiplications if and only if ER is a rational extension of RR.

ON PLOTKIN-OPTIMAL CODES OVER FINITE FROBENIUS RINGS

We study the Plotkin bound for codes over a finite Frobenius ring R equipped with the homogeneous weight. We show that for codes meeting the Plotkin bound, the distribution on R induced by projection onto a coordinate has an interesting property. We present several constructions of codes meeting the Plotkin bound and of Plotkin-optimal codes. We also investigate the relationship between Butson–Hadamard matrices and codes over R meeting the Plotkin bound.

Modules which are invariant under monomorphisms of their injective hulls

In this paper certain injectivity conditions in terms of extensions of monomorphisms are considered. In particular, it is proved that a ring R is a quasi-Frobenius ring if and only if every monomorphism from any essential right ideal of R into R(N)R can be extended to RR. Also, known results on pseudo-injective modules are extended. Dinh raised the question if a pseudo-injective CS module is quasi-injective. The following results are obtained: M is quasi-injective if and only if M is pseudo-injective and M2 is CS. Furthermore, if M is a direct sum of uniform modules, then M is quasi-injective if and only if M is pseudo-injective. As a consequence of this it is shown that over a right Noetherian ring R, quasi-injective modules are precisely pseudo-injective CS modules.