Submonoids of Polycyclic-by-Finite Groups and their Algebras

We describe Noetherian semigroup algebras K[S] of submonoids S of polycyclic-by-finite groups over a field K. As an application, we show that these algebras are finitely presented and also that they are Jacobson rings. Next we show that every prime ideal P of K[S] is strongly related to a prime ideal of the group algebra of a subgroup of the quotient group of S via a generalised matrix ring structure on K[S]/P. Applications to the classical Krull dimension, prime spectrum, and irreducible K[S]-modules are given.     

Prime Ideals in Algebras Determined by Submonoids of Nilpotent Groups

The prime spectrum of the semigroup algebra K[S] of a submonoid S of a finitely generated nilpotent group is studied via the spectra of the monoid S and of the group algebra K[G] of the group G of fractions of S. It is shown that the classical Krull dimension of K[S] is equal to the Hirsch length of the group G provided that G is nilpotent of class two. This uses the fact that prime ideals of S are completely prime. An infinite family of prime ideals of a submonoid of a free nilpotent group of class three with two generators which are not completely prime is constructed. They lead to prime ideals of the corresponding algebra. Prime ideals of the monoid of all upper triangular n × n matrices with non-negative integer entries are described and it follows that they are completely prime and finite in number.     

Typical representations for orthosymplectic lie superalgebras

In this paper we extend the study of the prime ideal structure of group rings initiated by Gilmer (1974), Brewer-Costa-Lady (1975), and Anderson-Bouvier-Dobbs-Fontana-Kabbaj (1988). Of particular inter-est is the transfer from A to A[G] of certain properties which are linked to the prime spectrum such as S-domain or Jaffard domain. Their study will follow the same lines as the usual approach to the study of prime ideal structure in polynomial rings.     

Semigroup Algebras of Submonoids of Polycyclic-by-Finite Groups and Maximal Orders

Necessary and sufficient conditions are given for a prime Noetherian algebra K[S] of a submonoid S of a polycyclic-by-finite group G to be a maximal order. These conditions are entirely in terms of the monoid S. This extends earlier results of Brown concerned with the group ring case and of the authors for the case where K[S] satisfies a polynomial identity.     

On Monomial Reduction and Polynomial Expressions with Respect to Binomial Ideals

Let I ? K[x ₁,…, x _n ] be an ideal and G be the reduced Gröbner basis of I with respect to lexicographic monomial order. We introduce the index of an expression of f ∈ K[x ₁,…, x _n ] with respect to G. A minimal expression is characterized as the one with zero G-index. In case where I is a binomial prime ideal, a new division algorithm with minimal and unique expression is presented. The application of our new method on benchmark polynomial systems cyclic-9 and cyclic-12 shows its superiority in comparison with the existing division algorithm.     

A procedure to compute prime filtration

Let K be a field, S = K[x ₁, … x _n ] be a polynomial ring in n variables over K and I ⊂ S be an ideal. We give a procedure to compute a prime filtration of S/I. We proceed as in the classical case by constructing an ascending chain of ideals of S starting from I and ending at S. The procedure of this paper is developed and has been implemented in the computer algebra system Singular.     

Chinese Algebras of Rank 3

The structure of the algebra K[M] of the Chinese monoid M of rank 3 over a field K is studied. The minimal prime ideals are described and the classical Krull dimension is computed. It follows that every minimal prime ideal is determined by a homogeneous congruence on M. Moreover, the prime radical is nilpotent and equal to the Jacobson radical. This ideal is not determined by a congruence on M.     

On semidistributive rings

Let S be a non-commutative associative ring with an identity element and G be a finite group of ring automorhphisms of S. By exploiting Morita Theory, a bijection between subsets of SpecS and spec(S^G ) is constructed. This Morita formulation is shown to be equivalent to a much more natural definition of the bijection, one in which the strong relationship between the rings S and S^G is clearly manifest. Indeed, the bijection is shown to have implications for a number of ring-theoretic properties of rings S and S^G . One such property being prime rank. A topological treatment of the bijection using quotient Zariski topologies yields a homeomorphism which exhibits the structural similarities between S and S ^G. The final section is devoted to a special case: charS - q, q prime, and G a q-group. In this case, it is shown that a prime ideal of the skew group ring S*G is uniquely determined by its intersection with R.     

