Project Crazy Project

unnecessary lemmas. very sloppy. handwriting needs improvement.

What is this?
On these pages you will find a
slowly growing (and poorly
organized) list of proofs and
examples in abstract algebra.
No doubt these pages are
riddled with typos and errors in
logic, and in many cases
alternate strategies abound.
When you find an error, or if
anything is unclear, let me know
and I will fix it.
As an F-vector space, an infinite direct sum of F has strictly smaller
dimension than an infinite direct power of F over the same
index set
Let be a field. Prove that a vector space over having basis (regardless of
the cardinality of ) is isomorphic as a vector space to . Prove that is
also an -vector space which has strictly larger dimension than that of .
(So a free module on any set is isomorphic to a direct sum. Weve never gotten
around to proving this in the best possible generality, though, so well just prove it
for vector spaces here.)
Note that, by the universal property of free modules, the natural injection
which sends to the tuple which has 1 in the th component and 0

Contact elsewhere induces a vector space homomorphism . This mapping

Send email to "project (dot) is clearly surjective, and also clearly injective. So .
crazy (dot) project (at) gmail
(dot) com". Certainly is an -vector space which contains , so that
. Suppose these two dimensions are in fact equal.
Navigation
Identify with the usual basis of . By this previous exercise, there is a basis
Mega Index
Colophon of which contains , and as argued above, . By our
FAQ hypothesis, in fact and have the same cardinality, and so there exists a
bijection . Now induces a vector space isomorphism
Search PCP .
Search
However, note that , while
Categories . Since , we have a
Exercis es (1,576)
AA:DF (1,320) contradiction. Thus the dimension of is strictly smaller than that of .
IS:P (43)
TAN:PD (213) Advertisements
Incom plete (11)
Meta (7)

Crazy Page Views

5,282,683

Tag Cloud
Whisky Jack Frank Cerveja Brahma Extra
abelian group algebraic Sinatra 1L Weiss 355ml Caixa
integer ring alternating group
R$ 69.938 R$ 1.914
basis center (group)
commutative ring complex COMPRAR COMPRAR

numbers

computation Like
computation
conjugate
Like
Be the first to like this.

counterexample cycle
notation cyclic group degree
dihedral group direct
product direct s um divisibility
factorization field field
extension finite field
finite group gaussian
integers general linear group
generating set greatest
common divisor group
group action group
homomorphism group
presentation Grbner basis ideal
integers integral domain
Related
If V is an infinite Over a countable field, A linear transformation
dimensional vector any two bases of an on a finite dimensional
space, then its dual infinite dimensional vector space which has
space has strictly larger vector space have the a stable subspace
dimension same cardinality decomposes as a direct
In "AA:DF" In "AA:DF" sum
In "AA:DF"
By nbloomf, on June 14, 2011 at 10:00 am, under AA:DF. Tags: cardinality, dimension, direct
product, direct sum, field, infinite dimensional, vector space. 2 Comments

intersection irreducible Post a comment or leave a trackback: Trackback URL.

polynomial isomorphism jordan

canonical form kernel linear
transformation matrix maximal
ideal modular arithmetic
module norm normalizer
normal subgroup
order (group element)
polynomial polynomial
On the set of ideals in a ring, divisibility is antisymmetric
In the set of ideals of a ring of algebraic integers in some fixed finite extension of
QQ, if AB = A then B = (1)
Comments
Josh Swanson On August 31, 2011 at 8:58 pm Perm alink | Reply

ring prime prime ideal
principal ideal principal ideal
domain quadratic field quadratic
integer ring quaternion group
quotient group quotient ring
rational numbers rationals
real numbers relatively prime
ring semidirect product
semigroup simple group
subgroup subgroup index
subgroup lattice sylow's
theorem sylow subgroup
symmetric group
tensor product vector
space
How does |F| * |B| < |F|^|B| follow when |B| = |F|, can just use Cantors
diagonalization argument, since |F| * |B| = max{|F|, |B|}.
That an infinite cartesian product increases the cardinality of a set is intuitive, at
least.
Josh Swanson On August 31, 2011 at 9:01 pm Perm alink | Reply
My comment above was mangled. I guess the angle brackets were eaten as HTML.
What I wrote was
How does |F| * |B| less than |F|^|B| follow when |B| is smaller than |F|? When |B| is
greater than or equal to |F|, we can just use Cantors diagonalization argument,
since |F| * |B| = max{|F|, |B|}, so
|F| * |B| = |B| is less than 2^|B| is less than or equal to |F|^|B|
That an infinite cartesian product increases the cardinality of a set is intuitive, at
least.

Tools
Detexify
Ditaa Works pace Leave a Reply
GraphViz Works pace
MathURL
Enter your comment here...
NoMSG
Wolfram Alpha

Similar Projects
Folland's Real Analys is
Posts By Date
March 2012 (1)
February 2012 (13)
January 2012 (63)
Decem ber 2011 (35)
Novem ber 2011 (30)
October 2011 (31)
Septem ber 2011 (16)
Augus t 2011 (41)
July 2011 (31)
June 2011 (150)
May 2011 (156)
April 2011 (30)
March 2011 (31)
February 2011 (28)
January 2011 (31)
Decem ber 2010 (32)
Novem ber 2010 (30)
October 2010 (50)
Septem ber 2010 (60)
Augus t 2010 (31)
July 2010 (93)
June 2010 (120)
May 2010 (93)
April 2010 (60)
March 2010 (31)
February 2010 (70)
January 2010 (211)
Decem ber 2009 (15)

Recent Comments
nbloom f on Subgroups of finite
index force the exis tence of
(pos s ibly nontrivial) norm al
s ubgroups of bounded index
Gogo on Subgroups of finite index
force the exis tence of (pos s ibly
nontrivial) norm al s ubgroups of
bounded index
nbloom f on Des cribe the kernel
and fibers of a given
group hom om orphis m
032-234 on Des cribe the kernel
and fibers of a given
group hom om orphis m
Group is om orphis m s on If a group
has an autom orphis m which is
fixed point free of order 2, then it
is abelian
Andrew on Odd degree extens ions
of form ally real fields are
form ally real
tjm 1991 on Des cribe the kernel
and fibers of a given
group hom om orphis m
RD Rees e on Characterize the
center of a group ring
kim ochis on Find all pos s ible
orders of elem ents in Sym (5)
kim ochis on Find all pos s ible
orders of elem ents in Sym (5)
kim ochis on Find all pos s ible
orders of elem ents in Sym (5)
Nicolas on Determ ine which
m atrices belong to a given s et
Redlock on Inductive s tep of the
Jordan-Holder Theorem
nbloom f on The regular 9-gon is
not cons tructible by s traightedge
and com pas s
John on The regular 9-gon is not
cons tructible by s traightedge
and com pas s

Intuition comes from experience,

experience comes from failure,
and failure comes from trying.

Diversions
Hark, a vagrant
MS Paint Adventures
Saturday Morning Breakfas t Cereal

Create a free website or blog at WordPress.com. | .