Dynamical Properties of Additive Cellular Automata over Finite Abelian Groups

Some dynamical properties were discussed for additive cellular automata(CA)over finite abelian groups.These properties include surjection,ergodicity,sensitivity to initial conditions and positive expansivity.Some necessary and sufficient conditions of determining ergodicity and sensitivity of the above additive CA were presented,respectively.A necessary condition for the positive expansivity of the above additive CA was given.The positive expansivity was proved to be preserved under the shift mappings for the general CA.The discussion was mainly based on the structure theorem of the finite abelian groups and the matrix associated with the global rule of the additive CA over the finite abelian p-groups.

Finite p-groups with abelian maximal subgroups generated by two elements

Assume that G is a finite non-abelian p-group.If G has an abelian maximal subgroup whose number of Generators is at least n,then G is called an M_(n)-group.For p=2,M_(2)-groups have been classified.For odd prime p,this paper provides the isomorphism classification of M_(2)-groups,thereby achieving a complete classification of M_(2)-groups.

Splitting Extensions of Abelian by Hyper-(cyclic or finite) Groups (Ⅱ)

Let F be a locally defined formation consisting of locally solvable groups, G a hyper-（ cyclic or finite） locally solvable group and A a noetherian ZG-module with all irreducible ZG-factors being finite. The following conclusion is obtained： if G∈F, f（ ∞ ） include f（p）, f（p） ≠φ for each p∈π, and A has no nonzero F central ZG- images, then any extension E of A by G splits conjugately over A, and A has no nonzero F central ZG-factors.

Canonical Differential Calculi for Finitely Generated Abelian Groups and Their Fermionic Representations

Canonical differential calculi are defined for finitely generated Abelian groups with involutions existing consistently. Two such the canonical calculi are presented. Fermionic representations for canonical calculi are defined based on quantized calculi. Fermionic representations for aforementioned two canonical calculi are searched out.

FINITE p-GROUPS WHICH CONTAIN A SELF-CENTRALIZING CYCLIC NORMAL SUBGROUP

For any prime p, all finite noncyclic p-groups which contain a self-centralizing cyclic normal subgroup are determined by using cohomological techniques. Some applications are given, including a character theoretic description for such groups.

Factorization Numbers of a Class of Finite p-groups

Let p be a prime number and f_2(G) be the number of factorizations G = AB of the group G, where A, B are subgroups of G. Let G be a class of finite p-groups as follows,G = a, b | a^(p^n)= b^(p^m)= 1, a^b= a^(p^(n-1)+1), where n > m ≥ 1. In this article, the factorization number f_2(G) of G is computed, improving the results of Saeedi and Farrokhi in [5].

On the Factorization Numbers of a Class of Finite p-Groups

Let G be a group and A and B be subgroups of G.If G=AB,then G is said to be factorized by A and B.Let p be a prime number.The factorization numbers of a 2-generators abelian p-group and a modular p-group have been determined.Further,suppose that G is a finite p-group as follows G=<a,b|a^(p)^(n)=b^(p)^(m)=1,a^(b)=a^(p^(n-1)+1)>,where n≥2,m≥1.In this paper,the factorization number of G is computed completely,which is a generalization of the result of Saeedi and Farrokhi.

CALCULATION OF THE GIBBS DERIVATIVES ON FINITE ABELIAN GROUPS THROUGH THE DECISION DIAGRAMS

Paper considers the calculation of the values of Gibbs derivatives on finite Abelian groups. The calculation procedure is based upon the decision diagram representation of functions defined on finite Abelian groups. Approach permits processing of large functions.

On Non-commuting Sets in a Finite p-group with Derived Subgroup of Prime Order

Let G be a finite group. A nonempty subset X of G is said to be noncommuting if xy≠yx for any x, y ∈ X with x≠y. If ｜X｜ ≥ ｜Y｜ for any other non-commuting set Y in G, then X is said to be a maximal non-commuting set. In this paper, we determine upper and lower bounds on the cardinality of a maximal non-commuting set in a finite p-group with derived subgroup of prime order.

Periodic Bifurcations in Descendant Trees of Finite <i>p</i>-Groups

Theoretical background and an implementation of the p-group generation algorithm by Newman and O’Brien are used to provide computational evidence of a new type of periodically repeating patterns in pruned descendant trees of finite p-groups.

Weak Isomorphism of Finite Group

On the basis of the quasi-isomorphism of finite groups, a new mapping, weak isomorphism, from a finite group to another finite group is defined. Let G and H be two finite groups and G be weak-isomorphic to H. Then G≌H if G satisfies one of the following conditions. 1） G is a finite Abelian group. 2） The order of G is p^3. 3 ） The order of G is p^n＋1 and G has a cyclic normal subgroup N = 〈a〉 of order p^n. 4） G is a nilpotent group and if p^││G│, then for any P ∈ Sylp （G）, P has a cyclic maximal subgroup, where p is a prime; 5） G is a maximal class group of order p4（p〉3）.

