Source author record

Zahra Taheri

Zahra Taheri appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Computational Complexity Formal Languages and Automata Theory math.AC math.GR math.RA

Catalog footprint

What is connected

3works

5topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2021arXiv

Stone type representations and dualities by power set ring

In this paper, it is shown that the Boolean ring of a commutative ring is isomorphic to the ring of clopens of its prime spectrum. In particular, Stone's Representation Theorem is generalized. The prime spectrum of the Boolean ring of a given ring $R$ is identified with the Pierce spectrum of $R$. The discreteness of prime spectra is characterized. It is also proved that the space of connected components of a compact space $X$ is isomorphic to the prime spectrum of the ring of clopens of $X$. As another major result, it is shown that a morphism of rings between complete Boolean rings preserves suprema if and only if the induced map between the corresponding prime spectra is an open map.

preprint2016arXiv

Kaplansky's zero divisor and unit conjectures on elements with supports of size $3$

Kaplansky's zero divisor conjecture (unit conjecture, respectively) states that for a torsion-free group $G$ and a field $\mathbb{F}$, the group ring $\mathbb{F}[G]$ has no zero divisors (has no unit with support of size greater than $1$). In this paper, we study possible zero divisors and units in $\mathbb{F}[G]$ whose supports have size $3$. For any field $\mathbb{F}$ and all torsion-free groups $G$, we prove that if $αβ=0$ for some non-zero $α, β\in \mathbb{F}[G]$ such that $|supp(α)|=3$, then $|supp(β)|\geq 10$. If $\mathbb{F}=\mathbb{F}_2$ is the field with 2 elements, the latter result can be improved so that $|supp(β)|\geq 20$. This improves a result in [J. Group Theory, 16 (2013), no. 5, 667-693]. Concerning the unit conjecture, we prove that if $αβ=1$ for some $α, β\in \mathbb{F}[G]$ such that $|supp(α)|=3$, then $|supp(β)|\geq 9$. The latter improves a part of a result in [Exp. Math., 24 (2015), 326-338] to arbitrary fields.

preprint2012arXiv

How much could we cover a set by c.e sets?

"How much c.e. sets could cover a given set?" in this paper we are going to answer this question. Also, in this approach some old concepts come into a new arrangement. The major goal of this article is to introduce an appropriate definition for this purpose. Introduction In Computability Theory (Recursion Theory) in the first step we wish to recognize the sets which could be enumerated by Turing machines (equivalently, algorithms) and in the next step we will compare these sets by some reasonable order (Like Turing degree). Also sometimes with some extra information (Oracles) a class of non c.e. sets show the same behavior as c.e. sets (Post hierarchy and related theorems). Here we try another approach: "Let A be an arbitrary set and we wish to recognize how much this set might be covered by a c.e. set?" Although in some sense this approach could be seen in some definitions of Recursion Theory, but at the best of our knowledge it didn't considered as an approach yet, even though it is able to shed a light on some subjects of Computability of sets. Defining this approach is not quite straightforward and there are some obstacles to define them. To overcome these difficulties we modify the definitions. We have an alternative problem here when we consider recursive sets and not c.e. sets. In this case, the problem would be: "Let A be an arbitrary set and we wish to know that how much this set might be covered by a recursive Set?" Here, we try the first definition and the first problem.