\documentclass[12pt]{article}
\usepackage[sc]{mathpazo}
\topmargin=-.5in
\headsep=0.2in
\oddsidemargin=-.1in
\textwidth=6.7in
\textheight=9.2in
\footskip=.5in
%%
\usepackage{fancyhdr,fancybox}
\usepackage{amssymb,amsmath,amsthm}
\usepackage{url}
\usepackage{hyperref}
\usepackage{latexsym}
\usepackage{enumitem} % Clashes with \usepackage{enumerate}
\usepackage{graphicx}
\graphicspath{{./}{figs/}{../figs}{../}}
\usepackage{tikz}
\usetikzlibrary{arrows.meta}

%% ------ Custom solution environment ---------
\usepackage{comment}
\specialcomment{solution}
  {\par\noindent\textbf{Solution.}\ } 
  {\par}                              
%\excludecomment{solution}  % COMMENT/UNCOMMENT this to show/hide solutions

%%----Custom Exercise environment-----
\newcounter{exer}    %% Make a special counter just for exercises
%\numberwithin{exer}{section}
\theoremstyle{definition}
\newtheorem{exmp}[exer]{Problem}
\newenvironment{exercise}[1][]
{\begin{exmp}[#1]}
{\end{exmp}}

%%------------------------------------

\def\<{\langle}
\def\>{\rangle}
\def\longto{\longrightarrow}
\newcommand{\C}{\mathbb{C}} %% Some people prefer \CC or \CCC or \bbC
\newcommand{\F}{\mathbb{F}}
\newcommand{\N}{\mathbb{N}}
\newcommand{\Q}{\mathbb{Q}}
\newcommand{\R}{\mathbb{R}}
\newcommand{\Z}{\mathbb{Z}}
\def\And{\wedge}
\def\Or{\vee}
\def\Not{\neg}
%% \def\Not[1]{\overline{#1}}  %% Uncomment this for an alternative
\newcommand{\Red}[1]{\textcolor{red}{#1}}
\newcommand{\Blue}[1]{\textcolor{blue}{#1}}
\newcommand{\vv}[2]{\begin{bmatrix} #1 \\ #2 \end{bmatrix}}
\newcommand{\vvv}[3]{\begin{bmatrix} #1 \\ #2 \\ #3 \end{bmatrix}}
\newcommand{\vvvv}[4]{\begin{bmatrix} #1 \\ #2 \\ #3 \\ #4 \end{bmatrix}}
\newcommand{\ceil}[1] {\left\lceil #1 \right\rceil}
\newcommand{\floor}[1] {\left\lfloor #1 \right\rfloor}
\DeclareMathOperator{\Id}{Id}
\DeclareMathOperator{\lcm}{lcm}
\DeclareMathOperator{\Span}{Span}
\DeclareMathOperator{\Trace}{tr}
\DeclareMathOperator{\Ker}{Ker}
\DeclareMathOperator{\Image}{Im}
\def\normal{\lhd}
\def\normaleq{\unlhd}
\def\nnormal{\ntriangleleft}
\def\nnormaleq{\ntrianglelefteq}

%% For vector and matrices
\def\A{\bold{A}}
\def\B{\bold{B}}
\def\I{\bold{I}}
\def\J{\bold{J}}
\def\P{\bold{P}}
\def\0{\bold{0}}
\def\a{\bold{a}}
\def\b{\bold{b}}
\def\c{\bold{c}}
\def\e{\bold{e}}
\def\p{\bold{p}}
\def\q{\bold{q}}
\def\t{\bold{t}}
\def\u{\bold{u}}
\def\v{\bold{v}}
\def\w{\bold{w}}
\def\x{\bold{x}}

%% Categories
\DeclareMathOperator\Hom{Hom}
\DeclareMathOperator\Ob{Ob}


%% Put these after \begin{solution}, as necessary
\newcommand\AIpolish{\textbf{(p)}\; }
\newcommand\AIminor{\textbf{(m)}\; }
\newcommand\AImajor{\textbf{(M)}\; }
\newcommand\AIpolishminor{\textbf{(p,m)}\; }
\newcommand\AIpolishmajor{\textbf{(p,M)}\; }


\renewcommand{\footrulewidth}{1pt}
\setlength{\headheight}{15pt}
\lhead{{\sf Summer Bridge Course (Algebra)}: Thursday July 23}
\chead{}\rhead{\thepage}
\lfoot{Due Friday, July 24 2026}
\cfoot{}\rfoot{Written by M.~Macauley}
\pagestyle{fancy}

\begin{document}

%\(\;\) \vspace{-4mm}

\noindent \textbf{Topics}: Multilinearity. \\


\noindent \textbf{Do}: Answer the following questions. Throughout, assume that \(X\) is a finite-dimensional vector space over a field \(K\). A \(k\)-linear form \(f\colon X^k\to K\) is:
\begin{itemize}
    \item \emph{symmetric} if \(f(x_1,\dots,x_k)=\pi\cdot f(x_1,\dots,x_k):=f(x_{\pi^{-1}(1)},\dots,x_{\pi^{-1}(k)})\) for all  \(\pi\in S_k\),
    \item  \emph{skew-symmetric} if \(\tau\cdot f(x_1,\dots,x_k)=-f(x_1,\dots,x_k)\) for all transpositions \(\tau=(ij)\in S_k\),
    \item \emph{alternating} if \(f(x_1,\dots,x_k)=0\) whenever \(x_i=x_j\). \\
\end{itemize}

%%------------------------------------------------------------------------

%% HW 13, Problem #1
  \begin{exercise}      
    Let \(f\) be a bilinear form over a vector space \(X\) with basis \(\{x_1,x_2\}\).
  \begin{enumerate}[label=(\roman*)]
  \item Assume \(f\) is alternating. Determine a formula for \(f(u,v)\)
    in terms of each \(f(x_i,x_j)\) and the coefficients used to express
    \(u\) and \(v\) with this basis.
  \item Repeat Part~(a) but assume that \(f\) is symmetric, and that
    \(f(x,x)=0\) for all \(x\in X\). 
  \item Repeat Part~(a) but now assume that \(X\) is \(3\)-dimensional, with basis \(\{x_1,x_2,x_3\}\). \\ \bigskip
  \end{enumerate}
\end{exercise}

%%------------------------------------------------------------------------

%% HW 13, Problem #2
 \begin{exercise}
  Let \(A=(c_1,\dots,c_n)\) be an \(n\times n\) matrix (\(c_i\) is a
  column vector), and let \(B\) be the matrix obtained from \(A\) by
  adding \(k\) times the \(i^{\mathrm{th}}\) column of \(A\) to the \(j^{\mathrm{th}}\)
  column of \(A\), for some \(i\neq j\). Show that \(\det A=\det B\). You may
  assume that the determinant is an alternating \(n\)-linear form. \\
  \end{exercise}
  
 %%--------------------------------------------------------------------- 

%% HW 13, Problem #3
 \begin{exercise}
Let \(f\) be an alternating \(k\)-linear form. Show that if \(y_1,\dots,y_k\) are linearly dependent, then \(f(y_1,\dots,y_k)=0\). Then give an explicit counterexample to show how the converse fails. 
\end{exercise}

 %%------------------------------------------------------------------------ 

\end{document}