On Nearly S-Permutable Subgroups of Finite Groups

We say that a subgroup H of a finite group G is nearly S-permutable in G if for every prime p such that (p, |H|) = 1 and for every subgroup K of G containing H the normalizer N _K (H) contains some Sylow p-subgroup of K. We study the structure of G under the assumption that some subgroups of G are nearly S-permutable in G.     

Depth of Initial Ideals of Normal Edge Rings

Let G be a finite graph on the vertex set [d] = {1,…, d} with the edges e ₁,…, e _n and K[t] = K[t ₁,…, t _d ] the polynomial ring in d variables over a field K. The edge ring of G is the semigroup ring K[G] which is generated by those monomials t ^e  = t _i t _j such that e = {i, j} is an edge of G. Let K[x] = K[x ₁,…, x _n ] be the polynomial ring in n variables over K, and define the surjective homomorphism π: K[x] → K[G] by setting π(x _i ) = t ^{e _i} for i = 1,…, n. The toric ideal I _G of G is the kernel of π. It will be proved that, given integers f and d with 6 ≤ f ≤ d, there exists a finite connected nonbipartite graph G on [d] together with a reverse lexicographic order <_rev on K[x] and a lexicographic order <_lex on K[x] such that (i) K[G] is normal with Krull-dim K[G] = d, (ii) depth K[x]/in_<rev (I _G ) = f and K[x]/in_<lex (I _G ) is Cohen–Macaulay, where in_<rev (I _G ) (resp., in_<lex (I _G )) is the initial ideal of I _G with respect to <_rev (resp., <_lex) and where depth K[x]/in_<rev (I _G ) is the depth of K[x]/in_<rev (I _G ).     

Plactic algebra of rank 3

The structure of the algebra K[M] of the plactic monoid M of rank 3 over a field K is studied. The minimal prime ideals of K[M] are described. There are only two such ideals and each of them is a principal ideal determined by a homogeneous congruence on M. Moreover, in case K is uncountable and algebraically closed, the left and right primitive spectrum and the corresponding irreducible representations of the algebra K[M] are described. All these representations are monomial. As an application, a new proof of the semiprimitivity of K[M] is given.     

The influence of S-quasinormality of some subgroups of prime power order on the structure of finite groups

Let G be a finite group. Two subgroups H and K of G are said to permute if áH,K? = HK = KH\langle H,K\rangle = HK = KH. A subgroup H of G is S-quasinormal in G if it permutes with every Sylow subgroup of G. In this paper we investigate the influence of S-quasinormality of some subgroups of prime power order of a finite group on its supersolvability.     

Semigroup Algebras and Noetherian Maximal Orders: a Survey

A survey is given on recent results describing when a semigroup algebra K[S] of a submonoid S of a polycyclic-by-finite group is a prime Noetherian maximal order. As an application one constructs concrete classes of finitely presented algebras that have the listed properties. Also some open problems are stated.     

Prime Ideals of Cancellative Semigroups

Abstract

For a class of prime ideals P of a cancellative semigroup S it is shown that the factors S/P have a structure of a monomial semigroup over a group. Consequences for the semigroup algebras K[S] are discussed.     

A topological characterization of the goldman prime spectrum of a commutative ring

A prime ideal p of a commutative ring R is said to be a Goldman ideal (or a G-ideal) if there exists a maximal ideal M of the polynomial ring R[X] such that p = M ∩ R. A topological space is said to be goldspectral if it is homeomorphic to the space Gold(R) of G-ideals of R (Gold(R) is considered as a subspace of the prime spectrum Spec(R) equipped with the Zariski topology). We give here a topological characterization of goldspectral spaces.     

