Noetherian Semigroup Rings with Several Objects

The aim of this chapter is to give a very brief review of the basic algebraic techniques which form the foundation of invariant theory and of algebraic geometry generally. Beginning in Section 2.1 we introduce Noetherian rings, taking as our point of departure Hilbert's Basis Theorem, which was discovered in the search for a proof of finite generation of rings of invariants. (This result will appear in Chapter 4). In Section 2.2 we prove unique factorisation in polynomial rings, by induction on the number of variables using Gauss's lemma. In Section 2.3 we prove the important fact that in a finitely generated algebra over a field an element contained in all maximal ideals is nilpotent. As we will see in Chapter 3, this observation is really nothing other than Hilbert's Nullstellensatz. A power series ring in one variable is an example of a valuation ring, and we discuss these in Section 2.4. A valuation ring (together with its maximal ideal) is characterised among subrings of its field of fractions as a maximal element with respect to the dominance relation. This will be used in Chapter 3 for proving the Valuative Criterion for completeness of an algebraic variety. In the final section we discuss Nagata's example of a group action under which the ring of invariants which is not finitely generated – that is, his counterexample to Hilbert's 14th problem. This is constructed by taking nine points in general position in the projective plane and considering the existence and non-existence of curves of degree d with assigned multiplicity m at each of the points, and making use of Liouville's Theorem on elliptic functions. Hilbert's Basis Theorem We begin with a discussion of the Basis Theorem, which is the key to Hilbert's theorem of finite generatedness that we will meet in Chapter 4. In Hilbert's original paper [19] the word ideal is not used; and we would like to state the Basis Theorem in a form close to that expressed by Hilbert.

A compactness property of the k-abelian monoids

We study the unification problem for a class of equational theories that comprises important examples like abelian monoids (AC), idempotent abelian monoids (ACI), and abelian groups. Monoidal theories have the common characteristic that unification algorithms are based on solving linear equation systems over a semiring.The close correspondence between unification and linear algebra can be used to characterize the unification type of monoidal theories in purely algebraic terms, and an application of Hilbert's Basis Theorem gives a sufficient criterion for a monoidal theory to be unitary.

The surprising fact that Hilbert's basis theorem in algebra shows identifiabilty of ideals of polynomials in the limit from positive data is derived by the correspondence between ideals and languages in the context of machine learning. This correspondence also reveals the difference between the two and raises new problems to be solved in both of algebra and machine learning. In this article we solve the problem of providing a concrete form of the characteristic set of a union of two polynomial ideals. Our previous work showed that the finite basis of every polynomial ideal is its characteristic set, which ensures that the class of ideals of polynomials is identifiable from positive data. Union or settheoretic sum is a basic set operation, and it could be conjectured that there is some effective method which produces a characteristic set of a union of two polynomial ideals if both of the basis of ideals are given. Unfortunately, we cannot find a previous work which gives a general method for how to find characteristic sets of unions of languages even though the languages are in a class identifiable from positive data. We give methods for computing a characteristic set of the union of two polynomial ideals.

Let B be any nite commutative ring with identity. In this case, B(X; 1 p kZ0) B(X; 1 p 2Z0) B(X; 1 p Z0), where p is a prime number and k 1, is the descending chain of commutative semigroup rings. All these semigroup rings are containing the polynomial ring B(X;Z0). In this paper, we introduced a construction technique of cyclic codes through the semi- group ring B(X; 1 p kZ0) instead of a polynomial ring.

The mini workshop "Arithmetic of group rings" was attended by 16 participants from Belgium, Brazil, Canada, Germany, Hungary, Israel, Italy, Romania and Spain. The expertise was a good mixture between senior and young researchers. It was a very stimulating experience and thesize of the group allowed excellent discussions amongst all participants. Very fruitful were the problem sessions, resulting in the problems listed at the end of this report. The main highlights of the conference were: The complete calculation of the projective Schur subgroup of the Brauer group by Aljadeff and del Rio. Hertweck's solution of the first Zassenhaus conjecture for finite metacyclic groups. the description of special subgroups of the unit group of integral group rings, such as the hypercentre and the finite conjugacy centre, and the relation with respect to the normalizer of the trivial units. discussion of the present state of art via several survey talks presented and the problem sessions The group G determines its integral group ring \mathbb Z G and its group V(\mathbb Z G) of normalized units. Several talks addressed the interplay of the cohomological properties of these three objects. Further topics included twisted group rings, group rings over local rings, polynomial growth and identities, orders and semigroup rings, Lie structure, representation-theoretic and algorithmic methods.

The universal enveloping algebra functor between Leibniz and associative algebras defined by Loday and Pirashvili is extended to crossed modules. We prove that the universal enveloping crossed module of algebras of a crossed module of Leibniz algebras is its natural generalization. Then we construct an isomorphism between the category of representations of a Leibniz crossed module and the category of left modules over its universal enveloping crossed module of algebras. Our approach is particularly interesting since the actor in the category of Leibniz crossed modules does not exist in general, so the technique used in the proof for the Lie case cannot be applied. Finally we move on to the framework of the Loday-Pirashvili category $\mathcal {LM}$ in order to comprehend this universal enveloping crossed module in terms of the Lie crossed modules case.