Co-Periodicity Isomorphisms between Forests of Finite <I>p</I>-Groups

Based on a general theory of descendant trees of finite p-groups and the virtual periodicity isomorphisms between the branches of a coclass subtree, the behavior of algebraic invariants of the tree vertices and their automorphism groups under these isomorphisms is described with simple transformation laws. For the tree of finite 3-groups with elementary bicyclic commutator qu-otient, the information content of each coclass subtree with metabelian main-line is shown to be finite. As a striking novelty in this paper, evidence is provided of co-periodicity isomorphisms between coclass forests which reduce the information content of the entire metabelian skeleton and a significant part of non-metabelian vertices to a finite amount of data.

2^(4)p^(2)q^(2)r阶自同构群的有限Abel群G的构造

设p、q、r为互异的奇素数,且p<q<r,G是有限Abel群,A(G)是G的自同构群.对于一个给定的有限群G,其存在唯一确定的自同构群A(G).反之,由自同构群来确定有限群的构造则是一个比较困难的问题.主要讨论了当自同构群的阶为2^(4)p^(2)q^(2)r时,有限Abel群G的全部类型.

The unitary subgroups of group algebras for a class of finite 2-groups with the derived subgroup of order 2

Let p be a prime and F be a finite field of characteristic p.Suppose that FG is the group algebra of the finite p-group G over the field F.Let V(FG)denote the group of normalized units in FG and let V_(*)(FG)denote the unitary subgroup of V(FG).If p is odd,then the order of V_(*)(FG)is|F|^((|G-1)/2).However,the case p=2 still is open.In this paper,the order of V*(FG)is computed when G is a nonabelian 2-group given by a central extension of the form 1→Z_(2^(n))×Z_(2^(m))→G→Z_(2)×…×Z_(2)→1 and G'≌Z_(2),n,m≥1.Furthermore,a conjecture is confirmed,i.e.,the order of V_(*)(FG)can be divisible by|F|^(1/2(|G|+|Ω1(G)|)-1),where Ω_(1)(G)={g∈G|g^(2)=1}.

Finite Abelian Groups of K3 Surfaces with Smooth Quotient

The quotient space of a K3 surface by a finite group is an Enriques surface or a rational surface if it is smooth.Finite groups where the quotient space are Enriques surfaces are known.In this paper,by analyzing effective divisors on smooth rational surfaces,the author will study finite groups which act faithfully on K3 surfaces such that the quotient space are smooth.In particular,he will completely determine effective divisors on Hirzebruch surfaces such that there is a finite Abelian cover from a K3 surface to a Hirzebrunch surface such that the branch divisor is that effective divisor.Furthermore,he will decide the Galois group and give the way to construct that Abelian cover from an effective divisor on a Hirzebruch surface.Subsequently,he studies the same theme for Enriques surfaces.

Finite p-Groups G with H'=G'for Each A2-Subgroup H^(*)

A finite p-group G is called an At-group if t is the minimal non-negative integer such that all subgroups of index pt of G are abelian.The finite p-groups G with H'=G'for all A2-subgroups H of G are classified completely in this paper.As an application,a problem proposed by Berkovich is solved.

Finite p-Groups all of Whose Subgroups of Index p^(3) are Abelian

Suppose that G is a finite p-group.If all subgroups of index p^(t)of G are abelian and at least one subgroup of index p^(t−1)of G is not abelian,then G is called an A_(t)-group.We useA0-group to denote an abelian group.From the definition,we know every finite non-abelian p-group can be regarded as an A_(t)-group for some positive integer t.A_(1)-groups and A_(2)-groups have been classified.Classifying A_(3)-groups is an old problem.In this paper,some general properties about A_(t)-groups are given.A_(3)-groups are completely classified up to isomorphism.Moreover,we determine the Frattini subgroup,the derived subgroup and the center of every A_(3)-group,and give the number of A_(1)-subgroups and the triple(μ_(0),μ_(1),μ_(2))of every A_(3)-group,whereμi denotes the number of A_(i)-subgroups of index p of A_(3)-groups.

Finite p-Groups Whose Abelian Subgroups Have a Trivial Intersection

A subgroup H of a finite group G is called a TI-subgroup if H ∩ H^x = 1 or H for all x ∈ G. In this paper, a complete classification for finite p-groups, in which all abelian subgroups are TI-subgroups, is given.

Two Important Classes of p-groups and the Orders of Their Automorphism Groups

In the paper we obtain two infinite classes of p-groups, calculate the orders of their automorphism groups and correct a mistake（perhaps misprinted） of Rodney James＇ paper in 1980.

Finite p-groups All of Whose Minimal Nonabelian Subgroups are Nonmetacyclic of Order p^3

Assume p is an odd prime. We investigate finite p-groups all of whose minimal nonabelian subgroups are of order p^3. Let P1-groups denote the p-groups all of whose minimal nonabelian subgroups are nonme tacyclic of order p^3. In this paper, the P1-groups are classified, and as a by-product, we prove the Hughes' conjecture is true for the P1-groups.