scholarly journals Bounded endomorphisms of free P-algebras

1992 ◽  
Vol 34 (2) ◽  
pp. 209-214
Author(s):  
Daniel Ševčovič

The present note deals with bounded endomorphisms of free p-algebras (pseudocomplemented lattices). The idea of bounded homomorphisms was introduced by R. McKenzie in [8]. T. Katriňák [5] subsequently studied the properties of bounded homomorphisms for the varieties of p-algebras. This concept is also an efficient tool for the characterization of, so-called, splitting as well as projective algebras in the varieties of all lattices or p-algebras. For details the reader is referred to [2], [5], [6], [7] and other references therein. Let us emphasize that the main results that are contained in the above mentioned references strongly depend on the boundedness of each endomorphism of any finitely generated free algebra in a given variety.

2020 ◽  
Vol 23 (5) ◽  
pp. 801-829
Author(s):  
Mark Pengitore

AbstractThe function {\mathrm{F}_{G}(n)} gives the maximum order of a finite group needed to distinguish a nontrivial element of G from the identity with a surjective group morphism as one varies over nontrivial elements of word length at most n. In previous work [M. Pengitore, Effective separability of finitely generated nilpotent groups, New York J. Math. 24 2018, 83–145], the author claimed a characterization for {\mathrm{F}_{N}(n)} when N is a finitely generated nilpotent group. However, a counterexample to the above claim was communicated to the author, and consequently, the statement of the asymptotic characterization of {\mathrm{F}_{N}(n)} is incorrect. In this article, we introduce new tools to provide lower asymptotic bounds for {\mathrm{F}_{N}(n)} when N is a finitely generated nilpotent group. Moreover, we introduce a class of finitely generated nilpotent groups for which the upper bound of the above article can be improved. Finally, we construct a class of finitely generated nilpotent groups N for which the asymptotic behavior of {\mathrm{F}_{N}(n)} can be fully characterized.


1986 ◽  
Vol 51 (1) ◽  
pp. 152-165 ◽  
Author(s):  
Fabio Bellissima

AbstractThe aim of this paper is to give, using the Kripke semantics for intuitionism, a representation of finitely generated free Heyting algebras. By means of the representation we determine in a constructive way some set of “special elements” of such algebras. Furthermore, we show that many algebraic properties which are satisfied by the free algebra on one generator are not satisfied by free algebras on more than one generator.


Author(s):  
János Nagy ◽  
András Némethi

