An old question of T. Jech and K. Prikry asks if an existence of a precipitous ideal implies necessary existence of a normal precipitous ideal. The aim of the paper is to prove some results in the positive direction. Thus, it is shown that under some mild assumptions, an existence of a precipitous ideal over א1 implies an existence of a normal precipitous ideal over א1 once a Cohen subset is ad...

the rings considered in this article are commutative with identity $1neq 0$. by a proper ideal of a ring $r$,  we mean an ideal $i$ of $r$ such that $ineq r$.  we say that a proper ideal $i$ of a ring $r$ is a  maximal non-prime ideal if $i$ is not a prime ideal of $r$ but any proper ideal $a$ of $r$ with $ isubseteq a$ and $ineq a$ is a prime ideal. that is, among all the proper ideals of $r$,...

Let X be a non-degenerate left Banach module over a normed algebra A having a bounded approximate left identity. We show that, if A is a left ideal of a larger algebra, then this representation can be extended to a representation of the larger algebra. Based on this result, we study in detail the existence and properties of representations of the various centralizer algebras of A which are comp...

1 Description The method of Grr obner bases in commutative polynomial rings introduced by Buchberger (e.g. 1]) is a well-known and very important tool in polynomial ideal theory, for example in solving the ideal membership problem. XIDEAL extends the method to exterior algebras using algorithms from 2]. There are two main departures from the commutative polynomial case. First, owing to the non-...

In a recent paper, the first author introduced a general theory of corner rings in noncommutative rings that generalized the classical theory of Peirce decompositions. This theory is applied here to the study of the stable range of rings upon descent to corner rings. A ring is called quasi-duo if every maximal 1-sided ideal is 2-sided. Various new characterizations are obtained for such rings. ...

Let X be a non-degenerate left Banach module over a normed algebra A having a bounded approximate left identity. We show that, if A is a left ideal of a larger algebra, then this representation can be extended to a representation of the larger algebra. Based on this result, we study in detail the existence and properties of representations of the various centralizer algebras of A which are comp...

Standard noncommutative Gröbner basis procedures are used for computing ideals of free noncommutative polynomial rings over fields. This paper describes Gröbner basis procedures for one-sided ideals in finitely presented noncommutative algebras over fields. The polynomials defining a K-algebra A as a quotient of a free K-algebra are combined with the polynomials defining a one-sided ideal I of ...

Standard noncommutative Gröbner basis procedures are used for computing ideals of free noncommutative polynomial rings over fields. This paper describes Gröbner basis procedures for one-sided ideals in finitely presented noncommutative algebras over fields. The polynomials defining a K-algebra A as a quotient of a free K-algebra are combined with the polynomials defining a one-sided ideal I of ...

A (left) quotient of a language L by a word w is the language wL = {x | wx ∈ L}. The quotient complexity of a regular language L is the number of quotients of L; it is equal to the state complexity of L, which is the number of states in a minimal deterministic finite automaton accepting L. An atom of L is an equivalence class of the relation in which two words are equivalent if for each quotien...

Abstract Fuzzy set (FS) theory and rough sets (RSs) are constructed to accommodate the data uncertainty. In contrast, bipolar FS (BFS) can tackle uncertainty bipolarity of in different circumstances. This article aims introduce idea fuzzy ideals semigroup (SG), which is a generalization concept BFSs (RBFSs) an SG. We also investigate roughness subsemigroup (BF-SSG) with help congruence relation...