We prove several results concerning finitely generated submonoids of the free monoid. These results generalize those known for free submonoids. We prove in particular that if $X=Ycirc Z$ is a composition of finite sets of words with $Y$ complete, then $d(X)=d(Y)d(Z)$.
A subbundle of variable dimension inside the tangent bundle of a smooth manifold is called a smooth distribution if it is the pointwise span of a family of smooth vector fields. We prove that all such distributions are finitely generated, meaning that the family may be taken to be a finite collection. Further, we show that the space of smooth sections of such distributions need not be finitely generated as a module over the smooth functions. Our results are valid in greater generality, where the tangent bundle may be replaced by an arbitrary vector bundle.
We study finitely generated models of countable theories, having at most countably many nonisomorphic finitely generated models. We intro- duce a notion of rank of finitely generated models and we prove, when T has at most countably many nonisomorphic finitely generated models, that every finitely generated model has an ordinal rank. This rank is used to give a prop- erty of finitely generated models analogue to the Hopf property of groups and also to give a necessary and sufficient condition for a finitely generated model to be prime of its complete theory. We investigate some properties of limit groups of equationally noetherian groups, in respect to their ranks.
Let R be a commutative ring. If P is a maximal ideal of R whose a power is finitely generated then we prove that P is finitely generated if R is either locally coherent or arithmetical or a polynomial ring over a ring of global dimension $le$ 2. And if P is a prime ideal of R whose a power is finitely generated then we show that P is finitely generated if R is either a reduced coherent ring or a polynomial ring over a reduced arithmetical ring. These results extend a theorem of Roitman, published in 2001, on prime ideals of coherent integral domains.
It is proved that any vertex operator algebra for which the image of the Virasoro element in Zhus algebra is algebraic over complex numbers is finitely generated. In particular, any vertex operator algebra with a finite dimensional Zhus algebra is finitely generated. As a result, any rational vertex operator algebra is finitely generated.
In this paper we investigate finitely generated ideals in the Nevanlinna class. We prove analogues to some known results for the algebra of bounded analytic functions $H^{infty}$. We also show that, in contrast to the $H^{infty}$-case, the stable rank of the Nevanlinna class is strictly bigger than 1.