Homework

2020-01-10T14:43:52-04:00

Math 504 - Homework

LaTeX-ed solutions are encouraged and appreciated.
If you use LaTeX, hand-in a printed version of your homework.
You are encouraged to discuss homework problems with classmates, but such discussions should NOT include the exchange or written material.
Writing of homework problems should be done on an individual basis.
Outside references for material used in the solution of homework problems should be fully disclosed.
References to results from the textbook and/or class notes should also be included.
The following lists should be considered partial and tentative lists until the word complete appears next to it.
Use 8.5in x 11in paper with smooth borders. Write your name on top of each page. Staple all pages.

$\newcommand{\aut}{\textrm{Aut}} \newcommand{\end}{\textrm{End}} \newcommand{\sub}{\textrm{Sub}} \newcommand{\min}{\textrm{min}} \newcommand{\lub}{\textrm{l.u.b.}} \newcommand{\glb}{\textrm{g.l.b.}} \newcommand{\join}{\vee} \newcommand{\bigjoin}{\bigvee} \newcommand{\meet}{\wedge} \newcommand{\bigmeet}{\bigwedge} \newcommand{\normaleq}{\unlhd} \newcommand{\normal}{\lhd} \newcommand{\union}{\cup} \newcommand{\intersection}{\cap} \newcommand{\bigunion}{\bigcup} \newcommand{\bigintersection}{\bigcap} \newcommand{\sq}[2][\ ]{\sqrt[#1]{#2\,}} \newcommand{\pbr}[1]{\langle #1\rangle} \newcommand{\ds}{\displaystyle} \newcommand{\C}{\mathbb{C}} \newcommand{\R}{\mathbb{R}} \newcommand{\Q}{\mathbb{Q}} \newcommand{\Z}{\mathbb{Z}} \newcommand{\N}{\mathbb{N}} \newcommand{\A}{\mathbb{A}} \newcommand{\F}{\mathbb{F}} \newcommand{\T}{\mathbb{T}} \newcommand{\ol}[1]{\overline{#1}} \newcommand{\ul}[1]{\underline{#1}} \newcommand{\imp}{\Rightarrow} \newcommand{\rimp}{\Leftarrow} \newcommand{\pinfty}{1/p^\infty} \newcommand{\power}{\mathcal{P}} \newcommand{\calL}{\mathcal{L}} \newcommand{\calC}{\mathcal{C}} \newcommand{\calN}{\mathcal{N}} \newcommand{\calB}{\mathcal{B}} \newcommand{\calF}{\mathcal{F}} \newcommand{\calR}{\mathcal{R}} \newcommand{\calS}{\mathcal{S}} \newcommand{\calU}{\mathcal{U}} \newcommand{\calT}{\mathcal{T}} \newcommand{\gal}{\textrm{Gal}} \newcommand{\isom}{\approx} \renewcommand{\hom}{\textrm{Hom}} $

Problem Set 13 Due 05/07/2018 (complete)

Let $K$ and $L$ be fields. Show that the set $\hom(K,L)$ of all homomorphisms from $K$ to $L$, is linearly independent over $L$. In particular $\aut(K)$ is linearly independent over $K$.
Prove that a finite group $G$ is solvable iff there is a finite sequence of subgroups \[ 1=H_0\leq H_1 \leq \cdots \leq H_{n-1} \leq H_n=G \] such that each $H_i\normaleq H_{i+1}$ and $H_{i+1}/H_i$ is cyclic. Show, with a counterexample, that this equivalence does not hold in general for arbitrary groups.
Define: an angle $\theta$ is constructible if there are two constructible straight lines forming an angle $\theta$.
Prove: let $l$ be a constructible straight line, $A$ a constructible point on $l$, and $\theta$ a constructible angle. The straight line(s) that go through $A$ and form an angle $\theta$ with $l$ is(are) constructible.

Problem Set 12 Due 04/27/2018 (complete)

Let $F/K$ be a field extension, $S\subseteq T\subseteq F$ with $S$ algebraically independent over $K$, and $F$ algebraic over $K(T)$. Prove that there is a transcendence basis $B$, for $F$ over $K$, such that $S\subseteq B\subseteq T$. (Hint: prove that a directed union of algebraically independent sets over $K$ is algebraically independent over $K$, and use Zorn's lemma)
Let $F/K$ be a field extension and $S\subseteq F$. Prove that TFAE:
1. $S$ is maximal algebraically independent over $K$,
2. $S$ is algebraically independent over $K$ and $F$ is algebraic over $K(S)$,
3. $S$ is minimal such that $F$ is algebraic over $K(S)$.
Let $F/E/K$ be a field tower. Prove that \[tr.d._K(F)=tr.d._E(F)+tr.d._K(E)\]
Let $K$ be a field, and $t_1,\dots,t_n$ independent variables. If $f(t_1,\dots,t_n)\in K[t_1,\dots,t_n]$ is a symmetric polynomial in variables $t_1,\dots,t_n$, there is a polynomial $g$, such that \[ f(t_1,\dots,t_n) = g(s_1,\dots,s_n). \] (Hint: Use double induction on $n$ and $d$, the total degree of $f$)

Old Homework

2020-01-10T14:46:38-04:00

Math 504 - Old Homework

Problem Set 11 Due 04/20/2018 (complete)

Let $G$ be a group with identity element $e$. Let $\calB_e$ be a collection of subgroups of $G$ which form a basis for the neighborhoods of $e$. Show that the basic open sets induced by $\calB_e$ are clopen sets, i.e. closed and open.
Prove that the normal closure of a finite separable extension over a field $K$ is a finite Galois extension.
Given a projective system $(G_i|i\in I)$ with $(\rho_{i,j}|i\leq j)$ of groups, show that the following subset of the product \[ \left\{a\in\prod_{i\in I}G_i\middle|\rho_{i,j}(a_j)=a_i \text{ for all } i\leq j\right\} \] together with the projection map into each factor, form a projective limit for the given system.
Prove the last claim in the proof that closed under the Krull topology is equivalent to closed under the $\alpha\beta$ closure operator. That is, if $N\in\calF_{\calN}$ and $H\leq G$, then $HN\in\calF$.

Problem Set 10 Due 04/13/2018 (complete)

Show that the directed union (ordered by divisibility on $\N^+$)\[ \bigunion_{n\in\N^+}\F_{p^n} \] is the algebraic closure of $\F_p$.
Show that $\sigma_S$, as defined in class on 03/30/18, is an automorphism of $F/\Q$, the field extension in McCarthy's example.
Let $G$ be a group with identity element $e$. Let $\calB_e$ be a collection of subgroups of $G$ which form a basis for the neighborhoods of $e$. Show that the collection \[ \{gH|\ g\in G, H\in\calB_e\}, \] of all left cosets of the subgroups in $\calB_e$ is a basis for a topology on $G$.
Let $G$ be a group, and $H_1,H_2\leq G$. Show that \[ [G:H_1\intersection H_2] \leq [G:H_1][G:H_2]. \]

Problem Set 9 Due 03/30/2018 (complete)

Prove or disprove: the lattice of centralizers of a group $G$ is a sublattice of $\sub(G)$, the lattice of subgroups of $G$.
Write the details in the proof of the lemma stated in class: For sets $A$, $B$, a binary relation $\rho\subseteq A\times B$ from $A$ to $B$ induces a Galois connection between $\power(A)$ and $\power(B)$.
Let $P$ be a poset with smallest element $0$. For $x,x^{*}\in P$ we say that $x^*$ is a pseudo-complement of $x$ if
- $x\meet x^* =0$, and
- $x\meet y = 0 \imp y \leq x^*$.
  Show that:
1. if $x$ has a pseudo-complement in $P$, then it is unique,
2. if $P$ is pseudo-complement, i.e. every element of $P$ has a pseudo-complement, then $P$ with the map $\alpha:x\mapsto x^*$ form a symmetric Galois connection.

Problem Set 8 Due 03/23/2018 (complete)

Show that if $E/K$ is separable then $\mbox{$[E:K]_s =_f [E:K]$}$, where $=_f$ means both sides are finite and equal, or both are infinite. Note that this and its converse were proved in class for finite extensions. Show that the converse is not true in general.
Prove or disprove: all cyclotomic polynomials have all their coefficients in $\{0,\pm 1\}$.
Show that if $n$ is even then \[ \phi_{2n}(x) = \phi_n(x^2), \] and if $n\geq 3$ is odd then \[ \phi_{2n}(x) = \phi_n(-x). \]
Let $P$ be a locally finite poset. For $y\neq x\in P$, \[ \sum_{y\leq \ul{z}\leq x}\mu(z,x)=0 \] Hint: Fix $y\in P$, and then use induction on the Artinian poset \[\{u\in P\mid u > y\}. \]

Problem Set 7 Due 03/16/2018 (complete)

Let $E/K$ be an algebraic extension, and let $E_i=E\intersection K^{\pinfty}$. Prove or disprove that $E/E_i$ is separable. (Hint: try first the case $E=\ol{K}$)
Each $\varphi\in\aut_K(\ol{K})$ induces a complete lattice automorphism on $\sub_K(\ol{K})$.
Let $S$ be a set, and $P(x,B)$ denote a property, where $x \in S$ and $B ⊆ S$. When $P(x,B)$ is true, we will say that $x$ has the property $P$, with respect to $B$. For $A,B ⊆ S$, write $P(A,B)$ provided all elements of $A$ have property $P$ w.r.t. $B$, i.e. for all $x∈A$, we have $P(x,B)$. Let $$B^P := \{x\in S\ |\ P(x,B)\}$$ be the set of elements of $S$ related to $B$ via the property $P$. Assume the property $P$ satisfies:
1. All elements of $B$ satisfy property $P$ w.r.t. $B$, i.e. $x ∈ B ⇒ P(x,B)$,
2. if $x$ has property $P$ w.r.t. $B$, and $B ⊆ A$, then $x$ has property $P$ w.r.t. $A$, i.e. $(B ⊆ A \textrm{ and } P(x,B))⇒P(x,A)$,
3. if $x$ has property $P$ w.r.t. $A$, and $P(A,B)$, then $x$ has property $P$ w.r.t. $B$, i.e. $P(x,A) \textrm{ and } P(A,B) ⇒ P(x,B)$.
  Show that the map $B \mapsto B^P$ is a closure operator.
Let $E/K$ be an algebraic extension. The normal closure of $E/K$ is the spliting field of the set of polynomials \[\displaystyle A = \{{\min}_{K}(\alpha)\mid\alpha\in E^\times\}. \]

Problem Set 6 Due 03/09/2018 (complete)

Let $K$ be a field of prime characteristic $p$. The field $K^{1/p^\infty}$ is the smallest perfect field that contains $K$.
Let $K=\F_2(s,t)$ be the field of rational functions in two variables $s$ and $t$, over the two element field, $\F_2$. Let $\alpha=\sqrt{s}$ and $\beta=\sqrt{t}$, i.e. $\alpha$ is a root of $x^2-s\in K[x]$, and similarly for $\beta$. Let $F=K(\alpha,\beta)$. Find $[F:K]$. Show that any $\gamma\in F$ has degree 1 or 2 over $K$.

Problem Set 5 Due 02/23/2018 (complete)

Show that a finite subgroup of the multiplicative group $K^\times$ of any field $K$ is cyclic.
If $K$ is a perfect field and $F/K$ is an algebraic extension then $F$ is perfect.
Let $K\leq E\leq F$, and $\alpha\in F$, algebraic over $K$. Prove:
1. If $\alpha$ is separable over $K$, then it is separable over $E$.
2. If $\alpha$ is separable over $E$, and $E/K$ is separable, then $\alpha$ is separable over $K$.
Let $K=\F_2(s,t)$ be the field of rational functions in two variables $s$ and $t$, over the two element field, $\F_2$. Let $\alpha=\sqrt{s}$ and $\beta=\sqrt{t}$, i.e. $\alpha$ is a root of $x^2-s\in K[x]$, and similarly for $\beta$. Prove or disprove that $K(\alpha,\beta)$ is a simple extension of $K$.

Problem Set 4 Due 02/16/2018 (complete)

Show that the algebraic closure is a closure operator, i.e.
1. $K\leq\ol{K}$,
2. $\ol{\ol{K}} =\ol{K}$,
3. $K\leq E \imp \ol{K}\leq\ol{E}$.
Let $F/K$ be a field extension, and $\varphi:F\to L$ a field homomorphism. Let $\widehat{F}=\varphi(F)$ and $\widehat{K}=\varphi(K)$. Prove:
1. $[\widehat{F}:\widehat{K}]=[F:K]$.
2. If $F/K$ is algebraic, then so is $\widehat{F}/\widehat{K}$.
3. If $F/K$ is transcendental, then so is $\widehat{F}/\widehat{K}$.
4. If $F$ is an algebraic closure of $K$, then $\widehat{F}$ is an algebraic closure of $\widehat{K}$.
Let $\ol{K}$ be an algebraic closure of $K$. Show that $\ol{K}$ is minimal with the property of being an extension of $K$ which is algebraically closed.
Let $F/K$ be a field extension and $E,L\in\sub_K(F)$. Show that if $E/K$ is algebraic then $EL$ is algebraic over $L$. If $EL$ is algebraic over $L$, does it follow that $E$ is algebraic over $K$? How about $E/(E\intersection L)$?

Problem Set 3 Due 02/09/2018 (complete)

Prove the corollary stated in class: If $K\leq E_i\leq F$ and each $E_i/K$ is algebraic, then the join $\displaystyle\bigjoin_{i\in I}E_i$ is algebraic over $K$.
Let $F/K$ be a finite extension. Prove that every endomorphism of $F$ that fixes $K$ is an automorphism of $F$.
Consider the extension $F=\Q(\alpha,\omega)$ of $\Q$ discussed in class, where $\alpha$ is a root of $x^3-2$ and $\omega$ is a root of $x^2+x+1$. Construct several automorphisms of $F$. Is there a bound for the number of automorphisms of $F$?

Problem Set 2 Due 02/02/2018 (complete)

Show that the direct (cartesian) product of two fields is never a field.
Show that $\Q(\sq{2})\neq\Q(\sq{3})$. Generalize.
Page 163, IV.2.1
Page 163, IV.2.2, IV.2.4

Problem Set 1 Due 01/26/2018 (complete)

Let $G$ be a group and $N\normaleq G$. $G$ is solvable iff $N$ and $G/N$ are solvable. In this case, $$l(G) \leq l(N) + l(G/N)$$
If $L$ is a poset in which every subset has a l.u.b., then every subset of $L$ also has a g.l.b.
Given a lattice $(L,\meet,\join)$ in the algebraic sense, show that the binary relation defined by $$ x \leq y \quad iff \quad x \meet y = x $$ is a partial order on $L$, and for $x,y \in L$, $x \meet y$ is the g.l.b.{x,y}, and $x \join y$ is the l.u.b.{x,y}.
Let $A$ be a universal algebra, and $\sub(A)$ the complete lattice of subuniverses of $A$. If $D\subseteq\sub(A)$ is directed, then $\ds\left(\bigunion_{X\in D}X\right)\in\sub(A)$.

Spring 2018

2026-06-29T05:11:24-04:00

Algebra II - Math 504 (Spring 2018)

Spring 2018

Syllabus

Instructor:	Fernando Guzmán	WH-116	x-72876	fer@math.binghamton.edu

Announcements:

Homework

Department of Mathematics and Statistics, Binghamton University people:fer:504ws:spring2018

Homework

Math 504 - Homework

Old Homework

Math 504 - Old Homework

Spring 2018

Algebra II - Math 504 (Spring 2018)

Spring 2018

Announcements: