某些半群子范畴中的张量积

半群范畴S中张量积首先在中引入。T∈ob S称为A,B∈ob S的张量积(记为AB),如果存在双同态t:A×B→T(相当于中线性平衡映射),且对于任意双同态s:A×B→C∈ob S总存在唯一的同态μ:T→C,使s-ut。确认了张量积的存在唯一。等引入交换半群、半格等子范畴中的张量积,其定义与上述基本相同,仅将S改为该子范畴,此外该划了一些半群类的张量积。本文在§1从任意半群簇V中张量积与其在S中     

The Braided Monoidal Structures on a Class of Linear Gr-Categories

A linear Gr-category is a category of finite-dimensional vector spaces graded by a finite group together with the natural tensor product. We classify the braided monoidal structures of a class of linear Gr-categories via explicit computations of the normalized 3-cocycles and the quasi-bicharacters of finite abelian groups which are direct product of two cyclic groups.     

A new product construction for partial difference sets

Relatively few constructions are known of negative Latin square type Partial Difference Sets (PDSs), and most of the known constructions are in elementary abelian groups. We present a product construction that produces negative Latin square type PDSs, and we apply this product construction to generate examples in p-groups of exponent bigger than p.     

Duality Maps of Finite Abelian Groups and Their Applications to Spin Models

Duality maps of finite abelian groups are classified. As a corollary, spin models on finite abelian groups which arise from the solutions of the modular invariance equations are determined as tensor products of indecomposable spin models. We also classify finite abelian groups whose Bose-Mesner algebra can be generated by a spin model.     

Model category structures on chain complexes of sheaves

The unbounded derived category of a Grothendieck abelian category is the homotopy category of a Quillen model structure on the category of unbounded chain complexes, where the cofibrations are the injections. This folk theorem is apparently due to Joyal, and has been generalized recently by Beke. However, in most cases of interest, such as the category of sheaves on a ringed space or the category of quasi-coherent sheaves on a nice enough scheme, the abelian category in question also has a tensor product. The injective model structure is not well-suited to the tensor product. In this paper, we consider another method for constructing a model structure. We apply it to the category of sheaves on a well-behaved ringed space. The resulting flat model structure is compatible with the tensor product and all homomorphisms of ringed spaces.

     

On the lower central series of the free nilpotent groups of finite rank

In their article, “On the derived subgroup of the free nilpotent groups of finite rank” R. D. Blyth, P. Moravec, and R. F. Morse describe the structure of the derived subgroup of a free nilpotent group of finite rank n as a direct product of a nonabelian group and a free abelian group, each with a minimal generating set of cardinality that is a given function of n. They apply this result to computing the nonabelian tensor squares of the free nilpotent groups of finite rank. We generalize their main result to investigate the structure of the other terms of the lower central series of a free nilpotent group of finite rank, each again described as a direct product of a nonabelian group and a free abelian group. In order to compute the ranks of the free abelian components and the size of minimal generating sets for the nonabelian components we introduce what we call weight partitions.     

The exponents of nonabelian tensor products of groups

We prove that the exponent of the nonabelian tensor product of two locally finite groups can be bounded in terms of exponents of given groups. Several estimates for the exponents of nonabelian tensor squares are obtained. In particular, if the group G is nilpotent of class ≤3 and of finite exponent, then the exponent of its nonabelian tensor square divides the exponent of G.     

Groups with exponents I. Fundamentals of the theory and tensor completions

We revise R. Lyndon's notion of group with exponents [1]. The advantage of the revised notion is that, in the case of abelian groups, it coincides with the notion of a module over a ring. Meanwhile, the abelian groups with exponents in the sense of Lyndon form a substantially wider class. In what follows we introduce basic notions of the theory of groups with exponents; in particular, we present the key construction in the category of groups with exponents, that of tensor completion.The main results of the article are exposed in [2]; the notions of freeA-group and free product ofA-groups can be found in [3].This work was supported by the Russian Foundation for Fundamental Research (Grant 93-011-1159).Translated fromSibirskiî Matematicheskiî Zhurnal, Vol. 35, No. 5, pp. 1106–1118, September–October, 1994.     

On the Hochschild cohomology ring of tensor products of algebras

We prove that, as Gerstenhaber algebras, the Hochschild cohomology ring of the tensor product of two algebras is isomorphic to the tensor product of the respective Hochschild cohomology rings of these two algebras, when at least one of them is finite dimensional. In case of finite dimensional symmetric algebras, this isomorphism is an isomorphism of Batalin–Vilkovisky algebras. As an application, we explain by examples how to compute the Batalin–Vilkovisky structure, in particular, the Gerstenhaber Lie bracket, over the Hochschild cohomology ring of the group algebra of a finite abelian group.     

Representations of tensor categories with fusion rules of self-duality for abelian groups

The tensor categories with fusion rules of self-duality for abelian groups are modeled on the representations of extraspecial 2-groups. We classify the embeddings of those categories into the category of vector spaces, by which the categories are realized as the representations of Hopf algebras.     

New negative Latin square type partial difference sets in nonelementary abelian 2-groups and 3-groups

