一致空间上非自治系统的Banks定理

研究一致空间上非自治系统的敏感性,证明了定义在无限Hausdorff一致空间上有限生成的非自治系统满足拓扑传递性、周期点稠密以及存在两个不相交的不变周期点是初值敏感依赖的.从而推广了经典的Banks定理以及Li和Yang在2018年的一个结果.     

Equimorphy in varieties of distributive double p-algebras

Any finitely generated regular variety V of distributive double p-algebras is finitely determined, meaning that for some finite cardinal n(V), any subclass S V of algebras with isomorphic endomorphism monoids has fewer than n(V) pairwise non-isomorphic members. This result follows from our structural characterization of those finitely generated almost regular varieties which are finitely determined. We conjecture that any finitely generated, finitely determined variety of distributive double p-algebras must be almost regular.     

Module valuations and representation theory of orders I: Algebraic aspects

ABSTRACT

In this article, we study finitely generated reflexive modules over coherent GCD-domains and finitely generated projective modules over polynomial rings. In particular, we give a sufficient condition for a finitely generated reflexive module over a coherent GCD-domain to be a free module. By use of this result, we prove that every finitely generated projective R + [X]-module can be extended from R if R is a commutative ring with gl.dim(R) ≤ 2.     

Finitely presented and coherent ordered modules and rings

We extend the usual definition of coherence, for modules over rings, to partially ordered right modules over a large class of partially ordered rings, called po-rings. In this situation, coherence is equivalent to saying that solution sets of finite systems of inequalities are finitely generated semimodules. Coherence for ordered rings and modules, which we call po-coherence, has the following features:.

(i) Every subring of Q, and every totally ordered division ring, is po-coherent.

(ii) For a partially ordered right module Aover a po-coherent poring R Ais po-coherent if and only if Ais a finitely presented .R-module and A ⁺is a finitely generated R ⁺-semimodule.

(iii) Every finitely po-presented partially ordered right module over a right po-coherent po-ring is po-coherent.

(iv) Every finitely po-presented abelian lattice-ordered group is po-coherent.     

Categoricity of finitely generated algebraic systems in HF-logic

The article inquires into the problem of whether or not finitely generated algebraic systems are categorical in HF-logic. A system A is called HF-categorical if, for any system B, A _HF B implies A B. The main result is the construction of models, an associative ring in particular, which are finitely generated but not categorical in HF-logic. Finitely generated systems with arithmetic diagrams are all HF-categorical. Starting with hyperarithmetic level, however, there are systems which are HF-categorical and which are not. Translated fromAlgebra i Logika, Vol. 34, No. 1, pp. 12–32, January–February, 1995.     

The subring generated by the units in a compact ring

ABSTRACT

In this paper, the authors introduce the concept of integrally closed modules and characterize Dedekind modules and Dedekind domains. They also show that a given domain R is integrally closed if and only if a finitely generated torsion-free projective R-module is integrally closed. In addition, it is proved that any invertible submodule of a finitely generated projective module over a domain is finitely generated and projective. Also they give the equivalent conditions for Dedekind modules and Dedekind domains.

     

On Hereditary Coreflective Subcategories of Top

Let A be a topological space which is not finitely generated and CH(A) denote the coreflective hull of A in Top. We construct a generator of the coreflective subcategory SCH(A) consisting of all subspaces of spaces from CH(A) which is a prime space and has the same cardinality as A. We also show that if A and B are coreflective subcategories of Top such that the hereditary coreflective kernel of each of them is the subcategory FG of all finitely generated spaces, then the hereditary coreflective kernel of their join CH(AB) is again FG.     

Geometric Models for Quasicrystals I. Delone Sets of Finite Type

This paper studies three classes of discrete sets X in ⁿ which have a weak translational order imposed by increasingly strong restrictions on their sets of interpoint vectors X-X . A finitely generated Delone set is one such that the abelian group [X-X] generated by X-X is finitely generated, so that [X-X] is a lattice or a quasilattice. For such sets the abelian group [X] is finitely generated, and by choosing a basis of [X] one obtains a homomorphism . A Delone set of finite type is a Delone set X such that X-X is a discrete closed set. A Meyer set is a Delone set X such that X-X is a Delone set. Delone sets of finite type form a natural class for modeling quasicrystalline structures, because the property of being a Delone set of finite type is determined by ``local rules.' That is, a Delone set X is of finite type if and only if it has a finite number of neighborhoods of radius 2R , up to translation, where R is the relative denseness constant of X . Delone sets of finite type are also characterized as those finitely generated Delone sets such that the map ϕ satisfies the Lipschitz-type condition ||ϕ (x) - ϕ (x')|| < C ||x - x'|| for x, x' ∈X , where the norms || . . . || are Euclidean norms on ^s and ⁿ , respectively. Meyer sets are characterized as the subclass of Delone sets of finite type for which there is a linear map and a constant C such that ||ϕ (x) - (x)|| for all x∈X . Suppose that X is a Delone set with an inflation symmetry, which is a real number η > 1 such that . If X is a finitely generated Delone set, then η must be an algebraic integer; if X is a Delone set of finite type, then in addition all algebraic conjugates | η ' | η; and if X is a Meyer set, then all algebraic conjugates | η ' | 1. Received May 9, 1997, and in revised form March 5, 1998.     

Orbit equivalence for Cantor minimal ℤ d -systems

