Factorisation of Lie resolvents

Let G be a group, F a field of prime characteristic p, and V a finite-dimensional FG-module. For each positive integer r, the rth homogeneous component of the free Lie algebra on V is an FG-module called the rth Lie power of V. Lie powers are determined, up to isomorphism, by certain functions Φ^r on the Green ring of FG, called ‘Lie resolvents’. Our main result is the factorisation Φ^pmk=Φ^pm°Φ^k whenever k is not divisible by p. This may be interpreted as a reduction to the key case of p-power degree.     

Similarity classes of3 × 3 matrices over a discrete valuation ring

Let Q be a complete discrete valuation ring. Let Π be a prime element in Q. Write P = ΠQ. For n = 1,2,…, letQ_n be the factor ring Q | Pⁿ. Let G = G1₃(Q_n. Denote by M?_n the G-module of 3 × 3 matrices over Q_n modulo scalar matrices. Canonical forms are found for every element in M?_n, and it is shown that there exist five sets of similarity classes. Some results about the general case of NxN matrices over Q also are proved.     

Intersection theory of algebraic obstructions

Let A be a noetherian commutative ring of dimension d and L be a rank one projectiveA-module. For 1≤r≤d, we define obstruction groups E^r(A,L). This extends the original definition due to Nori, in the case r=d. These groups would be called Euler class groups. In analogy to intersection theory in algebraic geometry, we define a product (intersection) E^r(A,A)×E^s(A,A)→E^r+s(A,A). For a projective A-module Q of rank n≤d, with an orientation , we define a Chern class like homomorphism

w(Q,χ):E^d−n(A,L^′)→E^d(A,LL^′),     

Compatible extensions of nearrings

If R is a zero-symmetric nearring with 1 and G is a faithful R-module, a compatible extension of R is a subnearring S of M ₀(G) containing R such that G is a compatible S-module and the R-ideals and S-ideals of G coincide. The set of these compatible extensions forms a complete lattice and we shall study this lattice. We also will obtain results involving the least element of this lattice related to centralizers and the largest element of this lattice related to uniqueness of minimal factors with an application to 1-affine completeness of the R-module G.     

Graphically abelian groups

We define a group G to be graphically abelian if the function g?g⁻¹ induces an automorphism of every Cayley graph of G. We give equivalent characterizations of graphically abelian groups, note features of the adjacency matrices for Cayley graphs of graphically abelian groups, and show that a non-abelian group G is graphically abelian if and only if G=E×Q, where E is an elementary abelian 2-group and Q is a quaternion group.     

Über gewisseG-stabile Teilmengen in projektiven Räumen

LetG be a connected affine algebraic group over an algebraically closed field of characteristic 0. LetN be a regularG-module andP(N) its projective space. In this article we study those locally closedG-stable subsets ofP(N) which contain in everyG-orbit a fixed point of a maximal unipotent subgroup ofG. Varieties of this type which contain only one closed orbit are classified by “painted monoids”. Necessary and sufficient conditions on a painted monoid are given so that the corresponding variety is smooth.      

On the practical value of the notion ofBN-stability

The oldest concept of unconditional stability of numerical integration methods for ordinary differential systems is that ofA-stability. This concept is related to linear systems having constant coefficients and has been introduced by Dahlquist in 1963. More recently, since another contribution of Dahlquist in 1975, there has been much interest in unconditional stability properties of numerical integration methods when applied to non-linear dissipative systems (G-stability,BN-stability,A-contractivity). Various classes of implicit Runge-Kutta methods have already been shown to beBN-stable. However, contrary to the property ofA-stability, when implementing such a method for practical use this unconditional stability property may be lost. The present note clarifies this for a class of diagonally implicit methods and shows at the same time that Rosenbrock's method is notBN-stable.     

On the strongly closed subgroups or H-subgroups of finite groups

Let G be a finite group. Goldschmidt, Flores, and Foote investigated the concept: Let K ≤ G. A subgroup H of K is called strongly closed in K with respect to G if H ^g ∩ K ≤ H for all g ∈ G. In particular, when H is a subgroup of prime-power order and K is a Sylow subgroup containing it, H is simply said to be a strongly closed subgroup. Bianchi and the others called a subgroup H of G an H-subgroup if N _G (H) ∩ H ^g ≤ H for all g ∈ G. In fact, an H-subgroup of prime power order is the same as a strongly closed subgroup. We give the characterizations of finite non-T-groups whose maximal subgroups of even order are solvable T-groups by H-subgroups or strongly closed subgroups. Moreover, the structure of finite non-T-groups whose maximal subgroups of even order are solvable T-groups may be difficult to give if we do not use normality.     

Derived length and conjugacy class sizes

Let G be a finite solvable group, and let F(G) be its Fitting subgroup. We prove that there is a universal bound for the derived length of G/F(G) in terms of the number of distinct conjugacy class sizes of G. This result is asymptotically best possible. It is based on the following result on orbit sizes in finite linear group actions: If G is a finite solvable group and V a finite faithful irreducible G-module of characteristic r, then there is a universal logarithmic bound for the derived length of G in terms of the number of distinct r^′-parts of the orbit sizes of G on V. This is a refinement of the author's previous work on orbit sizes.     

Abelian group matrices over the p-adic and rational integers

Let G be a finite abelian group of order n. Let Z and Q denote the rational integers and rationals, respectively. A group matrix for G over Z (or Q) is an n-square matrix of the form Σ_{g ∈ G}a_gP(g), where a_g ∈ Z (or Q) and P is the regular representation of G so that P(g) is an n-square permutation matrix and P(gh) = P(g)P(h) for all g, h ∈ G. It is known that if M is an arbitrary positive definite unimodular matrix over Z then there exists a matrix A over Q such that M = A^τA, where τ denotes transposition. This paper proves that the exact analogue of this theorem holds if one demands that M and A be group matrices for G over Z and Q, respectively. Furthermore, if M is a group matrix for G over the p-adic integers then necessary and sufficient conditions are given for the existence of a group matrix A for G over the p-adic numbers such that M = A^τA.     

Arithmetical conditions on the conjugacy vector of a finite group

We get new properties of the numbersr _G(xN) = |{Cl _G (g)|Cl _G (g)∩xN ≠ Ø} (whereG is a finite group andN is a normal subgroup ofG) that are useful in the analysis of the classification of the finite groups according to the number of conjugacy classes.     

Absolute values and real parts for functions in the smirnov class

Let N₊ denote the Smirnov class on the open unit disc D. It is easy to see that for any outer function g in N₊, there exists a function G in N₊ such that |g|; ≤ ReG on δ. We describe such a G. In general, G may not be outer. In this paper, a necessary and sufficient condition on g is given for the existence of an outer function G such that |;g|; < ReG. When g belongs to the Hardy space H¹, G is trivially given as the Herglotz integral of |;g|;.     

The equivalence of L2-stability,the resolvent condition,and strict H-stability

The Kreiss matrix theorem asserts that a family of N × N matrices is L₂-stable if and only if either a resolvent condition (R) or a Hermitian norm condition (H) is satisfied. We give a direct, considerably shorter proof of the power-boundedness of an N × N matrix satisfying (R), sharpening former results by showing that power- boundedness depends, at most, linearly on the dimension N. We also show that L₂-stability is characterized by an H-condition employing a general H-numerical radius instead of the usual H-norm, thus generalizing a sufficient stability criterion, due to Lax and Wendroff.     

On Quasi-Regular Torsion-Free Modules

A torsion-free module is called quasi-regular if each cyclic submodule is a quasi-summand. This article characterizes torsion-free Abelian groups that are quasi-regular as modules over a subring of their endomorphism ring. In particular, if G is a torsion-free Abelian group such that its ring Q E of quasi-endomorphisms is Artinian, then the left E-module G is quasi-regular if and only if the left C-module G is quasi-regular, where C is the center of its endomorphism ring E.     

n-almost prime submodules

Let R be a commutative ring with identity. A proper submodule N of an R-module M will be called prime [resp. n-almost prime], if for r ∈ R and a ∈ M with ra ∈ N [resp. ra ∈ N \ (N: M) ^n?1 N], either a ∈ N or r ∈ (N: M). In this note we will study the relations between prime, primary and n-almost prime submodules. Among other results it is proved that:

1. If N is an n-almost prime submodule of an R-module M, then N is prime or N = (N: M)N, in case M is finitely generated semisimple, or M is torsion-free with dim R = 1.
2. Every n-almost prime submodule of a torsion-free Noetherian module is primary.
3. Every n-almost prime submodule of a finitely generated torsion-free module over a Dedekind domain is prime.
4. There exists a finitely generated faithful R-module M such that every proper submodule of M is n-almost prime, if and only if R is Von Neumann regular or R is a local ring with the maximal ideal m such that m ² = 0.
5. If I is an n-almost prime ideal of R and F is a flat R-module with IF ≠ F, then IF is an n-almost prime submodule of F.

     

On the existence of a free subgroup of finite index

Let G be a finitely generated accessible group. We will study the homology of G with coefficients in the left G-module H¹(G;$\text{Z}$[G]). This G-module may be identified with the G-module of continuous functions with values in $\text{Z}$ on the G-space of ends of G, quotiented by the constant functions. The main result is as follows: Suppose G is infinite, then the abelian group H₁(G;H¹(G;$\text{Z}$[G])) has rank 1 if G has a free subgroup of finite index and it has rank 0 if G has not.     

Main Q-eigenvalues and generalized Q-cospectrality of graphs

Let Q ^G denote the signless Laplacian matrix of a graph G. An eigenvalue μ of Q ^G is said to be a main Q-eigenvalue of G if μ has an eigenvector which is not orthogonal to an all-ones vector e. We give some basic properties of main Q-eigenvalues. For a graph G of order n, G is called Q-controllable if G has n distinct main Q-eigenvalues. We show that a graph H is generalized Q-cospectral with a Q-controllable G if and only if H is Q-controllable and there exists a unique rational orthogonal matrix R such that R _e = e, Q _H = R ^? Q _G R.     

A-stable block implicit one-step methods

A class of methods for solving the initial value problem for ordinary differential equations is studied. We developr-block implicit one-step methods which compute a block ofr new values simultaneously with each step of application. These methods are examined for the property ofA-stability. A sub-class of formulas is derived which is related to Newton-Cotes quadrature and it is shown that for block sizesr=1,2,..., 8 these methods areA-stable while those forr=9,10 are not. We constructA-stable formulas having arbitrarily high orders of accuracy, even stiffly (strongly)A-stable formulas.     

Induced representations and invariant forms

We give an elementary proof that if H is a subgroup of a finite group G and M is a simple ?H-module that admits a nondegenerate H-invariant bilinear form such that the induced module M ^G is simple, then M ^G admits a form of the same type. This situation may occur, in particular, if one is given an imprimitive ?G-module.