Recent content by Skolem

  1. S

    Field of Fractions: Proof it is a Field

    If adriank is correct, and you mean prove A. "If an integral domain is finite then it is a field." and B. "Why does this fail if the integral domain is not finite?" then consider the following: First, if you have an integral domain D any a (not 0) inside D then the function mult_a: D -->...
  2. S

    Terminology: free algebra with binary op, constant.

    Yes, but this still leaves my question open: the first 'F-algebra' is called the 'natural numbers', but what is the second 'F-algebra' called? Perhaps the second example has no colloquial name like the first. Skolem
  3. S

    Terminology: free algebra with binary op, constant.

    In the sense of 'universal algebra': The natural numbers N can be presented as an free algebra with one constant (0) and one -unary- operation s(x) (i.e. x --> x+1). We have (of course) elements 0, s(0), s(s(0)), etc... Is there a good name for a set A with one constant (*) and one...
  4. S

    Prove gcd(m,n)=1 implies gcd(2m+n,2n)=1 (n odd)

    I've been reading through the new book "Algebra: Chapter 0" by Aluffi in my spare time, but I can't seem to get this one: Prove gcd(m,n)=1 implies gcd(2m+n,2n)=1 where n is odd. I know the basic properties of gcd, and also about min{am + bn as a,b in Z} = gcd(m,n) and all that, but I think...
Back
Top