Homology of twisted quiver bundles with relations

In this article analogues of the Hilbert Basis Theorem, the Artin-Rees Lemma and the Krull Intersection Theorem are shown for modules with ascending chain condition for finite matrix subgroups. The generalized Hilbert Basis Theorem yields an interesting construction principle of C-pure-injective modules over polynomial rings.

The representation of a ring as the ring of all the automorphisms of a primary abelian operator group expresses significant inner properties of this ring, since there exists essentially at most one such representation of a given ring. Thus it is the object of this investigation to expose invariant qualities of these automorphism rings. They are found to be pecularities of their ideal theory (Chapter III); and from these we select a complete set of postulates for the class of all the automorphism rings of primary abelian operator groups (Sections 12 and 13); thus proving incidentally that the structure of these rings is completely determined by their ideal theory (Section 14). The properties of the ideals in these rings reflect so completely the structure of the underlying operator group that we are able to prove-provided the rank of this group is at least three-the essential identity of the group of a-utomorphisms of the ring and of the group of projectivities (= biunivoque and monotone increasing transformations) of the system of admissible subgroups of the underlying operator group (Chapter II). Two [extreme] special cases may serve as an-i illustration for these theorems. Every projective geometry of finite dimension not less than three may be represented as the set of admissible subgroups of a suitable primary abelian operator group; and our characterization of the automorphisms of the automophism ring specializes in this case to the (well known) theorem that each automorphism of the automorphism ring (= ring of square matrices with coefficients from a suitable (not necessarily commutative) field) is induced by a so-called seini-linear transformation. If secondly G is an ordinary primary abelian group with the property that the least common multiple of the orders of the elements in G is a prime power p' and that G contains at least three independent elements of maximum order, then our theorem states that every automorphism of the automorphism ring is an inner auomorphism.

Chapter 7 continues to develop the theory of rings and studies chain conditions for ideals of a ring. The motivation came from an interesting property of the ring of integers Z that its every ascending chain of ideals terminates. This interesting property of Z was first recognized by the German mathematician Emmy Noether (1882–1935). This property leads to the concept of Noetherian rings. On the other hand, Emil Artin (1898–1962) showed that there are some rings in which every infinite descending chain of ideals terminates. Such rings are called Artinian rings. The ring Z has an infinite descending chain of ideals. This property of Z shows that Z is not an Artinian ring. In this chapter special classes of rings are also studied and deeper results on ideal theory are proved. Some finiteness condition for ideals is imposed and Noetherian rings are introduced which are versatile. The most convenient equivalent formulation of the Noetherian requirement is that the ideals of the ring satisfy the ascending chain condition. A connection between a Noetherian domain and a factorization domain is established. Moreover, the Hilbert Basis Theorem is proved. This theorem has made a revolution and has given an extensive class of Noetherian rings. Its application to algebraic geometry is also discussed. The study in this chapter culminates in rings with a descending chain condition for ideals, which determines their ideal structure.

The aim of this thesis is to investigate the circumstances under which group rings over fields have non-zero socle, i.e. contain minimal one-sided ideals. After an introductory chapter, we consider the special case o₊ a periodic abelian group and a non-modular field (that is, a field of characteristic prime to the orders of the elements of the group). This special case, and the background material contained in Chapter III, serve as preparation for our principal results, which concern, locally finite groups. We establish necessary and sufficient conditions on an arbitrary field K and a locally finite group 0 for the group ring KG to contain minimal one-sided ideals: the most important condition is that G should be a Cernikov group. We then examine the structure of KG when these conditions are satisfied. Vie show that KG has a finite series of ideal3 each factor of which i3 a direct sum of quasi-Frobenius rings, and characterize the socle of KG. Me also classify indecomposable KG-modules, and determine (for countable but not necessarily locally finite groups G) necessary and sufficient conditions for all indecomposable KG-modules to be irreducible. In the final chapter we consider non-locally-finite groups, conjecturing that group rings of such groups never contain minimal one-sided ideals. We establish the truth of this conjecture for several classes of groups, and also consider semiartinian group rings.

We define semigroup semirings by analogy with group rings and semigroup rings. We study the arithmetic properties and determine sufficient conditions under which a semigroup semiring is atomic, has finite factorization, or has bounded factorization. We also present a semigroup-semiring analog (although not a generalization) of the Gauss lemma on primitive polynomials.

In this paper, we continue our study of the tensor product structure of category of weight modules over a Hopf–Ore extensions of a group algebra kG, where k is an algebraically closed field of characteristic zero. We first describe the tensor product decomposition rules for all indecomposable weight modules under the assumption that the orders of χ and are different. Then we describe the Green ring of the tensor category . It is shown that is isomorphic to the polynomial algebra over the group ring in one variable when , and that is isomorphic to the quotient ring of the polynomial algebra over the group ring in two variables modulo a principle ideal when . When , is isomorphic to the quotient ring of a skew group ring modulo some ideal, where is a polynomial algebra over in infinitely many variables.

The word problem for inverse monoids presented by one idempotent relator