Polarizations of powers of graded maximal ideals

Let [Formula: see text] and [Formula: see text] be Banach algebras such that [Formula: see text] is a Banach [Formula: see text]-bimodule with compatible actions. We define the product [Formula: see text], which is a strongly splitting Banach algebra extension of [Formula: see text] by [Formula: see text]. After characterization of the multiplier algebra, topological center, (maximal) ideals and spectrum of [Formula: see text], we restrict our investigation to the study of semisimplicity, regularity, Arens regularity of [Formula: see text] in relation to that of the algebras [Formula: see text], [Formula: see text] and the action of [Formula: see text] on [Formula: see text]. We also compute the first cohomology group [Formula: see text] for all [Formula: see text] as well as the first-order cyclic cohomology group [Formula: see text], where [Formula: see text] is the [Formula: see text]th dual space of [Formula: see text] when [Formula: see text] and [Formula: see text] itself when [Formula: see text]. These results are not only of interest in their own right, but also they pave the way for obtaining some new results for Lau products and module extensions of Banach algebras as well as triangular Banach algebra. Finally, special attention is devoted to the cyclic and [Formula: see text]-weak amenability of [Formula: see text]. In this context, several open questions arise.

Download Full-text

A proof of the cut-elimination theorem in simple type theory

Journal of Symbolic Logic ◽

10.2307/2272058 ◽

1973 ◽

Vol 38 (2) ◽

pp. 215-226

Author(s):

Satoko Titani

Keyword(s):

Boolean Algebra ◽

Type Theory ◽

Arbitrary Number ◽

Formal System ◽

Cut Elimination ◽

Simple Type ◽

Inductive Definition ◽

Simple Type Theory ◽

Maximal Ideals ◽

Definition Of

In [4], I introduced a quasi-Boolean algebra, and showed that in a formal system of simple type theory, from which the cut rule is omitted, wffs form a quasi-Boolean algebra, and that the cut-elimination theorem can be formulated in algebraic language. In this paper we use the result of [4] to prove the cut-elimination theorem in simple type theory. The theorem was proved by M. Takahashi [2] in 1967 by using the concept of Schütte's semivaluation. We use maximal ideals of a quasi-Boolean algebra instead of semivaluations.The logical system we are concerned with is a modification of Schütte's formal system of simple type theory in [1] into Gentzen style.Inductive definition of types.0 and 1 are types.If τ1, …, τn are types, then (τ1, …, τn) is a type.Basic symbols.a1τ, a2τ, … for free variables of type τ.x1τ, x2τ, … for bound variables of type τ.An arbitrary number of constants of certain types.An arbitrary number of function symbols with certain argument places.

Download Full-text

On a generalization of prime submodules of a module over a commutative ring

Boletim da Sociedade Paranaense de Matemática ◽

10.5269/bspm.v37i1.33962 ◽

2017 ◽

Vol 37 (1) ◽

pp. 153-168

Author(s):

Hosein Fazaeli Moghimi ◽

Batool Zarei Jalal Abadi

Keyword(s):

Commutative Ring ◽

Dedekind Domain ◽

Finitely Generated ◽

Multiplication Module ◽

Maximal Ideals ◽

Prime Submodules ◽

Prime Submodule

‎Let $R$ be a commutative ring with identity‎, ‎and $n\geq 1$ an integer‎. ‎A proper submodule $N$ of an $R$-module $M$ is called‎ ‎an $n$-prime submodule if whenever $a_1 \cdots a_{n+1}m\in N$ for some non-units $a_1‎, ‎\ldots‎ , ‎a_{n+1}\in R$ and $m\in M$‎, ‎then $m\in N$ or there are $n$ of the $a_i$'s whose product is in $(N:M)$‎. ‎In this paper‎, ‎we study $n$-prime submodules as a generalization of prime submodules‎. ‎Among other results‎, ‎it is shown that if $M$ is a finitely generated faithful multiplication module over a Dedekind domain $R$‎, ‎then every $n$-prime submodule of $M$ has the form $m_1\cdots m_t M$ for some maximal ideals $m_1,\ldots,m_t$ of $R$ with $1\leq t\leq n$‎.

Download Full-text