The Recognition of Double Euler Trails in Series-Parallel Networks

Given a series-parallel network (network, for short)N, its dual networkN′ is given by interchanging the series connection and the parallel connection of networkN. We usually use a series-parallel graph to represent a network. LetG[N] andG[N′] be graph representations ofNandN′, respectively. A sequence of edgese₁, e₂,…,e_kis said to form a common trail on (G[N], G[N′]) if it is a trail on bothG[N] andG[N′]. If a common trail covers all of the edges inG[N] andG[N′], it is called adouble Euler trail.However, there are many different graph representations for a network. We say that a networkNhas a double Euler trail (DET) if there is a common Euler trail for someG[N] and someG[N′]. Finding a DET in a network is essential for optimizing the layout area of a complementary CMOS functional cell. Maziasz and Hayes (IEEE Trans. Computer-Aided Design9(1990), 708–719) gave a linear time algorithm for solving the layout problem in fixedG[N] andG[N′] and an exponential algorithm for finding the optimal cover in a network without fixing graph representations. In this paper, we study properties of subnetworks of a DET network. According to these properties, we propose an algorithm that automatically generates the rules for composition of trail cover classes. On the basis of these rules, a linear time algorithm for recognizing DET networks is presented. Furthermore, we also give a necessary and sufficient condition for the existence of a double Euler circuit in a network.     

Unitary units in group algebras

LetK[G] denote the group algebra of the finite groupG over the non-absolute fieldK of characteristic ≠ 2, and let *:K[G] →K[G] be theK-involution determined byg*=g ⁻¹ for allg ∈G. In this paper, we study the group A = A(K[G]) of unitary units ofK[G] and we classify those groupsG for which A contains no nonabelian free group. IfK is algebraically closed, then this problem can be effectively studied via the representation theory ofK[G]. However, for general fields, it is preferable to take an approach which avoids having to consider the division rings involved. Thus, we use a result of Tits to construct fairly concrete free generators in numerous crucial special cases. The first author’s research was supported in part by Capes and Fapesp - Brazil. The second author’s research was supported in part by NSF Grant DMS-9224662.     

The augmentation ideal in group near-rings

The definition of the group near-ring R[G] of the near-ring R over the group G as a near-ring of mappings from R ^(G) to itself is due to Le Riche et al. (Arch Math 52:132–139, 1989). In this paper we consider the augmentation ideal Δ of R[G]. If the exponent of G is not 2, then the structure of ΔR ^(G) is determined in terms of commutators and distributors. This is then used to show that Δ is nilpotent if and only if R is weakly distributive, has characteristic p ⁿ for some prime p and G is a finite p-group for the same prime p.      

Completion of G-spectra and stable maps between classifying spaces

We prove structural theorems for computing the completion of a G-spectrum at the augmentation ideal of the Burnside ring of a finite group G. First we show that a G-spectrum can be replaced by a spectrum obtained by allowing only isotropy groups of prime power order without changing the homotopy type of the completion. We then show that this completion can be computed as a homotopy colimit of completions of spectra obtained by further restricting isotropy to one prime at a time, and that these completions can be computed in terms of completion at a prime.As an application, we show that the spectrum of stable maps from BG to the classifying space of a compact Lie group K splits non-equivariantly as a wedge sum of p-completed suspension spectra of classifying spaces of certain subquotients of G×K. In particular this describes the dual of BG.     

Projective ideals of skew polynomial rings over HNP rings

Let R be an hereditary Noetherian prime ring (or, HNP-ring, for short), and let S?=?R[x;σ] be a skew polynomial ring over R with σ being an automorphism on R. The aim of the paper is to describe completely the structure of right projective ideals of R[x;σ] where R is an HNP-ring and to obtain that any right projective ideal of S is of the form X𝔟[x;σ], where X is an invertible ideal of S and 𝔟 is a σ-invariant eventually idempotent ideal of R.