The Field of Quotients Over an Integral Domain

@inproceedings{Schwarzweller1998TheFO,
  title={The Field of Quotients Over an Integral Domain},
  author={Christoph Schwarzweller},
  year={1998}
}
Let I be a non empty zero structure. The functor Q(I) is a subset of [: the carrier of I, the carrier of I :] and is defined by: (Def. 1) For every set u holds u ∈ Q(I) iff there exist elements a, b of the carrier of I such that u = 〈a, b〉 and b 6= 0I . Next we state the proposition (1) For every non degenerated non empty multiplicative loop with zero structure I holds Q(I) is non empty. The following two propositions are true: (2) Let I be a non degenerated non empty multiplicative loop with… CONTINUE READING

From This Paper

Topics from this paper.
7 Citations
14 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-10 of 14 references

Boolean properties of sets

  • Zinaida Trybulec, Halina Święczkowska
  • 1990

Functions and their basic properties

  • Czesław Byliński
  • Formalized Mathematics
  • 1990

Properties of subsets

  • Zinaida Trybulec
  • Formalized Mathematics
  • 1990

Some basic properties of sets

  • Czesław Byliński
  • Formalized Mathematics
  • 1990

Święczkowska. Boolean properties of sets

  • Zinaida Trybulec, Halina
  • Formalized Mathematics,
  • 1990
1 Excerpt

Similar Papers

Loading similar papers…