scholarly journals On Bellissima’s construction of the finitely generated free Heyting algebras, and beyond

2010 ◽  
Vol 49 (7-8) ◽  
pp. 743-771 ◽  
Author(s):  
Luck Darnière ◽  
Markus Junker
Keyword(s):  
Heyting Algebras ◽  
Finitely Generated

Finitely generated free Heyting algebras

1986 ◽  
Vol 51 (1) ◽  
pp. 152-165 ◽  
Author(s):  
Fabio Bellissima
Keyword(s):  
Free Algebra ◽  
Kripke Semantics ◽  
Heyting Algebras ◽  
Free Algebras ◽  
Finitely Generated ◽  
Algebraic Properties

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.

Finitely generated free Heyting algebras: the well-founded initial segment

2012 ◽  
Vol 77 (4) ◽  
pp. 1291-1307
Author(s):  
R. Elageili ◽  
J. K. Truss
Keyword(s):  
Initial Segment ◽  
Heyting Algebra ◽  
Complete Classification ◽  
Heyting Algebras ◽  
Finitely Generated

AbstractIn this paper we describe the well-founded initial segment of the free Heyting algebra α on finitely many, α, generators. We give a complete classification of initial sublattices of 2 isomorphic to 1 (called ‘low ladders’), and prove that for 2 ≤ α < ω, the height of the well-founded initial segment of α is ω2.

Automorphisms of finite order of nilpotent groups II

2014 ◽  
Vol 51 (4) ◽  
pp. 547-555 ◽  
Author(s):  
B. Wehrfritz
Keyword(s):  
Nilpotent Group ◽  
Finite Order ◽  
Finite Index ◽  
Nilpotent Groups ◽  
Finitely Generated

Let G be a nilpotent group with finite abelian ranks (e.g. let G be a finitely generated nilpotent group) and suppose φ is an automorphism of G of finite order m. If γ and ψ denote the associated maps of G given by \documentclass{aastex} \usepackage{amsbsy} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{bm} \usepackage{mathrsfs} \usepackage{pifont} \usepackage{stmaryrd} \usepackage{textcomp} \usepackage{upgreek} \usepackage{portland,xspace} \usepackage{amsmath,amsxtra} \usepackage{bbm} \pagestyle{empty} \DeclareMathSizes{10}{9}{7}{6} \begin{document} $$\gamma :g \mapsto g^{ - 1} \cdot g\phi and \psi :g \mapsto g \cdot g\phi \cdot g\phi ^2 \cdots \cdot \cdot g\phi ^{m - 1} for g \in G,$$ \end{document} then Gγ · kerγ and Gψ · ker ψ are both very large in that they contain subgroups of finite index in G.

Collectives of Automata in Finitely Generated Groups

2020 ◽  
Vol 108 (5-6) ◽  
pp. 671-678
Author(s):  
D. V. Gusev ◽  
I. A. Ivanov-Pogodaev ◽  
A. Ya. Kanel-Belov
Keyword(s):  
Finitely Generated ◽  
Finitely Generated Groups

scholarly journals TEST IDEALS IN RINGS WITH FINITELY GENERATED ANTI-CANONICAL ALGEBRAS – CORRIGENDUM

2016 ◽  
Vol 17 (4) ◽  
pp. 979-980
Author(s):  
Alberto Chiecchio ◽  
Florian Enescu ◽  
Lance Edward Miller ◽  
Karl Schwede
Keyword(s):  
Finitely Generated

Projectivity of finitely generated flat modules over semilocal rings

1985 ◽  
Vol 37 (2) ◽  
pp. 85-90
Author(s):  
I. I. Sakhaev
Keyword(s):  
Finitely Generated ◽  
Flat Modules

Primitivity in representations of polycyclic groups

1980 ◽  
Vol 88 (1) ◽  
pp. 15-31 ◽  
Author(s):  
D. L. Harper
Keyword(s):  
Finite Group ◽  
Irreducible Representation ◽  
Nilpotent Group ◽  
Infinite Dimension ◽  
Finitely Generated ◽  
Polycyclic Groups

In an earlier paper (5) we showed that a finitely generated nilpotent group which is not abelian-by-finite has a primitive irreducible representation of infinite dimension over any non-absolute field. Here we are concerned primarily with the converse question: Suppose that G is a polycyclic-by-finite group with such a representation, then what can be said about G?

Sign in / Sign up

Export Citation Format

Share Document