AbstractThe present note is part of a series of articles targeting the theory of Abel maps associated with complex normal surface singularities with rational homology sphere links (Nagy and Némethi in Math Annal 375(3):1427–1487, 2019; Nagy and Némethi in Adv Math 371:20, 2020; Nagy and Némethi in Pure Appl Math Q 16(4):1123–1146, 2020). Besides the general theory, by the study of specific families we wish to show the power of this new method. Indeed, using the general theory of Abel maps applied for elliptic singularities in this note we are able to prove several key properties for elliptic singularities (e.g. the statements of the next paragraph), which by ‘old’ techniques were not reachable. If $$({\widetilde{X}},E)\rightarrow (X,o)$$ ( X ~ , E ) → ( X , o ) is the resolution of a complex normal surface singularity and $$c_1:{\mathrm{Pic}}({\widetilde{X}})\rightarrow H^2({\widetilde{X}},{\mathbb {Z}})$$ c 1 : Pic ( X ~ ) → H 2 ( X ~ , Z ) is the Chern class map, then $${\mathrm{Pic}}^{l'}({\widetilde{X}}):= c_1^{-1}(l')$$ Pic l ′ ( X ~ ) : = c 1 - 1 ( l ′ ) has a (Brill–Noether type) stratification $$W_{l', k}:= \{{\mathcal {L}}\in {\mathrm{Pic}}^{l'}({\widetilde{X}})\,:\, h^1({\mathcal {L}})=k\}$$ W l ′ , k : = { L ∈ Pic l ′ ( X ~ ) : h 1 ( L ) = k } . In this note we determine it for elliptic singularities together with the stratification according to the cycle of fixed components. E.g., we show that the closure of any $$W(l',k)$$ W ( l ′ , k ) is an affine subspace. For elliptic singularities we also characterize the End Curve Condition and Weak End Curve Condition in terms of the Abel map, we provide several characterization of them, and finally we show that they are equivalent.


Author(s):  
Alonso Castillo-Ramirez

For a group [Formula: see text] and a set [Formula: see text], let [Formula: see text] be the monoid of all cellular automata over [Formula: see text], and let [Formula: see text] be its group of units. By establishing a characterization of surjunctive groups in terms of the monoid [Formula: see text], we prove that the rank of [Formula: see text] (i.e. the smallest cardinality of a generating set) is equal to the rank of [Formula: see text] plus the relative rank of [Formula: see text] in [Formula: see text], and that the latter is infinite when [Formula: see text] has an infinite decreasing chain of normal subgroups of finite index, condition which is satisfied, for example, for any infinite residually finite group. Moreover, when [Formula: see text] is a vector space over a field [Formula: see text], we study the monoid [Formula: see text] of all linear cellular automata over [Formula: see text] and its group of units [Formula: see text]. We show that if [Formula: see text] is an indicable group and [Formula: see text] is finite-dimensional, then [Formula: see text] is not finitely generated; however, for any finitely generated indicable group [Formula: see text], the group [Formula: see text] is finitely generated if and only if [Formula: see text] is finite.


2003 ◽  
Vol 31 (9) ◽  
pp. 4195-4214 ◽  
Author(s):  
Alberto Facchini ◽  
Dolors Herbera ◽  
Iskhak Sakhajev

1980 ◽  
Vol 32 (1) ◽  
pp. 27-33 ◽  
Author(s):  
M. Boratynski ◽  
E. D. Davis ◽  
A. V. Geramita

Recall the classical criterion for the complete decomposability of exterior vectors: the completely decomposable vectors in ∧pRn, R a field, are precisely the “Plücker vectors,” i.e. those whose coordinates (relative to the standard bases for ∧pRn) satisfy the Plücker equations. For R an arbitrary commutative ring, completely decomposable exterior vectors are still Plücker vectors, but the converse is not generally true. Rings for which the converse is true (for all 1 ≤ p ≤ n) are called Towber rings. Noetherian Towber rings are regular and, in fact, are characterized by the property that every Plücker vector in ∧2R4 is completely decomposable. (See [10] for these two results as well as for the above mentioned facts.) The present note develops a new characterization of Towber rings, combining it with results of Kleiner [9] and Estes-Matijevic [5] in (1) below.


Fractals ◽  
1993 ◽  
Vol 01 (03) ◽  
pp. 671-679 ◽  
Author(s):  
A. BEGHDADI ◽  
C. ANDRAUD ◽  
J. LAFAIT ◽  
J. PEIRO ◽  
M. PERREAU

We propose the configuration entropy as an efficient tool of characterization of the disorder of random morphologies and as a pertinent morphological parameter for describing the optical properties. When increasing the size of observation of an image, it undergoes a maximum at a characteristic length which is the optimum length at which the image must be observed to get the maximum information. When applied to computer simulated images, the configuration entropy is more powerful, less ambiguous and less sensitive to the finite size of images than the generalized fractal dimension.


2013 ◽  
Vol 57 (2) ◽  
pp. 323-338 ◽  
Author(s):  
Adlene Ayadi ◽  
Habib Marzougui

AbstractWe give a complete characterization of a hypercyclic abelian semigroup of matrices on ℂn. For finitely generated semigroups, this characterization is explicit and it is used to determine the minimal number of matrices in normal form over ℂ that form a hypercyclic abelian semigroup on ℂn. In particular, we show that no abelian semigroup generated by n matrices on ℂn can be hypercyclic.


Sign in / Sign up

Export Citation Format

Share Document