We show that every minimal action of any finitely generated abelian group on the Cantor set is (topologically) orbit equivalent to an AF relation. As a consequence, this extends the classification up to orbit equivalence of minimal dynamical systems on the Cantor set to include AF relations and ? ^d -actions.     

The grothendieck group of the category of modules of finite projective dimension over certain weakly triangular algebras

In this paper we study the category of finitely generated modules of finite projective dimension over a class of weakly triangular algebras, which includes the algebras whose idempotent ideals have finite projective dimension. In particular, we prove that the relations given by the (relative) almost split sequences generate the group of all relations for the Grothendieck group of P ^<∞(Λ) if and only if P ^<∞(Λ) is of finite type. A similar statement is known to hold for the category of all finitely generated modules over an artin algebra, and was proven by C.M.Butler and M. Auslander ( [B] and [A]).     

Invariants of the action of a semisimple finite-dimensional Hopf algebra on special algebras

In this paper we extend classical results of the invariant theory of finite groups to the action of a finite-dimensional semisimple Hopf algebra H on a special algebra A, which is homomorphically mapped onto a commutative integral domain, and the kernel of this map contains no nonzero H-stable ideals. We prove that the algebra A is finitely generated as a module over a subalgebra of invariants, and the latter is finitely generated as a k-algebra. We give a counterexample to the finite generation of a non-semisimple Hopf algebra.     

On infinite tournaments with regular automorphism groups

Atournament regular representation (TRR) of an abstract groupG is a tournamentT whose automorphism group is isomorphic toG and is a regular permutation group on the vertices ofT. L. Babai and W. Imrich have shown that every finite group of odd order exceptZ ₃ ×Z ₃ admits a TRR. In the present paper we give several sufficient conditions for an infinite groupG with no element of order 2 to admit a TRR. Among these are the following: (1)G is a cyclic extension byZ of a finitely generated group; (2)G is a cyclic extension byZ _2n+1 of any group admitting a TRR; (3)G is a finitely generated abelian group; (4)G is a countably generated abelian group whose torsion subgroup is finite.     

On finitely generated multiplication modules

We shall prove that if M is a finitely generated multiplication module and Ann(M) is a finitely generated ideal of R, then there exists a distributive lattice M such that Spec(M) with Zariski topology is homeomorphic to Spec(M) to Stone topology. Finally we shall give a characterization of finitely generated multiplication R-modules M such that Ann(M) is a finitely generated ideal of R.     

Coherent Continuation on the Category of (𝔤, K)-Modules

Abstract

Let 𝔤 be a complex semisimple Lie algebra. Let K be an algebraic group acting on the flag variety of 𝔤 with finitely many orbits. We give a geometric interpretation of the coherent continuation on the category of finitely generated (𝔤, K )-modules in terms of the intertwining functors on the category of K-equivariant 𝒟-modules.     

FINITENESS OF HILBERT FUNCTIONS FOR GENERALIZED COHEN–MACAULAY MODULES

We give effective bounds on the higher Hilbert coefficients of finitely generated modules over Noetherian local rings (A, m) with respect to m-primary ideals, in terms of the multiplicity, dimension and the lengths of local cohomology modules. We similarly bound the Castelnuovo–Mumford regularity of the associated Rees modules.     

Generalizations of projectivity and supplements revisited for superfluous ideals

We (re)introduce four ideal-related generalizations of classic module-theoretic notions: the ideal-superfluity, projective ideal-covers, the ideal-projectivity, and ideal-supplements. For a superfluous ideal I, the main theorem asserts the equivalence between the conditions: “I-supplements are direct summands in finitely generated projective modules”; “finitely generated I-projective modules are projective”; “projective modules with finitely generated factors modulo I are finitely generated”; “finitely generated flat modules with projective factors modulo I are projective.” Moreover, we provide a property of the ideal I which is sufficient for the equivalence to hold true. The property is expressed in terms of idempotent-lifting in matrix rings.     

IDEAL DETERMINED VARIETIES HAVE UNBOUNDED DEGREES OF PERMUTABILITY

Abstract

It is proved that for every integer n ≥ 2, there is a (finitely generated congruence distributive) ideal determined variety that is congruence (n + 1)-permutable but not congruence n-permutable. This answers a question of Gumm and Ursini.     

Projectivized Rank Two Toric Vector Bundles are Mori Dream Spaces

We prove that the Cox ring of the projectivization P(?) of a rank two toric vector bundle ?, over a toric variety X, is a finitely generated k-algebra. As a consequence, P(?) is a Mori dream space if the toric variety X is projective and simplicial.     

On Finite Presentability of Direct Products of Semigroups

A finite semigroup S is said to preserve finite generation (resp., presentability) in direct products, provided that, for every infinite semigroup T, the direct product S × T is finitely generated (resp., finitely presented) if and only if T is finitely generated (resp., finitely presented). The main result of this paper is a constructive necessary and sufficient condition for S to preserve both finite generation and presentability in direct products. The condition is that certain graphs, (s), one for each s S, are all connected. The main result is illustrated in three examples, one of which exhibits a 4-element semigroup that preserves finite generation but not finite presentability in direct products.1991 Mathematics Subject Classification: 20M05, 05C25The first author is financially supported by the Sub-Programa Ciência e Tecnologia do 2° Quadro Comunitário de Apoio (grant number BD/ 15623/98). The author also acknowledges the support of the Centro de Álgebra da Universidade de Lisboa and of the Projecto Praxis 2/2.1/MAT/73/94. The second author acknowledges partial financial support from the Nuffield Foundation.