A partial difference set having parameters (n ², r(n − 1), n + r ² − 3r, r ² − r) is called a Latin square type partial difference set, while a partial difference set having parameters (n ², r(n + 1), − n + r ² + 3r, r ² + r) is called a negative Latin square type partial difference set. Nearly all known constructions of negative Latin square partial difference sets are in elementary abelian groups. In this paper, we develop three product theorems that construct negative Latin square type partial difference sets and Latin square type partial difference sets in direct products of abelian groups G and G′ when these groups have certain Latin square or negative Latin square type partial difference sets. Using these product theorems, we can construct negative Latin square type partial difference sets in groups of the form where the s _i are nonnegative integers and s ₀ + s ₁ ≥ 1. Another significant corollary to these theorems are constructions of two infinite families of negative Latin square type partial difference sets in 3-groups of the form for nonnegative integers s _i . Several constructions of Latin square type PDSs are also given in p-groups for all primes p. We will then briefly indicate how some of these results relate to amorphic association schemes. In particular, we construct amorphic association schemes with 4 classes using negative Latin square type graphs in many nonelementary abelian 2-groups; we also use negative Latin square type graphs whose underlying sets can be elementary abelian 3-groups or nonelementary abelian 3-groups to form 3-class amorphic association schemes.      

Computing the nonabelian tensor squares of polycyclic groups

In this paper we develop a theory for computing the nonabelian tensor square and related computations for finitely presented groups and specialize it to polycyclic groups. This theory provides a framework for making nonabelian tensor square computations for polycyclic groups and is the basis of an algorithm for computing the nonabelian tensor square for any polycyclic group.     

Tensor inversion and its application to the tensor equations with Einstein product

Recently, the inverse of an even-order square tensor has been put forward in [Brazell M, Li N, Navasca C, Tamon C. Solving multilinear systems via tensor inversion. SIAM J Matrix Anal Appl. 2013;34(2):542–570] by means of the tensor group consisting of even-order square tensors equipped with the Einstein product. In this paper, several necessary and sufficient conditions for the invertibility of a tensor are obtained, and some approaches for calculating the inverse (if it exists) are proposed. Furthermore, the Cramer's rule and the elimination method for solving the tensor equations with the Einstein product are derived. In addition, the tensor eigenvalue problem mentioned in [Qi L-Q. Theory of tensors (hypermatrices). Hong Kong: Department of Applied Mathematics, The Hong Kong Polytechnic University; 2014] can also be addressed by using the elimination method mentioned above. By the way, the LU decomposition and the Schur decomposition of matrices are extended to tensor case. Numerical examples are provided to illustrate the main results.     

Retractability of set theoretic solutions of the Yang-Baxter equation

It is shown that square free set theoretic involutive non-degenerate solutions of the Yang-Baxter equation whose associated permutation group (referred to as an involutive Yang-Baxter group) is abelian are retractable in the sense of Etingof, Schedler and Soloviev. This solves a problem of Gateva-Ivanova in the case of abelian IYB groups. It also implies that the corresponding finitely presented abelian-by-finite groups (called the structure groups) are poly-Z groups. Secondly, an example of a solution with an abelian involutive Yang-Baxter group which is not a generalized twisted union is constructed. This answers in the negative another problem of Gateva-Ivanova. The constructed solution is of multipermutation level 3. Retractability of solutions is also proved in the case where the natural generators of the IYB group are cyclic permutations. Moreover, it is shown that such solutions are generalized twisted unions.     

正定方阵的张量积

给出了正定方阵的合同根概念，并利用它，刻画了多个正定方阵的张量积仍为正定方阵的充要条件．     

On the Howson property of HNN-extensions with abelian base group and amalgamated free products of abelian groups

We give necessary and sufficient conditions under which an HNN-extension with abelian base group or an amalgamated free product of abelian groups is a Howson group (that is the intersection of any two finitely generated subgroups is finitely generated). We describe HNN-extensions and amalgamated free products which are Howson groups without satisfying the Burns–Cohen statements.     

Locally compact abelian groups with symplectic self-duality

Is every locally compact abelian group which admits a symplectic self-duality isomorphic to the product of a locally compact abelian group and its Pontryagin dual? Several sufficient conditions, covering all the typical applications are found. Counterexamples are produced by studying a seemingly unrelated question about the structure of maximal isotropic subgroups of finite abelian groups with symplectic self-duality (where the original question always has an affirmative answer).     

Biquadratic tensors,biquadratic decompositions,and norms of biquadratic tensors

Biquadratic tensors play a central role in many areas of science.Examples include elastic tensor and Eshelby tensor in solid mechanics,and Riemannian curvature tensor in relativity theory.The singular values and spectral norm of a general third order tensor are the square roots of the M-eigenvalues and spectral norm of a biquadratic tensor,respectively.The tensor product operation is closed for biquadratic tensors.All of these motivate us to study biquadratic tensors,biquadratic decomposition,and norms of biquadratic tensors.We show that the spectral norm and nuclear norm for a biquadratic tensor may be computed by using its biquadratic structure.Then,either the number of variables is reduced,or the feasible region can be reduced.We show constructively that for a biquadratic tensor,a biquadratic rank-one decomposition always exists,and show that the biquadratic rank of a biquadratic tensor is preserved under an independent biquadratic Tucker decomposition.We present a lower bound and an upper bound of the nuclear norm of a biquadratic tensor.Finally,we define invertible biquadratic tensors,and present a lower bound for the product of the nuclear norms of an invertible biquadratic tensor and its inverse,and a lower bound for the product of the nuclear norm of an invertible biquadratic tensor,and the spectral norm of its inverse.     

Quasivarieties generated by partially commutative groups

We prove that a partially commutative metabelian group is a subgroup in a direct product of torsion-free abelian groups and metabelian products of torsion-free abelian groups. From this we deduce that all partially commutative metabelian (nonabelian) groups generate the same quasivariety and prevariety. On the contrary, there exists an infinite chain of different quasivarieties generated by partially commutative groups with defining graphs of diameter 2.